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