aboutsummaryrefslogtreecommitdiff
path: root/src/sexp/case.rs
AgeCommit message (Collapse)Author
6 daystest: added boilerplate and tests for coproduct parsing, type checking and ↵Joel Kronqvist
evaluation
8 daysfix: changed type of (() T) from (T ...) to (Vector (T ...))Joel Kronqvist
this makes the type of the empty vector consistent with the runtime behavior and prevents weirdly typed expressions such as (vector (() Int)) : (Vector (Int ...)). removed an unused import in case.rs and changed a unused pattern variable to an underscore in conversion.rs.
10 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest ↵Joel Kronqvist
pattern substitutions
11 daysfeat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ↵Joel Kronqvist
into_type (it didn't handle lists recursively)
11 daysfix: removed unneccessary print, excluded .#[file] emacs backups in gitignoreJoel Kronqvist
11 daysfix: step scrutinee of case & can instantiate empty vecJoel Kronqvist
13 daysfeat: pattern matching evaluation in step.rsJoel Kronqvist
2025-08-11refactor: Added helper matches_pat for pattern matchingJoel Kronqvist