git.iko.soy/elk
on 5d8dfd9 help sign in
history ofsrc/Type/Solve.hs
all commits
c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 6fbbd1bAlways provide a specialized hint when unification failsEvan Czaplicki 4ffd70aUse backticks instead of single quotes when reporting code terms to end users.Richard Feldman c62bea9Show proper errors for infinite types againEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki 5dabd20Move closer to properly reporting infinite typesEvan Czaplicki f678e11Have a more straight-forward crash for certain type inference algorithm issuesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 0d10d2fBail out of unification on first failureEvan Czaplicki 14c55e6minor rephraseEvan Czaplicki 564fd4dstyle: use modern indentation rulesEvan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki