git.iko.soy/elk
on dc356df help sign in
history ofsrc/Type/Unify.hs
all commits
e1e19d5Properly unify Unit1 typesEvan Czaplicki 70c7edfFix little typos in new record unification codeEvan Czaplicki 2a2e58ccosmetic: make case branches more consistentEvan Czaplicki 51d0bd4Try to produce better errors from unification / fixes / optimizationsEvan Czaplicki c0800bcImprove the BadUnderscore error messageEvan Czaplicki 510f529cosmetic: normalize names and spaces a bitEvan Czaplicki 66183f1Add cases for unifying tuplesEvan Czaplicki 8b03cb7Get rid of Type.State and Solver monadEvan Czaplicki 90e4d45Get Type.Unify compiling / CPS-convert the codeEvan Czaplicki 1aaf793Update for max tuple size of 3 in typesEvan Czaplicki 8713bd9Update Type.Unify for new ASTEvan Czaplicki ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki 70865f5Improve canonicalization hints and add JSON decoder hintEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki 428b0a1Keep a pool stack, not just old and youngEvan Czaplicki a0fccd5Move Super type into AST.TypesEvan Czaplicki b02b4aaDo not expose Description fields / optimize copy and flattenEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 572f3c2Detect infinite types before unrolling functions upon mismatchEvan Czaplicki 60ca557Show better error messages on infinite comparable typesEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 65aa02aDetect infinite comparable typesEvan Czaplicki 56b0e37Update unification for new union-find algorithmEvan Czaplicki ae8d75cAdd SCC annotations throughout type inferenceEvan Czaplicki 6854570Move liftIO out of Type.Unify.gatherFieldsEvan Czaplicki 4a63470Call unifyFlexSuperStructure directlyEvan Czaplicki 60f4e71Avoid allocation when unifying two flex supersEvan Czaplicki 077d8e9Rename unifySuper to unifyFlexSuper to make specific usage clearerEvan Czaplicki 7a6d5a4Optimize case in combineFlexSupers to fail in fewer stepsEvan Czaplicki 5fe9bb9Fix bugs when unifying rigid constraintsEvan Czaplicki 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