git.iko.soy/elk
on fe7bbbd help sign in
history ofsrc/Type/Unify.hs
all commits
2feb357Begin upgrade of Reporting code from String to TextEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki f5214d6cosmetic: remove stray newlineEvan Czaplicki 8c8e70aDo a better job with missing fieldsEvan Czaplicki 4d800cdImprove missing args type diffEvan Czaplicki d5f706fMake hinting aware of position in recordEvan Czaplicki dd084ffBetter errors for large record typesEvan Czaplicki 22bbeaeProvide hint for "not enough args"Evan Czaplicki d00bed9Capture result of guardedUnify more clearlyEvan Czaplicki 1038b75Don't track exactly the part that is mismatchedEvan Czaplicki 8d41d95Fix #1192 where mismatched type alias produce bad errorsEvan Czaplicki 9172af8cosmetic: add vertical whitespaceEvan Czaplicki 128138cRemove special case support for appending textEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki dae8e04Fix #1143, properly unify rigid type vars that are supersEvan Czaplicki 172844eResolve a bunch of warningsEvan Czaplicki b90883eError out the whole type on unification errors, avoiding cascading errorsEvan Czaplicki 9c1239aOnly merge if all the subparts match, otherwise type diff messes upEvan Czaplicki ef59dd0Track expected/actual for error reasonsEvan Czaplicki 8ad4c70Tag mismatches between ints and floatsEvan Czaplicki 20b254cGive hints for mismatches with rigid and super variablesEvan Czaplicki 829e07fBegin improving error messagesEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki 0a16ca8cosmetic: break up Type.Unify.combinedDescriptorsEvan Czaplicki 8aec074Fix #880, unify comparable and appendable typesEvan Czaplicki 24cbf1dcosmetic: qualify some functionsEvan Czaplicki 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