git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/test/interfaces008
3 files
../ expectedImprove error message locations (#4210) interfaces008.idrFixes #1211 : checking default impl in interfaces through parent constraints recursively runFixes #1211 : checking default impl in interfaces through parent constraints recursively