Nacho

Predicates are too long!

1

Implement union of predicates instead of `++`

Bring variable into scope if bound on all branches

1

Currently, this program is rejected although it is semantically valid: ```Erlang x() -> if true -> X = 1; false -> X = 3 end, X. %%line 24 ``` with...

Clause unification uses "pairwiseChunk" - this is ridiculous - and leads to an error. for example this will pass the type checker: ``` foo() -> 1.0; foo() -> 1.0; foo()...

Support numeric types

1

Requires implementation of (basic) type classes. Being able to type expressions like `int + float` depends on this.

Make `prettify` return a string. This would be easier to format etc.

Let the unifier continue unification in spite of failing to unify a constraint, and collect the problematic constraints separately. Printing the errors with "relevant bindings" and solved types (to the...