../ CaseTree.hsCtor erasure fixed.13 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsAdd a special name for instance constructors.13 years ago Elaborate.hsAdd application context to all error messages13 years ago Evaluate.hsMake ProjCase take exactly one alternative. (TODO: is this safe?)13 years ago Execute.hsNormalise thunk contents when returning from executor13 years ago ProofState.hsActually track applications in the elaborator wrt unification fails13 years ago TC.hsStrictness annotations13 years ago TT.hsCtor erasure fixed.13 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsSupport mixed induction/coinduction with Inf type13 years ago