git.iko.soy/Idris-dev
on 13ebfcf help sign in
history ofsrc/Idris/Elab/Instance.hs
all commits
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