git.iko.soy/Idris-dev
on cd7e553 help sign in
Idris-dev/test/layout001/expected
72 lines 1.4 kB history raw
1./layout001a.idr:5:1:
2 |
35 | y
4 | ^
5Wrong indention: should be greater than context indentation
7./layout001b.idr:5:3:
8 |
95 | = y
10 | ^
11Wrong indention: should be greater than context indentation
13./layout001c.idr:3:1:
14 |
153 | 2
16 | ^
17Wrong indention: should be greater than context indentation
19./layout001e.idr:6:1:
20 |
216 | 3
22 | ^
23Wrong indention: should be greater than context indentation
25./layout001f.idr:6:2:
26 |
276 | 3
28 | ^
29Wrong indention: should be greater than context indentation
31./layout001g.idr:6:3:
32 |
336 | 3
34 | ^
35Wrong indention: should be greater than context indentation
37./layout001h.idr:6:3:
38 |
396 | 3
40 | ^
41Wrong indention: should be greater than context indentation
43./layout001i.idr:6:4:
44 |
456 | 3
46 | ^
47Wrong indention: should be greater than context indentation
49./layout001j.idr:6:5:
50 |
516 | 3
52 | ^
53Wrong indention: should be greater than context indentation
55./layout001l.idr:6:1:
56 |
576 | y
58 | ^
59Wrong indention: should be greater than context indentation
61mplus1.idr:13:31-17:49:When checking right hand side of term with expected type
62 Maybe Int
64When checking an application of function Prelude.Applicative.pure:
65 No such variable f
66./mplus2.idr:17:37:
67 |
6817 | `mplus` pure f
69 | ^
70not end of block
72mplus3.idr:11:1-16:warning - Unreachable case: term