myslip.git/src/sexp, branch master

fix: removed unneccessary lowering from SCons(x, Nil) to x when getting matched arms

2025-08-22T19:28:34+00:00

feat: implemented coproducts according to tests

2025-08-21T09:35:37+00:00

test: added boilerplate and tests for coproduct parsing, type checking and evaluation

2025-08-19T10:55:05+00:00

refactor: loop-unrolled recursive function SExp::parts as it's called a lot, also fixed it returning [Nil] if passed Nil

2025-08-18T20:09:20+00:00

fix: quote/vector disappearing in substitution on cases

2025-08-18T19:41:50+00:00

fix: changed type of (() T) from (T ...) to (Vector (T ...))

2025-08-17T10:09:19+00:00

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.

feat: vector concatenation

2025-08-16T00:25:45+00:00

feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest pattern substitutions

2025-08-15T23:04:09+00:00

fix: function arguments not evaluating before function call

2025-08-15T12:21:31+00:00

feat: fixed point dynamics

2025-08-15T08:27:52+00:00