git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Elab/Type.hs
all commits
13a36a3Annotate functions as %hint for auto searchEdwin Brady 95eee3cRemove no longer used primitives from TTEdwin Brady fc02362Support externally defined primitivesEdwin Brady f4aaf01Guard !! in forgetEnvEdwin Brady 15737d9Trickiness with implicits in dependent classesEdwin Brady c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen 20e1debFix irrelevance bugEdwin Brady f7648dbForeign export lists in IOEdwin Brady c729d2fSupport scoped type class constraintsEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady 30580dbRemoval of minor TODOsDavid Raymond Christiansen e90316aSupport type errors in docstringsDavid Raymond Christiansen 6e74e33Fix for pattern vars in transformsEdwin Brady 37292e1Save terms in docstringsDavid Raymond Christiansen 7e7368dStore kind in Pi bindersEdwin Brady 41e9032Check constructor kinds for uniqueness errorsEdwin Brady ddced5cStore parameters in function typesEdwin Brady 44b38a6Fix implicits bugEdwin Brady c72d0f4Split elaborator into multiple source filesEdwin Brady