myslip.git/src/parse, branch masterA Lisp inspired programming language / interpreter for Aalto course CS-C2170 Modern and emerging programming languages.
feat: implemented coproducts according to tests2025-08-21T09:35:37+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-21T09:35:37+00:00d1c97e405230b6616ef834cf38be351e566a228e
test: added boilerplate and tests for coproduct parsing, type checking and evaluation2025-08-19T10:55:05+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-19T10:55:05+00:00a70dcaa949f41c585f9aea5e79f2550053d8e857
feat: statics for fixed point recursion2025-08-14T15:48:43+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-14T15:48:43+00:00f057211407df29c772ac18303f13d5564684979d
feat: added rest of types to the parser2025-08-14T12:42:49+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-14T12:42:49+00:00540a84fb9288699b534e98c8c5d0e649aaa1c2ba
also fixed function tests in check.rs
also fixed function tests in check.rs
fix: removed obsolete code for handling types as they are now parsed directly to atoms2025-08-14T12:31:27+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-14T12:31:27+00:00928a3358483f60db84dc2918415882b35adc006b
feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in into_type (it didn't handle lists recursively)2025-08-14T11:02:27+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-14T11:02:27+00:00907bd54d19f6bf14a130a136df6f37cc5d256468
refactor: Added helper matches_pat for pattern matching2025-08-11T18:39:01+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-11T18:39:01+00:002e17ad5361a86d004ca48419a0f69f9c298ec1e1
Added tests for functions2025-08-10T16:16:51+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-10T16:16:51+00:00d6d1ec80ffcc0b13234b170a91b920371078a027
Added term level type literals (for function type signatures)2025-08-10T15:38:49+00:00Joel Kronqvistjoel.kronqvist@iki.fi2025-08-10T15:38:49+00:0006798d622327707ca3f3b42d65fc3d1a25ae3c57