../ 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.hssquash potential space leaks by using strict foldl14 years ago Elaborate.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 Evaluate.hsTake care to avoid duplicating redexes when reducing lambdas Binders in values are annotated with a 'reducible' flag, which is set to False if simplifying and the argument appears more than once.13 years ago Execute.hsFix detection of FInt types in executor13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsSome unification fixes13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsTake care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation13 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.hsSome unification fixes13 years ago