git.iko.soy/Idris-dev
on 84fa0bb help sign in
Idris-dev/test/error001/expected
10 lines 236 B history raw
1test002.idr:5:6:Universe inconsistency.
2Working on: f2
3Old domain: Domain 7 7
4New domain: Domain 7 6
5Involved constraints:
6 (f2 <= i1,test002.idr:5:6)
7 (e2 < f2,test002.idr:5:6)
8 (j1 <= f2,test002.idr:5:6)
9 (f2 <= i1,test002.idr:5:6)