git.iko.soy/Idris-dev
on ee32989 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.hsStore kind in Pi binders Elaborate.hsNew way of dealing with unmatchable patterns Evaluate.hsMore information runtime error for missing case Execute.hsImport ExceptT type and constructor ProofState.hsNew way of dealing with unmatchable patterns ProofTerm.hsAvoid retrying unification problems constantly TT.hsrefsIn should take all the Ps Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsCheck for cycles in unification results