myslip.git - A Lisp inspired programming language / interpreter for Aalto course CS-C2170 Modern and emerging programming languages.

Age	Commit message (Collapse)	Author
4 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
8 days	fix: 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 days	feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest ↵	Joel Kronqvist
	pattern substitutions
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)
11 days	fix: removed unneccessary print, excluded .#[file] emacs backups in gitignore	Joel Kronqvist

11 days	fix: step scrutinee of case & can instantiate empty vec	Joel Kronqvist

13 days	feat: pattern matching evaluation in step.rs	Joel Kronqvist

14 days	refactor: Added helper matches_pat for pattern matching	Joel Kronqvist