summaryrefslogtreecommitdiff
path: root/testdata/language-features/guard
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:03 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:17 +0200
commit8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch)
treec1351e9fcb0341af482f8da4a8859e2046445188 /testdata/language-features/guard
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/language-features/guard')
-rw-r--r--testdata/language-features/guard/guard01.out8
-rw-r--r--testdata/language-features/guard/guard02.reject.out12
-rw-r--r--testdata/language-features/guard/guard03.out16
-rw-r--r--testdata/language-features/guard/guard04.out12
-rw-r--r--testdata/language-features/guard/guard05.reject.out12
-rw-r--r--testdata/language-features/guard/guard06.out4
-rw-r--r--testdata/language-features/guard/guard07.out16
-rw-r--r--testdata/language-features/guard/guard08.out16
-rw-r--r--testdata/language-features/guard/guard09.out16
-rw-r--r--testdata/language-features/guard/guard10.reject.out4
-rw-r--r--testdata/language-features/guard/guard11.out12
-rw-r--r--testdata/language-features/guard/guard12.reject.out8
-rw-r--r--testdata/language-features/guard/guard13.out12
-rw-r--r--testdata/language-features/guard/guard14.out14
-rw-r--r--testdata/language-features/guard/guard15.out14
-rw-r--r--testdata/language-features/guard/guard16.out16
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)
5value :: () 5value :: ()
6value = _rhs () 6value = _rhs ()
7------------ tooltips 7------------ tooltips
8guard01.lc 1:1-1:6 81:1-1:6
9 () 9 ()
10guard01.lc 1:9-1:13 101:9-1:13
11 Bool 11 Bool
12guard01.lc 1:9-1:18 121:9-1:18
13 () 13 ()
14guard01.lc 1:16-1:18 141: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
3with 3with
4 () 4 ()
5in guard02.reject.lc:2:12: 5in ./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
11with 11with
12 () 12 ()
13in guard02.reject.lc:2:12: 13in ./testdata/language-features/guard/guard02.reject.lc:2:12:
14 | True = () 14 | True = ()
15 ^^ 15 ^^
16------------ tooltips 16------------ tooltips
17guard02.reject.lc 2:12-2:14 172:12-2:14
18 () 18 ()
19guard02.reject.lc 3:5-3:10 193:5-3:10
20 Bool 20 Bool
21guard02.reject.lc 3:5-3:15 213:5-3:15
22 String 22 String
23guard02.reject.lc 3:13-3:15 233: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
12value :: String 12value :: String
13value = _rhs "True" 13value = _rhs "True"
14------------ tooltips 14------------ tooltips
15guard03.lc 1:1-1:6 151:1-1:6
16 String 16 String
17guard03.lc 2:5-2:9 172:5-2:9
18 Bool 18 Bool
19guard03.lc 2:5-3:20 192:5-3:20
20 String 20 String
21guard03.lc 2:12-2:18 212:12-2:18
22 String 22 String
23guard03.lc 2:12-3:20 232:12-3:20
24 Bool -> String 24 Bool -> String
25guard03.lc 3:5-3:10 253:5-3:10
26 Bool 26 Bool
27guard03.lc 3:5-3:20 273:5-3:20
28 String 28 String
29guard03.lc 3:13-3:20 293: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
6value :: String 6value :: String
7value = _rhs "True" 7value = _rhs "True"
8------------ tooltips 8------------ tooltips
9guard04.lc 1:1-1:6 91:1-1:6
10 String 10 String
11guard04.lc 2:5-2:9 112:5-2:9
12 Bool 12 Bool
13guard04.lc 2:5-3:24 132:5-3:24
14 String 14 String
15guard04.lc 2:12-2:18 152:12-2:18
16 String 16 String
17guard04.lc 2:12-3:24 172:12-3:24
18 Bool -> String 18 Bool -> String
19guard04.lc 3:17-3:24 193: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 @@
1type error: can not unify 1type 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 ^^^^
5with 5with
6 () 6 ()
7in guard05.reject.lc:1:9: 7in ./testdata/language-features/guard/guard05.reject.lc:1:9:
8value | () = "wrong" 8value | () = "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 ^^^^
15with 15with
16 () 16 ()
17in guard05.reject.lc:1:9: 17in ./testdata/language-features/guard/guard05.reject.lc:1:9:
18value | () = "wrong" 18value | () = "wrong"
19 ^^ 19 ^^
20------------ tooltips 20------------ tooltips
21guard05.reject.lc 1:9-1:11 211:9-1:11
22 () 22 ()
23guard05.reject.lc 1:14-1:21 231: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 ())
5value :: () 5value :: ()
6value = _rhs () 6value = _rhs ()
7------------ tooltips 7------------ tooltips
8guard06.lc 1:1-1:6 81:1-1:6
9 () 9 ()
10guard06.lc 1:21-1:23 101: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
12value :: String 12value :: String
13value = _rhs "True" 13value = _rhs "True"
14------------ tooltips 14------------ tooltips
15guard07.lc 1:1-1:6 151:1-1:6
16 String 16 String
17guard07.lc 1:7-1:11 171:7-1:11
18 Bool 18 Bool
19guard07.lc 1:7-2:20 191:7-2:20
20 String 20 String
21guard07.lc 1:12-1:18 211:12-1:18
22 String 22 String
23guard07.lc 1:12-2:20 231:12-2:20
24 Bool -> String 24 Bool -> String
25guard07.lc 2:7-2:12 252:7-2:12
26 Bool 26 Bool
27guard07.lc 2:7-2:20 272:7-2:20
28 String 28 String
29guard07.lc 2:13-2:20 292: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
12value :: String 12value :: String
13value = _rhs "True" 13value = _rhs "True"
14------------ tooltips 14------------ tooltips
15guard08.lc 1:1-1:6 151:1-1:6
16 String 16 String
17guard08.lc 1:7-1:11 171:7-1:11
18 Bool 18 Bool
19guard08.lc 1:7-1:32 191:7-1:32
20 String 20 String
21guard08.lc 1:12-1:18 211:12-1:18
22 String 22 String
23guard08.lc 1:12-1:32 231:12-1:32
24 Bool -> String 24 Bool -> String
25guard08.lc 1:19-1:24 251:19-1:24
26 Bool 26 Bool
27guard08.lc 1:19-1:32 271:19-1:32
28 String 28 String
29guard08.lc 1:25-1:32 291: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
12value :: String 12value :: String
13value = _rhs "True" 13value = _rhs "True"
14------------ tooltips 14------------ tooltips
15guard09.lc 1:1-1:6 151:1-1:6
16 String 16 String
17guard09.lc 1:7-1:11 171:7-1:11
18 Bool 18 Bool
19guard09.lc 1:7-2:16 191:7-2:16
20 String 20 String
21guard09.lc 1:12-1:18 211:12-1:18
22 String 22 String
23guard09.lc 1:12-2:16 231:12-2:16
24 Bool -> String 24 Bool -> String
25guard09.lc 2:3-2:8 252:3-2:8
26 Bool 26 Bool
27guard09.lc 2:3-2:16 272:3-2:16
28 String 28 String
29guard09.lc 2:9-2:16 292: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 @@
1testdata/language-features/guard/guard10.reject.lc:2:1: 1./testdata/language-features/guard/guard10.reject.lc:2:1:
2unexpected '|' 2unexpected '|'
3expecting "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 3expecting "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
8fun :: Bool -> String 8fun :: Bool -> String
9fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a 9fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a
10------------ tooltips 10------------ tooltips
11guard11.lc 1:1-1:4 111:1-1:4
12 Bool -> String 12 Bool -> String
13guard11.lc 2:5-2:6 132:5-2:6
14 _b 14 _b
15guard11.lc 2:5-3:24 152:5-3:24
16 String 16 String
17guard11.lc 2:9-2:15 172:9-2:15
18 String 18 String
19guard11.lc 2:9-3:24 192:9-3:24
20 Bool -> String 20 Bool -> String
21guard11.lc 3:17-3:24 213: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
3with 3with
4 () 4 ()
5in guard12.reject.lc:1:13: 5in ./testdata/language-features/guard/guard12.reject.lc:1:13:
6fun x | x = () | otherwise = 'a' 6fun x | x = () | otherwise = 'a'
7 ^^ 7 ^^
8------------ trace 8------------ trace
@@ -10,11 +10,11 @@ fun x | x = () | otherwise = 'a'
10 Char 10 Char
11with 11with
12 () 12 ()
13in guard12.reject.lc:1:13: 13in ./testdata/language-features/guard/guard12.reject.lc:1:13:
14fun x | x = () | otherwise = 'a' 14fun x | x = () | otherwise = 'a'
15 ^^ 15 ^^
16------------ tooltips 16------------ tooltips
17guard12.reject.lc 1:13-1:15 171:13-1:15
18 () 18 ()
19guard12.reject.lc 1:30-1:33 191: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
5fun :: Bool -> () 5fun :: Bool -> ()
6fun = \a -> case'Bool (\_ -> ' ()) (_rhs ()) (_rhs ()) a 6fun = \a -> case'Bool (\_ -> ' ()) (_rhs ()) (_rhs ()) a
7------------ tooltips 7------------ tooltips
8guard13.lc 1:1-1:4 81:1-1:4
9 Bool -> () 9 Bool -> ()
10guard13.lc 1:7-1:8 101:7-1:8
11 _b 11 _b
12guard13.lc 1:7-1:24 121:7-1:24
13 () 13 ()
14guard13.lc 1:9-1:11 141:9-1:11
15 () 15 ()
16guard13.lc 1:9-1:24 161:9-1:24
17 Bool -> () 17 Bool -> ()
18guard13.lc 1:22-1:24 181: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
9value :: () 9value :: ()
10value = _rhs () 10value = _rhs ()
11------------ tooltips 11------------ tooltips
12guard14.lc 1:1-1:6 121:1-1:6
13 () 13 ()
14guard14.lc 1:17-1:21 141:17-1:21
15 Bool 15 Bool
16guard14.lc 1:17-2:31 161:17-2:31
17 () 17 ()
18guard14.lc 1:24-1:26 181:24-1:26
19 () 19 ()
20guard14.lc 1:24-2:31 201:24-2:31
21 Bool -> () 21 Bool -> ()
22guard14.lc 2:29-2:31 222:29-2:31
23 () 23 ()
24guard14.lc 3:12-3:14 243: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
9value :: () 9value :: ()
10value = _rhs () 10value = _rhs ()
11------------ tooltips 11------------ tooltips
12guard15.lc 1:1-1:6 121:1-1:6
13 () 13 ()
14guard15.lc 1:9-1:11 141:9-1:11
15 () 15 ()
16guard15.lc 2:13-2:17 162:13-2:17
17 Bool 17 Bool
18guard15.lc 2:13-3:27 182:13-3:27
19 () 19 ()
20guard15.lc 2:20-2:22 202:20-2:22
21 () 21 ()
22guard15.lc 2:20-3:27 222:20-3:27
23 Bool -> () 23 Bool -> ()
24guard15.lc 3:25-3:27 243: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
19guard16.lc 1:1-1:6 191:1-1:6
20 forall a . (Eq a, Num a) => () 20 forall a . (Eq a, Num a) => ()
21guard16.lc 1:9-3:10 211:9-3:10
22 () 22 ()
23guard16.lc 1:14-1:15 231:14-1:15
24 _b 24 _b
25guard16.lc 2:7-2:11 252:7-2:11
26 Bool 26 Bool
27guard16.lc 2:7-3:10 272:7-3:10
28 () 28 ()
29guard16.lc 2:15-2:17 292:15-2:17
30 () 30 ()
31guard16.lc 2:15-3:10 312:15-3:10
32 Bool -> () 32 Bool -> ()
33guard16.lc 3:8-3:10 333:8-3:10
34 () | () \ No newline at end of file 34 () | () \ No newline at end of file