git.iko.soy/Idris-dev
on bbf672a help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsOnly rewrite _ under @! Class.hsSupport scoped type class constraints Clause.hsFix scope error when shadowing Data.hsAdd scoped implicit argument to Pi Instance.hsAllow implicits to appear anywhere Provider.hsUse a proper conversion check for type provider types Record.hsAllow implicits to appear anywhere Transform.hsNew way of dealing with unmatchable patterns Type.hsSupport scoped type class constraints Utils.hsExpose equality proofs in with rule Value.hsRemove -Werror from all files