diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:03 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:17 +0200 |
commit | 8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch) | |
tree | c1351e9fcb0341af482f8da4a8859e2046445188 /testdata/language-features/guard | |
parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) |
refactoring & fix build
Diffstat (limited to 'testdata/language-features/guard')
-rw-r--r-- | testdata/language-features/guard/guard01.out | 8 | ||||
-rw-r--r-- | testdata/language-features/guard/guard02.reject.out | 12 | ||||
-rw-r--r-- | testdata/language-features/guard/guard03.out | 16 | ||||
-rw-r--r-- | testdata/language-features/guard/guard04.out | 12 | ||||
-rw-r--r-- | testdata/language-features/guard/guard05.reject.out | 12 | ||||
-rw-r--r-- | testdata/language-features/guard/guard06.out | 4 | ||||
-rw-r--r-- | testdata/language-features/guard/guard07.out | 16 | ||||
-rw-r--r-- | testdata/language-features/guard/guard08.out | 16 | ||||
-rw-r--r-- | testdata/language-features/guard/guard09.out | 16 | ||||
-rw-r--r-- | testdata/language-features/guard/guard10.reject.out | 4 | ||||
-rw-r--r-- | testdata/language-features/guard/guard11.out | 12 | ||||
-rw-r--r-- | testdata/language-features/guard/guard12.reject.out | 8 | ||||
-rw-r--r-- | testdata/language-features/guard/guard13.out | 12 | ||||
-rw-r--r-- | testdata/language-features/guard/guard14.out | 14 | ||||
-rw-r--r-- | testdata/language-features/guard/guard15.out | 14 | ||||
-rw-r--r-- | testdata/language-features/guard/guard16.out | 16 |
16 files changed, 96 insertions, 96 deletions
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index 45729a6c..79091e71 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out | |||
@@ -5,11 +5,11 @@ value = _lhs value (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs ()) True) | |||
5 | value :: () | 5 | value :: () |
6 | value = _rhs () | 6 | value = _rhs () |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | guard01.lc 1:1-1:6 | 8 | 1:1-1:6 |
9 | () | 9 | () |
10 | guard01.lc 1:9-1:13 | 10 | 1:9-1:13 |
11 | Bool | 11 | Bool |
12 | guard01.lc 1:9-1:18 | 12 | 1:9-1:18 |
13 | () | 13 | () |
14 | guard01.lc 1:16-1:18 | 14 | 1:16-1:18 |
15 | () \ No newline at end of file | 15 | () \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index 9b6a2e7a..8b40594b 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | String | 2 | String |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in guard02.reject.lc:2:12: | 5 | in ./testdata/language-features/guard/guard02.reject.lc:2:12: |
6 | | True = () | 6 | | True = () |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,15 +10,15 @@ in guard02.reject.lc:2:12: | |||
10 | String | 10 | String |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in guard02.reject.lc:2:12: | 13 | in ./testdata/language-features/guard/guard02.reject.lc:2:12: |
14 | | True = () | 14 | | True = () |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
17 | guard02.reject.lc 2:12-2:14 | 17 | 2:12-2:14 |
18 | () | 18 | () |
19 | guard02.reject.lc 3:5-3:10 | 19 | 3:5-3:10 |
20 | Bool | 20 | Bool |
21 | guard02.reject.lc 3:5-3:15 | 21 | 3:5-3:15 |
22 | String | 22 | String |
23 | guard02.reject.lc 3:13-3:15 | 23 | 3:13-3:15 |
24 | String \ No newline at end of file | 24 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index 7885a6f1..4560a41e 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out | |||
@@ -12,19 +12,19 @@ value | |||
12 | value :: String | 12 | value :: String |
13 | value = _rhs "True" | 13 | value = _rhs "True" |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | guard03.lc 1:1-1:6 | 15 | 1:1-1:6 |
16 | String | 16 | String |
17 | guard03.lc 2:5-2:9 | 17 | 2:5-2:9 |
18 | Bool | 18 | Bool |
19 | guard03.lc 2:5-3:20 | 19 | 2:5-3:20 |
20 | String | 20 | String |
21 | guard03.lc 2:12-2:18 | 21 | 2:12-2:18 |
22 | String | 22 | String |
23 | guard03.lc 2:12-3:20 | 23 | 2:12-3:20 |
24 | Bool -> String | 24 | Bool -> String |
25 | guard03.lc 3:5-3:10 | 25 | 3:5-3:10 |
26 | Bool | 26 | Bool |
27 | guard03.lc 3:5-3:20 | 27 | 3:5-3:20 |
28 | String | 28 | String |
29 | guard03.lc 3:13-3:20 | 29 | 3:13-3:20 |
30 | String \ No newline at end of file | 30 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index ca03fda8..012104a0 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out | |||
@@ -6,15 +6,15 @@ value | |||
6 | value :: String | 6 | value :: String |
7 | value = _rhs "True" | 7 | value = _rhs "True" |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | guard04.lc 1:1-1:6 | 9 | 1:1-1:6 |
10 | String | 10 | String |
11 | guard04.lc 2:5-2:9 | 11 | 2:5-2:9 |
12 | Bool | 12 | Bool |
13 | guard04.lc 2:5-3:24 | 13 | 2:5-3:24 |
14 | String | 14 | String |
15 | guard04.lc 2:12-2:18 | 15 | 2:12-2:18 |
16 | String | 16 | String |
17 | guard04.lc 2:12-3:24 | 17 | 2:12-3:24 |
18 | Bool -> String | 18 | Bool -> String |
19 | guard04.lc 3:17-3:24 | 19 | 3:17-3:24 |
20 | String \ No newline at end of file | 20 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index 4bd522c3..e424e7d1 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out | |||
@@ -1,24 +1,24 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | 'Internals.lc:63:6: | 2 | <<installed-prelude-path>>/Internals.lc:63:6: |
3 | data Bool = False | True | 3 | data Bool = False | True |
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | () | 6 | () |
7 | in guard05.reject.lc:1:9: | 7 | in ./testdata/language-features/guard/guard05.reject.lc:1:9: |
8 | value | () = "wrong" | 8 | value | () = "wrong" |
9 | ^^ | 9 | ^^ |
10 | ------------ trace | 10 | ------------ trace |
11 | !type error: can not unify | 11 | !type error: can not unify |
12 | 'Internals.lc:63:6: | 12 | <<installed-prelude-path>>/Internals.lc:63:6: |
13 | data Bool = False | True | 13 | data Bool = False | True |
14 | ^^^^ | 14 | ^^^^ |
15 | with | 15 | with |
16 | () | 16 | () |
17 | in guard05.reject.lc:1:9: | 17 | in ./testdata/language-features/guard/guard05.reject.lc:1:9: |
18 | value | () = "wrong" | 18 | value | () = "wrong" |
19 | ^^ | 19 | ^^ |
20 | ------------ tooltips | 20 | ------------ tooltips |
21 | guard05.reject.lc 1:9-1:11 | 21 | 1:9-1:11 |
22 | () | 22 | () |
23 | guard05.reject.lc 1:14-1:21 | 23 | 1:14-1:21 |
24 | String \ No newline at end of file | 24 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out index a3a9c465..861f0958 100644 --- a/testdata/language-features/guard/guard06.out +++ b/testdata/language-features/guard/guard06.out | |||
@@ -5,7 +5,7 @@ value = _lhs value (_rhs ()) | |||
5 | value :: () | 5 | value :: () |
6 | value = _rhs () | 6 | value = _rhs () |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | guard06.lc 1:1-1:6 | 8 | 1:1-1:6 |
9 | () | 9 | () |
10 | guard06.lc 1:21-1:23 | 10 | 1:21-1:23 |
11 | () \ No newline at end of file | 11 | () \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index 5aa760b0..9798e8fb 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out | |||
@@ -12,19 +12,19 @@ value | |||
12 | value :: String | 12 | value :: String |
13 | value = _rhs "True" | 13 | value = _rhs "True" |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | guard07.lc 1:1-1:6 | 15 | 1:1-1:6 |
16 | String | 16 | String |
17 | guard07.lc 1:7-1:11 | 17 | 1:7-1:11 |
18 | Bool | 18 | Bool |
19 | guard07.lc 1:7-2:20 | 19 | 1:7-2:20 |
20 | String | 20 | String |
21 | guard07.lc 1:12-1:18 | 21 | 1:12-1:18 |
22 | String | 22 | String |
23 | guard07.lc 1:12-2:20 | 23 | 1:12-2:20 |
24 | Bool -> String | 24 | Bool -> String |
25 | guard07.lc 2:7-2:12 | 25 | 2:7-2:12 |
26 | Bool | 26 | Bool |
27 | guard07.lc 2:7-2:20 | 27 | 2:7-2:20 |
28 | String | 28 | String |
29 | guard07.lc 2:13-2:20 | 29 | 2:13-2:20 |
30 | String \ No newline at end of file | 30 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index 1a4835fa..420591e9 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out | |||
@@ -12,19 +12,19 @@ value | |||
12 | value :: String | 12 | value :: String |
13 | value = _rhs "True" | 13 | value = _rhs "True" |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | guard08.lc 1:1-1:6 | 15 | 1:1-1:6 |
16 | String | 16 | String |
17 | guard08.lc 1:7-1:11 | 17 | 1:7-1:11 |
18 | Bool | 18 | Bool |
19 | guard08.lc 1:7-1:32 | 19 | 1:7-1:32 |
20 | String | 20 | String |
21 | guard08.lc 1:12-1:18 | 21 | 1:12-1:18 |
22 | String | 22 | String |
23 | guard08.lc 1:12-1:32 | 23 | 1:12-1:32 |
24 | Bool -> String | 24 | Bool -> String |
25 | guard08.lc 1:19-1:24 | 25 | 1:19-1:24 |
26 | Bool | 26 | Bool |
27 | guard08.lc 1:19-1:32 | 27 | 1:19-1:32 |
28 | String | 28 | String |
29 | guard08.lc 1:25-1:32 | 29 | 1:25-1:32 |
30 | String \ No newline at end of file | 30 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index bb429584..fd7ab9c5 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out | |||
@@ -12,19 +12,19 @@ value | |||
12 | value :: String | 12 | value :: String |
13 | value = _rhs "True" | 13 | value = _rhs "True" |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | guard09.lc 1:1-1:6 | 15 | 1:1-1:6 |
16 | String | 16 | String |
17 | guard09.lc 1:7-1:11 | 17 | 1:7-1:11 |
18 | Bool | 18 | Bool |
19 | guard09.lc 1:7-2:16 | 19 | 1:7-2:16 |
20 | String | 20 | String |
21 | guard09.lc 1:12-1:18 | 21 | 1:12-1:18 |
22 | String | 22 | String |
23 | guard09.lc 1:12-2:16 | 23 | 1:12-2:16 |
24 | Bool -> String | 24 | Bool -> String |
25 | guard09.lc 2:3-2:8 | 25 | 2:3-2:8 |
26 | Bool | 26 | Bool |
27 | guard09.lc 2:3-2:16 | 27 | 2:3-2:16 |
28 | String | 28 | String |
29 | guard09.lc 2:9-2:16 | 29 | 2:9-2:16 |
30 | String \ No newline at end of file | 30 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard10.reject.out b/testdata/language-features/guard/guard10.reject.out index 54362d2a..75235ae7 100644 --- a/testdata/language-features/guard/guard10.reject.out +++ b/testdata/language-features/guard/guard10.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | testdata/language-features/guard/guard10.reject.lc:2:1: | 1 | ./testdata/language-features/guard/guard10.reject.lc:2:1: |
2 | unexpected '|' | 2 | unexpected '|' |
3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", ''', backquoted ident, end of input, expression, lambda, lhs, literal, lowercase ident, operator definition, pattern, rest of expression, symbols, typed ident, or uppercase ident | 3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", ''', backquoted ident, end of input, expression, lambda, lhs, literal, lowercase ident, operator definition, pattern, rest of expression, symbols, typed ident, or uppercase ident \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index 5331cf7a..0d6c951d 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out | |||
@@ -8,15 +8,15 @@ fun | |||
8 | fun :: Bool -> String | 8 | fun :: Bool -> String |
9 | fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a | 9 | fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a |
10 | ------------ tooltips | 10 | ------------ tooltips |
11 | guard11.lc 1:1-1:4 | 11 | 1:1-1:4 |
12 | Bool -> String | 12 | Bool -> String |
13 | guard11.lc 2:5-2:6 | 13 | 2:5-2:6 |
14 | _b | 14 | _b |
15 | guard11.lc 2:5-3:24 | 15 | 2:5-3:24 |
16 | String | 16 | String |
17 | guard11.lc 2:9-2:15 | 17 | 2:9-2:15 |
18 | String | 18 | String |
19 | guard11.lc 2:9-3:24 | 19 | 2:9-3:24 |
20 | Bool -> String | 20 | Bool -> String |
21 | guard11.lc 3:17-3:24 | 21 | 3:17-3:24 |
22 | String \ No newline at end of file | 22 | String \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out index 62e7ef65..c6c21a4f 100644 --- a/testdata/language-features/guard/guard12.reject.out +++ b/testdata/language-features/guard/guard12.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | Char | 2 | Char |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in guard12.reject.lc:1:13: | 5 | in ./testdata/language-features/guard/guard12.reject.lc:1:13: |
6 | fun x | x = () | otherwise = 'a' | 6 | fun x | x = () | otherwise = 'a' |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,11 +10,11 @@ fun x | x = () | otherwise = 'a' | |||
10 | Char | 10 | Char |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in guard12.reject.lc:1:13: | 13 | in ./testdata/language-features/guard/guard12.reject.lc:1:13: |
14 | fun x | x = () | otherwise = 'a' | 14 | fun x | x = () | otherwise = 'a' |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
17 | guard12.reject.lc 1:13-1:15 | 17 | 1:13-1:15 |
18 | () | 18 | () |
19 | guard12.reject.lc 1:30-1:33 | 19 | 1:30-1:33 |
20 | Char \ No newline at end of file | 20 | Char \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index 9926ad37..2d379878 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out | |||
@@ -5,15 +5,15 @@ fun = _lhs fun \(a :: _) -> case'Bool (\(_ :: _) -> _) (_rhs ()) (_rhs ()) a | |||
5 | fun :: Bool -> () | 5 | fun :: Bool -> () |
6 | fun = \a -> case'Bool (\_ -> ' ()) (_rhs ()) (_rhs ()) a | 6 | fun = \a -> case'Bool (\_ -> ' ()) (_rhs ()) (_rhs ()) a |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | guard13.lc 1:1-1:4 | 8 | 1:1-1:4 |
9 | Bool -> () | 9 | Bool -> () |
10 | guard13.lc 1:7-1:8 | 10 | 1:7-1:8 |
11 | _b | 11 | _b |
12 | guard13.lc 1:7-1:24 | 12 | 1:7-1:24 |
13 | () | 13 | () |
14 | guard13.lc 1:9-1:11 | 14 | 1:9-1:11 |
15 | () | 15 | () |
16 | guard13.lc 1:9-1:24 | 16 | 1:9-1:24 |
17 | Bool -> () | 17 | Bool -> () |
18 | guard13.lc 1:22-1:24 | 18 | 1:22-1:24 |
19 | () \ No newline at end of file | 19 | () \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index 800e6870..86d74f1b 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out | |||
@@ -9,17 +9,17 @@ value | |||
9 | value :: () | 9 | value :: () |
10 | value = _rhs () | 10 | value = _rhs () |
11 | ------------ tooltips | 11 | ------------ tooltips |
12 | guard14.lc 1:1-1:6 | 12 | 1:1-1:6 |
13 | () | 13 | () |
14 | guard14.lc 1:17-1:21 | 14 | 1:17-1:21 |
15 | Bool | 15 | Bool |
16 | guard14.lc 1:17-2:31 | 16 | 1:17-2:31 |
17 | () | 17 | () |
18 | guard14.lc 1:24-1:26 | 18 | 1:24-1:26 |
19 | () | 19 | () |
20 | guard14.lc 1:24-2:31 | 20 | 1:24-2:31 |
21 | Bool -> () | 21 | Bool -> () |
22 | guard14.lc 2:29-2:31 | 22 | 2:29-2:31 |
23 | () | 23 | () |
24 | guard14.lc 3:12-3:14 | 24 | 3:12-3:14 |
25 | () \ No newline at end of file | 25 | () \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index 316411db..05dbbba2 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out | |||
@@ -9,17 +9,17 @@ value | |||
9 | value :: () | 9 | value :: () |
10 | value = _rhs () | 10 | value = _rhs () |
11 | ------------ tooltips | 11 | ------------ tooltips |
12 | guard15.lc 1:1-1:6 | 12 | 1:1-1:6 |
13 | () | 13 | () |
14 | guard15.lc 1:9-1:11 | 14 | 1:9-1:11 |
15 | () | 15 | () |
16 | guard15.lc 2:13-2:17 | 16 | 2:13-2:17 |
17 | Bool | 17 | Bool |
18 | guard15.lc 2:13-3:27 | 18 | 2:13-3:27 |
19 | () | 19 | () |
20 | guard15.lc 2:20-2:22 | 20 | 2:20-2:22 |
21 | () | 21 | () |
22 | guard15.lc 2:20-3:27 | 22 | 2:20-3:27 |
23 | Bool -> () | 23 | Bool -> () |
24 | guard15.lc 3:25-3:27 | 24 | 3:25-3:27 |
25 | () \ No newline at end of file | 25 | () \ No newline at end of file |
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index d616cb60..8b637dbf 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out | |||
@@ -16,19 +16,19 @@ value | |||
16 | = \a b c -> _rhs | 16 | = \a b c -> _rhs |
17 | (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1))) | 17 | (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1))) |
18 | ------------ tooltips | 18 | ------------ tooltips |
19 | guard16.lc 1:1-1:6 | 19 | 1:1-1:6 |
20 | forall a . (Eq a, Num a) => () | 20 | forall a . (Eq a, Num a) => () |
21 | guard16.lc 1:9-3:10 | 21 | 1:9-3:10 |
22 | () | 22 | () |
23 | guard16.lc 1:14-1:15 | 23 | 1:14-1:15 |
24 | _b | 24 | _b |
25 | guard16.lc 2:7-2:11 | 25 | 2:7-2:11 |
26 | Bool | 26 | Bool |
27 | guard16.lc 2:7-3:10 | 27 | 2:7-3:10 |
28 | () | 28 | () |
29 | guard16.lc 2:15-2:17 | 29 | 2:15-2:17 |
30 | () | 30 | () |
31 | guard16.lc 2:15-3:10 | 31 | 2:15-3:10 |
32 | Bool -> () | 32 | Bool -> () |
33 | guard16.lc 3:8-3:10 | 33 | 3:8-3:10 |
34 | () | () \ No newline at end of file | 34 | () | () \ No newline at end of file |