search

metaborg / stratego

Apache License 2.0
10 stars 6 forks source link

Gradual stratego #12

Closed Apanatshka closed 4 years ago

Apanatshka commented 4 years ago

Changes the incremental compiler to use the gradual type system for most errors. Also adds the test project strategoGT in which the type system was prototyped. Should be merged along with the PRs in the strategoxt and spoofax repos.

Apanatshka commented 4 years ago

Alright, then I'll just go ahead and merge this in. We were planning to revisit this code together at some point in the future anyway.