git.iko.soy/Idris-dev
on 28b68fd help sign in
history ofsrc/Core/Unify.hs
all commits
1677c30Better dealing with name shadowing while building instances ...and while type checking completed termsEdwin Brady 56223efDon't normalise everywhere!Edwin Brady f9678b7Remove priority ordering on function arguments Should no longer be necessary since unification is improved, and causes problems when it guesses wrong.Edwin Brady fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady 6f54612Fix unification error that led to some trivial things not checkingEdwin Brady 3c641aeAdded --dumpdefuns flagEdwin Brady b894841Improve some error messagesEdwin Brady 72d4d96Starting unused argument analysisEdwin Brady 611dd97Improve speed of type checking by spotting unification failure quickerEdwin Brady 0de6d2dFix resource language, add extra test for itEdwin Brady 16027ddFix with parsing bugEdwin Brady 23ab26fSpeed improvements when code contains type errors Identify "unrecoverable" unification failures so that type checking doesn't continue to search all the alternative overloadings and orderings.Edwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady 6cb70bcFix for simple function applicationsEdwin Brady e1c7b0fAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.Edwin Brady 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