git.iko.soy/Idris-dev
on df4ee4f help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity) CoreParser.hsType class instance resolution, and some Num overloading Elaborate.hsBetter elaboration order; also changed instance argument syntax slightly Evaluate.hsFixed naming problem in type checking of application ProofShell.hsAdded refine, focus, undo ProofState.hsBetter elaboration order; also changed instance argument syntax slightly ShellParser.hsTinkering with tactics and deferred definitions TT.hsTinkering with tactics and deferred definitions Typecheck.hsImproved where; implicit arguments now expanded during elaboration Unify.hsFix small elaboration bug