git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/test/reg054/expected
13 lines 589 B history raw
1reg054.idr:18:5:When checking left hand side of inf:
2When checking an application of constructor Main.MkInfer:
3 Attempting concrete match on polymorphic argument: 0
4reg054.idr:34:7:When checking left hand side of weird:
5No explicit types on left hand side: Char
6reg054.idr:37:8:When checking left hand side of weird':
7No explicit types on left hand side: Nat
8reg054.idr:40:1-8:When checking left hand side of tctrick:
9When checking an application of Main.tctrick:
10 Type mismatch between
11 Maybe a1 (Type of Just x)
12 and
13 a (Expected type)