aboutsummaryrefslogtreecommitdiff
path: root/src/type/case.rs
AgeCommit message (Collapse)Author
4 daysfeat: implemented coproducts according to testsJoel Kronqvist
6 daystest: added boilerplate and tests for coproduct parsing, type checking and ↵Joel Kronqvist
evaluation
7 daysfix: make case type checking work according to updated testsJoel Kronqvist
7 daystest: added failing tests for type pattern matching, as VecType and QuoteTy ↵Joel Kronqvist
must be accounted
13 daysfeat: type checking for case expressionsJoel Kronqvist
13 daystest: added failing tests for pattern match typing and matches_typeJoel Kronqvist