evincarofautumn / kitten

A statically typed concatenative systems programming language.
http://kittenlang.org/
Other
1.1k stars 42 forks source link

Give unification an explicit expected/actual distinction. #124

Closed evincarofautumn closed 10 years ago

evincarofautumn commented 10 years ago

Experimentation on #122. Surprisingly, it’s clear most of the time which is the “expected” type and which is the “actual” type, and the order was correct in most cases. The most helpful thing is to include the full context of unification when an error occurs, though it makes type error messages significantly longer even with deduplication.