git.iko.soy/Idris-dev
on 08797ae help sign in
history ofsrc/Core/Unify.hs
all commits
392c225Check definitions structurally as well as by name in conversionEdwin Brady 33bf2bdUnification tweakEdwin Brady d1d672eCollect all unification errors instead of immediately reporting failureEdwin Brady 38732d8Heuristic for picking best error message when overloaded alternatives all failEdwin Brady 79aae2fUnification tweak - try a different order on failureEdwin Brady 1823cf9Postpone injectivity check until after unificationEdwin Brady 6cc3c32Fix small elaboration bugEdwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady 2c4ff83Change unification in function applicationsEdwin Brady 070b0faSome unification/evaluation bug fixesEdwin Brady f9fb363Tinkering with error reportingEdwin Brady 019fabaFixed unification; added well-typed interpreterEdwin Brady 739e0b5Some error handlingEdwin Brady ff5f762Rename Core to TTEdwin Brady 0ae24f1Shift core TT into a separate directory (for ease of reuse)Edwin Brady