test/syntax001/expected · Idris-dev

git.iko.soy/Idris-dev

on 2d3bbcc help sign in

18 lines 544 B history raw

1Syntax.idr:6:7-9:1:

2When checking right hand side of foo with expected type

3 Nat

5When checking an application of function Prelude.Interfaces.+:

6 Type mismatch between

7 String (Type of "argh")

8 and

9 Nat (Expected type)

10SyntaxTest.idr:5:7-6:1:

11When checking right hand side of foo with expected type

12 Nat

14When checking an application of function Prelude.Interfaces.+:

15 Type mismatch between

16 String (Type of "argh")

17 and

18 Nat (Expected type)