../ CaseTree.hsFix allocation of big integers14 years ago Constraints.hsFix cyclic universe checking bug14 years ago CoreParser.hsSmall change to doc comment syntax (allow spaces before | or ^)14 years ago Elaborate.hsFix pattern variable problem when patterns generated by unification14 years ago Evaluate.hsSeparate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.14 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsFix pToV scoping bug14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsFix pToV scoping bug14 years ago Typecheck.hsImprove some error messages14 years ago Unify.hsRemove priority ordering on function arguments Should no longer be necessary since unification is improved, and causes problems when it guesses wrong.14 years ago