../ CaseTree.hsTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Constraints.hsFix cyclic universe checking bug14 years ago CoreParser.hsAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago Elaborate.hsFix name clashes between holes and bound variables14 years ago Evaluate.hsNo need to store original patterns14 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsErase unused arguments when compiling14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAllow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections14 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