@@ -1,76 +1,73 @@
1−./layout001a.idr:5:1: error: Wrong
2− indention: should be greater
3− than context
4− indentation, expected: space
5−y
6−^
7−./layout001b.idr:5:3: error: Wrong
8− indention: should be greater
9− than context
10− indentation, expected: space
11−= y
12− ^
13−./layout001c.idr:3:1: error: Wrong
14− indention: should be greater
15− than context
16− indentation, expected: space
17−2
18−^
19−./layout001e.idr:6:1: error: Wrong
20− indention: should be greater
21− than context
22− indentation, expected: space
23−3
24−^
25−./layout001f.idr:6:2: error: Wrong
26− indention: should be greater
27− than context
28− indentation, expected: space
29− 3
30− ^
31−./layout001g.idr:6:3: error: Wrong
32− indention: should be greater
33− than context
34− indentation, expected: space
35− 3
36− ^
37−./layout001h.idr:6:3: error: Wrong
38− indention: should be greater
39− than context
40− indentation, expected: space
41− 3
42− ^
43−./layout001i.idr:6:4: error: Wrong
44− indention: should be greater
45− than context
46− indentation, expected: space
47− 3
48− ^
49−./layout001j.idr:6:5: error: Wrong
50− indention: should be greater
51− than context
52− indentation, expected: space
53− 3
54− ^
55−./layout001l.idr:6:1: error: Wrong
56− indention: should be greater
57− than context
58− indentation, expected: space
59−y
60−^
1+./layout001a.idr:5:1:
2+ |
3+5 | y
4+ | ^
5+Wrong indention: should be greater than context indentation
6+
7+./layout001b.idr:5:3:
8+ |
9+5 | = y
10+ | ^
11+Wrong indention: should be greater than context indentation
12+
13+./layout001c.idr:3:1:
14+ |
15+3 | 2
16+ | ^
17+= is not a valid operator
18+Wrong indention: should be greater than context indentation
19+
20+./layout001e.idr:6:1:
21+ |
22+6 | 3
23+ | ^
24+Wrong indention: should be greater than context indentation
25+
26+./layout001f.idr:6:2:
27+ |
28+6 | 3
29+ | ^
30+Wrong indention: should be greater than context indentation
31+
32+./layout001g.idr:6:3:
33+ |
34+6 | 3
35+ | ^
36+Wrong indention: should be greater than context indentation
37+
38+./layout001h.idr:6:3:
39+ |
40+6 | 3
41+ | ^
42+Wrong indention: should be greater than context indentation
43+
44+./layout001i.idr:6:4:
45+ |
46+6 | 3
47+ | ^
48+Wrong indention: should be greater than context indentation
49+
50+./layout001j.idr:6:5:
51+ |
52+6 | 3
53+ | ^
54+Wrong indention: should be greater than context indentation
55+
56+./layout001l.idr:6:1:
57+ |
58+6 | y
59+ | ^
60+Wrong indention: should be greater than context indentation
61+
6162mplus1.idr:13:31:When checking right hand side of term with expected type
6263 Maybe Int
6364
6465When checking an application of function Prelude.Applicative.pure:
6566 No such variable f
66−./mplus2.idr:17:37: error: not
67− end of block, expected: ")",
68− "->", ";", "in",
69− ambiguous use of a left-associative operator,
70− ambiguous use of a non-associative operator,
71− ambiguous use of a right-associative operator,
72− do block expression,
73− end of input
74− `mplus` pure f
75− ^
67+./mplus2.idr:17:37:
68+ |
69+17 | `mplus` pure f
70+ | ^
71+not end of block
72+
7673mplus3.idr:11:1:warning - Unreachable case: term