@@ -1,83 +1,68 @@
1−Checking layout001a.idr
21./layout001a.idr:5:1: error: Wrong
32 indention: should be greater
43 than context
54 indentation, expected: space
65y
76^
8−Checking layout001b.idr
97./layout001b.idr:5:3: error: Wrong
108 indention: should be greater
119 than context
1210 indentation, expected: space
1311= y
1412 ^
15−Checking layout001c.idr
1613./layout001c.idr:3:1: error: Wrong
1714 indention: should be greater
1815 than context
1916 indentation, expected: space
20172
2118^
22−Checking layout001d.idr
23−Checking layout001e.idr
2419./layout001e.idr:6:1: error: Wrong
2520 indention: should be greater
2621 than context
2722 indentation, expected: space
28233
2924^
30−Checking layout001f.idr
3125./layout001f.idr:6:2: error: Wrong
3226 indention: should be greater
3327 than context
3428 indentation, expected: space
3529 3
3630 ^
37−Checking layout001g.idr
3831./layout001g.idr:6:3: error: Wrong
3932 indention: should be greater
4033 than context
4134 indentation, expected: space
4235 3
4336 ^
44−Checking layout001h.idr
4537./layout001h.idr:6:3: error: Wrong
4638 indention: should be greater
4739 than context
4840 indentation, expected: space
4941 3
5042 ^
51−Checking layout001i.idr
5243./layout001i.idr:6:4: error: Wrong
5344 indention: should be greater
5445 than context
5546 indentation, expected: space
5647 3
5748 ^
58−Checking layout001j.idr
5949./layout001j.idr:6:5: error: Wrong
6050 indention: should be greater
6151 than context
6252 indentation, expected: space
6353 3
6454 ^
65−Checking layout001k.idr
66−Checking layout001l.idr
6755./layout001l.idr:6:1: error: Wrong
6856 indention: should be greater
6957 than context
7058 indentation, expected: space
7159y
7260^
73−Checking layout001n.idr
74−Checking mplus1.idr
7561mplus1.idr:13:31:When checking right hand side of term with expected type
7662 Maybe Int
7763
7864When checking an application of function Prelude.Applicative.pure:
7965 No such variable f
80−Checking mplus2.idr
8166./mplus2.idr:17:37: error: not
8267 end of block, expected: ")",
8368 "->", ";", "in",
@@ -88,5 +73,4 @@ Checking mplus2.idr
8873 end of input
8974 `mplus` pure f
9075 ^
91−Checking mplus3.idr
9276mplus3.idr:11:1:warning - Unreachable case: term