| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 5 days | feat: implemented coproducts according to tests | Joel Kronqvist | |
| 6 days | test: added boilerplate and tests for coproduct parsing, type checking and ↵ | Joel Kronqvist | |
| evaluation | |||
| 10 days | feat: vector concatenation | Joel Kronqvist | |
| 11 days | feat: statics for fixed point recursion | Joel Kronqvist | |
| 11 days | feat: added rest of types to the parser | Joel Kronqvist | |
| also fixed function tests in check.rs | |||
| 11 days | fix: removed obsolete code for handling types as they are now parsed ↵ | Joel Kronqvist | |
| directly to atoms | |||
| 11 days | feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ↵ | Joel Kronqvist | |
| into_type (it didn't handle lists recursively) | |||
| 2025-08-11 | refactor: Added helper matches_pat for pattern matching | Joel Kronqvist | |
| 2025-08-10 | Added tests for functions | Joel Kronqvist | |
| 2025-08-10 | Added term level type literals (for function type signatures) | Joel Kronqvist | |
| 2025-08-09 | Implemented print as ? -> () | Joel Kronqvist | |
| 2025-08-09 | Revert adding of print (its behavior was poorly designed). | Joel Kronqvist | |
| This reverts commit 3e1bf7f9946efe70d452c71494ac77ed39110804. | |||
| 2025-08-06 | Added print, raised level on which UnboundGeneric error is returned | Joel Kronqvist | |
| 2025-08-06 | Added boilerplate and tests for let-binds | Joel Kronqvist | |
| 2025-08-05 | Added vectors and tests for their evaluation and typing | Joel Kronqvist | |
| 2025-08-05 | Added boilerplate and tests for booleans, integer comparisons and boolean ↵ | Joel Kronqvist | |
| operators. | |||
| 2025-08-04 | Added repl and some documentation. Improved error messages. Removed dead code. | Joel Kronqvist | |
| * Removed same_variant in parse::parsetree * Added SExp::multistep (for use of the repl) Improved error messages: * Added parenthesis around types * Changed how errors propagate inferring generics: added the error variant ArgumentsDontMatchGeneric, implemented the displaying of it, added tests for it. * Had to change some tests to match for the new changes | |||
| 2025-07-31 | Added parse_to_ast for public use from other modules | Joel Kronqvist | |
| 2025-07-31 | Implemented tokens_to_ast. On second thought we should've just parsed the ↵ | Joel Kronqvist | |
| code straight to ast without tokenization (implementing a parser on tokens was such a pain...) | |||
| 2025-07-30 | Added tests for tokens_to_ast | Joel Kronqvist | |
| 2025-07-27 | Implemented tokenize with tests - note it doesn't check syntax | Joel Kronqvist | |
| 2025-07-27 | Implemented parse_token | Joel Kronqvist | |
| 2025-07-27 | Created parse_token and added tests for it | Joel Kronqvist | |
 |
index : myslip.git | |
| A Lisp inspired programming language / interpreter for Aalto course CS-C2170 Modern and emerging programming languages. | Joel Kronqvist |
| aboutsummaryrefslogtreecommitdiff |