git.iko.soy/Idris-dev
on bcc5fbf help sign in
Idris-dev/test/basic009/expected
13 lines 293 B history raw
1MAIN-PASS
2Faulty.idr:7:7:When checking right hand side of fault:
3Type mismatch between
4 0 = 0 (Type of Refl)
5and
6 num = 0 (Expected type)
8Specifically:
9 Type mismatch between
10 0
11 and
12 num
13Multiple.idr:3:1:import alias not unique: "X"