| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-08-03 | Changed UndefinedType to VarType(String) for generics and added tests for ↵ | Joel Kronqvist | |
| inferring them. Inferring is done by method Type::infer_generics. Whether it is executed is controlled by method Type::is_concrete. Also had to change the Display for Type and its tests, as the enum variants changed. | |||
| 2025-08-03 | Implemented type_check, added method parts for SExp | Joel Kronqvist | |
| 'parts' is different from 'into_vec', because it doesn't require flat structure and always succeeds | |||
| 2025-08-02 | Added tests for type_check. Implemented std::fmt::Display for many enums. ↵ | Joel Kronqvist | |
| Added type variants List(Type), and UndefinedType for use in error messages. Implemented type utility arr(a, b). | |||
| 2025-08-01 | Added boilerplate for Type, TypeError and type_check | Joel Kronqvist | |
| (small commit, had to sync between desktop and laptop) | |||
 |
index : myslip.git | |
| A Lisp inspired programming language / interpreter for Aalto course CS-C2170 Modern and emerging programming languages. | Joel Kronqvist |
| aboutsummaryrefslogtreecommitdiff |