git.iko.soy/elk
on dbf97e2 help sign in
history ofsrc/Type/Unify.hs
all commits
2cd0692Fill in new case for Homejmite 19f39f8Avoid cascading errorsEvan 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 cd7ff6cShow unification notes in the appropriate placeEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki 9d98b59Get rid of the "is it misspelled?" questionEvan Czaplicki 9b0c310Add hints for type errorsEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki ded277cDon't switch order of arguments during unification in Type.UnifyEvan Czaplicki 92331c9improve indentation in Type.UnifyEvan Czaplicki 0d10d2fBail out of unification on first failureEvan Czaplicki 317f80eCorrect indentation on error messageEvan Czaplicki a91c117Mark fields as unusedEvan Czaplicki e4ce759Improve the missing field error message a bitEvan Czaplicki 9aa9418Fix #825, nicer error messages when accessing missing fieldsEvan Czaplicki f766040Refactor unify code to make it easier to get at record unificationEvan Czaplicki 12fe897style: refactor and rename so things are less crazyEvan Czaplicki 87ba2bcstyle: try to make things easier to readEvan 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