../ CaseTree.hsInline type class applications where possible to reduce overhead15 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.hsRun-time forcing optimisation15 years ago Evaluate.hsInline type class applications where possible to reduce overhead15 years ago ProofShell.hsSwitch from readline to haskeline15 years ago ProofState.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 ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.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 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 tweak - try a different order on failure15 years ago