| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
evaluation
|
|
|
|
also fixed it returning [Nil] if passed Nil
|
|
|
|
|
|
must be accounted
|
|
|
|
|
|
|
|
this was fixed by transforming empty inputs to nil and not
transforming nil inputs to empty inputs.
|
|
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.
|
|
|
|
now it's stricter than before
|
|
pattern substitutions
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* 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
|
|
|
|
also fixed function tests in check.rs
|
|
directly to atoms
|
|
into_type (it didn't handle lists recursively)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
new binding expression
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This reverts commit 3e1bf7f9946efe70d452c71494ac77ed39110804.
|
|
|
|
|
|
|
|
|
