../ CaseTree.hsUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)14 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.hsUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)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.hsUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsImprove some error messages14 years ago Typecheck.hsImprove some error messages14 years ago Unify.hsWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 years ago