../ 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.hsAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…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.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 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