pure
pure copied to clipboard
Parsing for TypeClassLang
Redirect parsing to target TypeClassLang
Aside from PureLang's existing constructs, this will need to handle:
-
class
andinstance
declarations - contexts/type class constraints in types
- TypeClassLang's new top-level program structure
- pattern guards
- type annotations at the expression-level