git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3337 from steshaw/consolidate-layout001-tests
ce81257Niklas Larsson
test/layout001/expected−16
compare with master
unifiedsplit
@@ -1,83 +1,68 @@
1−Checking layout001a.idr
2./layout001a.idr:5:1: error: Wrong
1./layout001a.idr:5:1: error: Wrong
3 indention: should be greater
2 indention: should be greater
4 than context
3 than context
5 indentation, expected: space
4 indentation, expected: space
6y
5y
7^
6^
8−Checking layout001b.idr
9./layout001b.idr:5:3: error: Wrong
7./layout001b.idr:5:3: error: Wrong
10 indention: should be greater
8 indention: should be greater
11 than context
9 than context
12 indentation, expected: space
10 indentation, expected: space
13= y
11= y
14 ^
12 ^
15−Checking layout001c.idr
16./layout001c.idr:3:1: error: Wrong
13./layout001c.idr:3:1: error: Wrong
17 indention: should be greater
14 indention: should be greater
18 than context
15 than context
19 indentation, expected: space
16 indentation, expected: space
202
172
21^
18^
22−Checking layout001d.idr
23−Checking layout001e.idr
24./layout001e.idr:6:1: error: Wrong
19./layout001e.idr:6:1: error: Wrong
25 indention: should be greater
20 indention: should be greater
26 than context
21 than context
27 indentation, expected: space
22 indentation, expected: space
283
233
29^
24^
30−Checking layout001f.idr
31./layout001f.idr:6:2: error: Wrong
25./layout001f.idr:6:2: error: Wrong
32 indention: should be greater
26 indention: should be greater
33 than context
27 than context
34 indentation, expected: space
28 indentation, expected: space
35 3
29 3
36 ^
30 ^
37−Checking layout001g.idr
38./layout001g.idr:6:3: error: Wrong
31./layout001g.idr:6:3: error: Wrong
39 indention: should be greater
32 indention: should be greater
40 than context
33 than context
41 indentation, expected: space
34 indentation, expected: space
42 3
35 3
43 ^
36 ^
44−Checking layout001h.idr
45./layout001h.idr:6:3: error: Wrong
37./layout001h.idr:6:3: error: Wrong
46 indention: should be greater
38 indention: should be greater
47 than context
39 than context
48 indentation, expected: space
40 indentation, expected: space
49 3
41 3
50 ^
42 ^
51−Checking layout001i.idr
52./layout001i.idr:6:4: error: Wrong
43./layout001i.idr:6:4: error: Wrong
53 indention: should be greater
44 indention: should be greater
54 than context
45 than context
55 indentation, expected: space
46 indentation, expected: space
56 3
47 3
57 ^
48 ^
58−Checking layout001j.idr
59./layout001j.idr:6:5: error: Wrong
49./layout001j.idr:6:5: error: Wrong
60 indention: should be greater
50 indention: should be greater
61 than context
51 than context
62 indentation, expected: space
52 indentation, expected: space
63 3
53 3
64 ^
54 ^
65−Checking layout001k.idr
66−Checking layout001l.idr
67./layout001l.idr:6:1: error: Wrong
55./layout001l.idr:6:1: error: Wrong
68 indention: should be greater
56 indention: should be greater
69 than context
57 than context
70 indentation, expected: space
58 indentation, expected: space
71y
59y
72^
60^
73−Checking layout001n.idr
74−Checking mplus1.idr
75mplus1.idr:13:31:When checking right hand side of term with expected type
61mplus1.idr:13:31:When checking right hand side of term with expected type
76 Maybe Int
62 Maybe Int
77
63
78When checking an application of function Prelude.Applicative.pure:
64When checking an application of function Prelude.Applicative.pure:
79 No such variable f
65 No such variable f
80−Checking mplus2.idr
81./mplus2.idr:17:37: error: not
66./mplus2.idr:17:37: error: not
82 end of block, expected: ")",
67 end of block, expected: ")",
83 "->", ";", "in",
68 "->", ";", "in",
@@ -88,5 +73,4 @@ Checking mplus2.idr
88 end of input
73 end of input
89 `mplus` pure f
74 `mplus` pure f
90 ^
75 ^
91−Checking mplus3.idr
92mplus3.idr:11:1:warning - Unreachable case: term
76mplus3.idr:11:1:warning - Unreachable case: term
test/layout001/run+18−4
@@ -1,8 +1,22 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2
2
3−for file in *.idr; do
4− echo Checking ${file}
5− ${IDRIS:-idris} --check $@ ${file}
3+${IDRIS:-idris} --nobanner --nocolour --quiet <<!
6−done
4+:load layout001a.idr
5+:load layout001b.idr
6+:load layout001c.idr
7+:load layout001d.idr
8+:load layout001e.idr
9+:load layout001f.idr
10+:load layout001g.idr
11+:load layout001h.idr
12+:load layout001i.idr
13+:load layout001j.idr
14+:load layout001k.idr
15+:load layout001l.idr
16+:load layout001n.idr
17+:load mplus1.idr
18+:load mplus2.idr
19+:load mplus3.idr
20+!
7
21
8rm -f *.ibc
22rm -f *.ibc