git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Elab/Instance.hs
all commits
967c0e1Fix name shadowing bug in class instancesEdwin Brady be1569eFix type class name propagation issueEdwin Brady be54e85Reorder instance methodsEdwin Brady dbe0a3cCheck class arguments for injectivityEdwin Brady f4aaf01Guard !! in forgetEnvEdwin Brady 15737d9Trickiness with implicits in dependent classesEdwin Brady 361efb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 147149bAdd 'determining parameters' for classesEdwin Brady c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 17743d4Instance docs: let elabInstance add docstrings to contextAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson e0cab49Allow implicits to appear anywhereEdwin Brady 7c34217Allow class constraints to be namedEdwin Brady e95c877Make pattern matching consistent in lambda/letEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady e34c6dfAdd proper namespace to class instancesEdwin Brady 3971cb9More partial evaluation improvementsEdwin Brady 6e74e33Fix for pattern vars in transformsEdwin Brady c2c6666Lifted TODOs and FIXMEs from clause and instance elaboratorJan de Muijnck-Hughes c72d0f4Split elaborator into multiple source filesEdwin Brady