git.iko.soy/Idris-dev
on da672ec 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.hsConsistency of implicit/pattern name binding rules Data.hsConsistency of implicit/pattern name binding rules Instance.hsDisplay expected type of RHS in error messages Provider.hsAdd extra HL information to PRef Record.hsDisplay expected type of RHS in error messages RunElab.hsInsert namespace information to declaration-level %runElab Term.hsAdd implicit lambdas for top level implicits Transform.hsTake care when calling allNamesIn Type.hsDisplay expected type of RHS in error messages Utils.hsAdd %deprecate directive Value.hsProof search should only use user visible names