git.iko.soy/Idris-dev
on fc6eb53 help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsFix circular dependencies Constraints.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded CoreParser.hsAdded 'total' keyword and positivity check Elaborate.hsUnification tweak Evaluate.hsBug fixes; checking type names in data decls ProofShell.hsSwitch from readline to haskeline ProofState.hsPropagate solutions properly ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsBetter error reporting for unresolved type classes Typecheck.hsImplemented forcing optimisation Constructor arguments which are inferrable from the indices in the constructor type are erased both at compile-time and run-time Unify.hsUnification tweak