| Age | Commit message (Collapse) | Author |
|---|
|
* Removed same_variant in parse::parsetree
* Added SExp::multistep (for use of the repl)
Improved error messages:
* Added parenthesis around types
* Changed how errors propagate inferring generics:
added the error variant ArgumentsDontMatchGeneric,
implemented the displaying of it, added tests for
it.
* Had to change some tests to match for the new changes
|
|
Error messages still need improvement, maybe some new variants? is_concrete was changed to hold information on the first unbound variable through Result<(), String>.
|
|
|
|
inferring them.
Inferring is done by method Type::infer_generics.
Whether it is executed is controlled by method Type::is_concrete.
Also had to change the Display for Type and its tests,
as the enum variants changed.
|
|
'parts' is different from 'into_vec', because it doesn't require flat structure and always succeeds
|
|
Added type variants List(Type), and UndefinedType for use in error messages. Implemented type utility arr(a, b).
|
|
(small commit, had to sync between desktop and laptop)
|
