Grift
Grift copied to clipboard
Gradual-Typing
A compiler for the gradually typed lambda calculus
I was trying to come up with an example where erasing casts could lead to value representation issues, and accidentally found what seems to be a bug: ```racket (let ([vec...
Annotation uses `:`, not `ann`. Blame labels are (statically known) strings. Functions are infix... sort of. The `switch` form in the test suite caught me out! (It doesn't seem to...
Maybe I'm misunderstanding your test runner, I'm a little bit unclear on how this could have _ever_ run: it has an unbound variable, a syntax error in the lambda, and...
The index field in types was not being updated correctly. Before the fix, 0 was written to the index field, regardless of the current value of `types_unique_index_counter`, because `Types-gen-index!` has...
Investigate why travis fails with undefined reference errors when running the tests for the runtime.
The following code failed at one point according to a comment in the make file that I am deleting. ```bash $ make -C src/backend/c/runtime test ```
Since Grift supports so many configuration flags, the user might want to specify all configurations in a configuration file and pass it to the compiler. It could be a good...
Currently, travis installs grift as a package and then run the test suite. This assumption is not true when a grift developer is working on grift without installing it. Make...
```bash $ grift --type-based-casts p2.grift $ ./a.out Implicit cast in ascription on expression at p2.grift:3:3 $ grift --coercions p2.grift $ ./a.out Implicit cast in ascription on expression at p2.grift:1:1 ```...
```racket #lang typed/racket/no-check ;; The diffs between languages are one of the best sources of documentation ;; of what passes do to the language grammar that we currently have. ;;...
Metadata
Owner
Metadata
A compiler for the gradually typed lambda calculus