test/syntax001/expected · Idris-dev

git.iko.soy/Idris-dev

on 239c8ca help sign in

12 lines 474 B history raw

1Syntax.idr:6:7-9:1:When checking right hand side of foo:

2When checking an application of function Prelude.Classes.+:

3 Type mismatch between

4 String (Type of "argh")

5 and

6 Nat (Expected type)

7SyntaxTest.idr:5:7-6:1:When checking right hand side of foo:

8When checking an application of function Prelude.Classes.+:

9 Type mismatch between

10 String (Type of "argh")

11 and

12 Nat (Expected type)