../ CaseTree.hsNew size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.13 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsParse empty comments13 years ago Elaborate.hsAdded %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the trace13 years ago Evaluate.hsFix Haddock parser error13 years ago Execute.hsSpecial-case prim__believe_me13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsAdded %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the trace13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsImplement 'pretty' for B{8,16,32,64}13 years ago Typecheck.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Unify.hsEXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, …13 years ago