git.iko.soy/Idris-dev
on 68c519e help sign in
Idris-dev/src/Idris/Elab
13 files
../ AsPat.hsAdd extra HL information to PRef Class.hsHighlighting for pairs, lists and sigmas Clause.hsUse elaborated form of cases to check for defaults Data.hsCheck whether type declarations are actually types Instance.hsAllow empty instance declarations in mutual blocks Provider.hsAdd extra HL information to PRef Record.hsAdd support to keep track of records in IBC files RunElab.hsInsert namespace information to declaration-level %runElab Term.hsRemove NErased Transform.hsTransform rules and constraints Type.hsImprove pruning of alternatives Utils.hsCache information when module chasing Value.hsProof search should only use user visible names