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