myslip.git/src/type, branch master

fix: added missing conversions and generic inferring for coproducts

2025-08-22T20:48:35+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

doc: added exercise 1

2025-08-18T20:39:47+00:00

fix: make case type checking work according to updated tests

2025-08-18T16:07:59+00:00

test: added failing tests for type pattern matching, as VecType and QuoteTy must be accounted

2025-08-18T14:31:26+00:00

fix: make argument type list stay as one type when there is just 1 argument name

2025-08-18T13:38:58+00:00

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

2025-08-18T10:56:58+00:00

refactor: change conversions to use a stricter function with deduplicated code

2025-08-18T10:38:57+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.