git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Core/Unify.hs
all commits
971d88dAnnotate several top-level functionsMichael Maloney 7e7368dStore kind in Pi bindersEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 9ceece1EXPERIMENTAL uniqueness typesEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady e6e1ad9Unification fixEdwin Brady 25de16dDisjoint constants should be fatal in unificationEdwin Brady 8ed343bRemove dodgy unification hackEdwin Brady 5ffef89Type class resolution fixEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 2a0056aNew matching rule for solving simple functionsEdwin Brady 45c8ecaAvoid hole bindings in unification solutionsEdwin Brady 4c452e7Rule out more cases in 'recoverable'Edwin Brady 85ff9c2Coverage checker fixEdwin Brady 88aa6d1Support mixed induction/coinduction with Inf typeEdwin Brady f01873fAdd stack of elaboration context to ElaboratingArgDavid Raymond Christiansen fb3f7f0Use At to hold FCsDavid Raymond Christiansen aed179cTrack the providence of unification errorsDavid Raymond Christiansen b38bc03Add basic elaboration context tracking to unificationDavid Raymond Christiansen 88f88ebUnification tweak; better disambiguationEdwin Brady f52eafdFix for name shadowing in evaluatorEdwin Brady c15d4cbConversion checking tweakEdwin Brady ecfb293Evaluator bug fixEdwin Brady 6d3863dBetter environment management in unificationEdwin Brady 2cff556Another unification fixEdwin Brady c959fb0Unification changesEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady 8e6e14aMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen 85e68a7Improve inference in monadic codeEdwin Brady 3848c07Record partial type inference infoEdwin Brady b5e97e4Show error contexts with pretty-printerDavid Raymond Christiansen 1fe537fFix naming problem in unificationEdwin Brady d82f5feMerge branch 'text-names'Edwin Brady 0c8c90dStrictness annotationsEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady fa364caCheck for cyclic solutions in unificationEdwin Brady 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna