on f0a67ff help sign in
15 lines 318 B history raw
1reg007.lidr:8:1:A.n is already defined
2reg007.lidr:12:11-17:
3When checking right hand side of hurrah with expected type
4 0 = 1
6Type mismatch between
7 n = lala (Type of isSame)
8and
9 0 = 1 (Expected type)
11Specifically:
12 Type mismatch between
13 1
14 and
15 0