../ CaseTree.hsMake ChType a member of IntTy ITChar.13 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsParse integer SIMD types13 years ago Elaborate.hsFix let scope leakage bug13 years ago Evaluate.hsChange default specialisation behaviour to not unfold names13 years ago Execute.hsRemoved FChar in favour of FArith (ATInt ITChar)13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsFix let scope leakage bug13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsBetter unification errors when name is out of scope In particular, a unification problem which cannot be solved because it uses a variable not in scope where the metavariable is bound. Fixes #34213 years ago Typecheck.hsMake ChType a member of IntTy ITChar.13 years ago Unify.hsBetter unification errors when name is out of scope In particular, a unification problem which cannot be solved because it uses a variable not in scope where the metavariable is bound. Fixes #34213 years ago