../ CaseTree.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago Constraints.hsFix cyclic universe checking bug14 years ago CoreParser.hsNamespace parsing improvements (for qualified operator names) thanks to Dirk Ullrich14 years ago Elaborate.hsSpeed improvements when code contains type errors Identify "unrecoverable" unification failures so that type checking doesn't continue to search all the alternative overloadings and orderings.14 years ago Evaluate.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsImprove speed of type checking by spotting unification failure quicker14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAdd Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly14 years ago Typecheck.hsCheck definitions structurally as well as by name in conversion15 years ago Unify.hsStarting unused argument analysis14 years ago