git.iko.soy/Idris-dev
on cad3b02 help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsNew way of dealing with unmatchable patterns CaseTree.hsMore information runtime error for missing case Constraints.hsCompletely replace ErrorT with ExceptT DeepSeq.hsDo more forcing in IBC Elaborate.hsNew way of dealing with unmatchable patterns Evaluate.hsDo more forcing in IBC Execute.hsImport ExceptT type and constructor ProofState.hsNew way of dealing with unmatchable patterns ProofTerm.hsAvoid retrying unification problems constantly TT.hsDo more forcing in IBC Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsCheck for cycles in unification results