../ CaseTree.hsCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago Constraints.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded15 years ago CoreParser.hsRecord syntax (but no magic yet...)15 years ago Elaborate.hsUnification tweak15 years ago Evaluate.hsCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago ProofShell.hsSwitch from readline to haskeline15 years ago ProofState.hsPropagate solutions properly15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsBetter error reporting for unresolved type classes15 years ago Typecheck.hsImplemented forcing optimisation Constructor arguments which are inferrable from the indices in the constructor type are erased both at compile-time and run-time15 years ago Unify.hsUnification tweak15 years ago