git.iko.soy/Idris-dev
on d3fa352 help sign in
Idris-dev/test/syntax001/expected
16 lines 542 B history raw
1Syntax.idr:6:7-9:1:When checking right hand side of foo with expected type
2 Nat
4When checking an application of function Prelude.Interfaces.+:
5 Type mismatch between
6 String (Type of "argh")
7 and
8 Nat (Expected type)
9SyntaxTest.idr:5:7-6:1:When checking right hand side of foo with expected type
10 Nat
12When checking an application of function Prelude.Interfaces.+:
13 Type mismatch between
14 String (Type of "argh")
15 and
16 Nat (Expected type)