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

Age	Commit message (Collapse)	Author
25 hours	fix: typo in build-essential and add mention that stdlib.slip must be in cwdmaster	Joel Kronqvist

26 hours	doc: added system requirements & fixed map x to x orHEAD devel	Joel Kronqvist

38 hours	doc: updated the README, still sysreqs missing	Joel Kronqvist

38 hours	doc: repeat in TUTORIAL.md	Joel Kronqvist

38 hours	feat: repeat in stdlib	Joel Kronqvist

38 hours	doc: added exercise on Collatz conjecture	Joel Kronqvist

2 days	doc: added exercises 3 and 4	Joel Kronqvist

2 days	feat: left-or and right-or for coproducts in stdlib	Joel Kronqvist

2 days	fix: added missing conversions and generic inferring for coproducts	Joel Kronqvist

2 days	doc: added a new exc. 1 to serve as an introduction to the cli, added ↵	Joel Kronqvist
	documentation on discard
2 days	feat: added discard: T -> () to stdlib.slip	Joel Kronqvist

2 days	fix: removed unneccessary lowering from SCons(x, Nil) to x when getting ↵	Joel Kronqvist
	matched arms
2 days	feat: --babysteps for REPL for easier debugging	Joel Kronqvist

3 days	feat: map and filter for integers in stdlib.slip	Joel Kronqvist

3 days	doc: added documentation on writing types	Joel Kronqvist

3 days	doc: added section on coproducts and documented their pattern matching in ↵	Joel Kronqvist
	TUTORIAL.md
3 days	feat: implemented coproducts according to tests	Joel Kronqvist

5 days	test: added boilerplate and tests for coproduct parsing, type checking and ↵	Joel Kronqvist
	evaluation
6 days	doc: added exercise 1	Joel Kronqvist

6 days	refactor: loop-unrolled recursive function SExp::parts as it's called a lot, ↵	Joel Kronqvist
	also fixed it returning [Nil] if passed Nil
6 days	fix: quote/vector disappearing in substitution on cases	Joel Kronqvist

6 days	fix: make case type checking work according to updated tests	Joel Kronqvist

6 days	test: added failing tests for type pattern matching, as VecType and QuoteTy ↵	Joel Kronqvist
	must be accounted
6 days	fix: make argument type list stay as one type when there is just 1 argument name	Joel Kronqvist

6 days	fix: refined [x] to x conversion, think (not true) and (vector 1)	Joel Kronqvist

6 days	refactor: change conversions to use a stricter function with deduplicated code	Joel Kronqvist

7 days	fix: repl erroring "let used as operator" with empty/nil inputs	Joel Kronqvist
	this was fixed by transforming empty inputs to nil and not transforming nil inputs to empty inputs.
7 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.
9 days	doc: added <> and factorial example to TUTORIAL.md	Joel Kronqvist

9 days	feat: vector concatenation	Joel Kronqvist

9 days	fix: conversions between vectors, they were needed for some functions, but ↵	Joel Kronqvist
	now it's stricter than before
9 days	doc: added empty vector initialization and int vector sum to TUTORIAL.md	Joel Kronqvist

9 days	feat: sum for lists/vectors in stdlib	Joel Kronqvist

9 days	feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest ↵	Joel Kronqvist
	pattern substitutions
9 days	fix: prevented loading non-let expressions as declarations	Joel Kronqvist

9 days	doc: added help message and a reference to it in README.md	Joel Kronqvist

9 days	feat: standard library & loading it by default	Joel Kronqvist

9 days	feat: read binds from files, evaluate expression from file	Joel Kronqvist

9 days	fix: function arguments not evaluating before function call	Joel Kronqvist

10 days	feat: fixed point dynamics	Joel Kronqvist

10 days	fix: subst not respecting fn and case binds	Joel Kronqvist

10 days	doc: updated tutorial	Joel Kronqvist

10 days	feat: statics for fixed point recursion	Joel Kronqvist

10 days	fix: made conversion work according to updated tests:	Joel Kronqvist
	* implemented conversion of arrow types * fixed (Int Bool) into (T T) succeeding * now vectors have to be of one type only even if generic * maybe something else too
10 days	test: stricter generic checking tests added for Type::aka and Type::into_type	Joel Kronqvist

10 days	feat: added rest of types to the parser	Joel Kronqvist
	also fixed function tests in check.rs
10 days	fix: removed obsolete code for handling types as they are now parsed ↵	Joel Kronqvist
	directly to atoms
10 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