summaryrefslogtreecommitdiff
path: root/testdata/language-features/recursion
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/recursion
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/language-features/recursion')
-rw-r--r--testdata/language-features/recursion/mutualConst.out66
-rw-r--r--testdata/language-features/recursion/mutualFunc.out36
-rw-r--r--testdata/language-features/recursion/mutualRec.out38
-rw-r--r--testdata/language-features/recursion/simplerec01.out10
-rw-r--r--testdata/language-features/recursion/simplerec02.out12
-rw-r--r--testdata/language-features/recursion/simplerec03.out12
6 files changed, 87 insertions, 87 deletions
diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out
index 62272011..8580bb8c 100644
--- a/testdata/language-features/recursion/mutualConst.out
+++ b/testdata/language-features/recursion/mutualConst.out
@@ -117,72 +117,72 @@ xy = primFix _ \a -> _rhs (False : snd a, True : fst a)
117y :: [Bool] 117y :: [Bool]
118y = _rhs (True : fst xy) 118y = _rhs (True : fst xy)
119------------ tooltips 119------------ tooltips
120mutualConst.lc 4:1-4:4 1204:1-4:4
121 forall a b . (a, b) -> a 121 forall a b . (a, b) -> a
122mutualConst.lc 4:14-4:15 1224:14-4:15
123 _k | _h | _d 123 _k | _h | _d
124mutualConst.lc 5:1-5:4 1245:1-5:4
125 forall a b . (a, b) -> b 125 forall a b . (a, b) -> b
126mutualConst.lc 5:14-5:15 1265:14-5:15
127 _f | _c | _c 127 _f | _c | _c
128mutualConst.lc 7:1-7:3 1287:1-7:3
129 ([Bool], [Bool]) 129 ([Bool], [Bool])
130mutualConst.lc 7:6-7:44 1307:6-7:44
131 [Bool] -> ([Bool], [Bool]) 131 [Bool] -> ([Bool], [Bool])
132mutualConst.lc 7:6-7:53 1327:6-7:53
133 ([Bool], [Bool]) 133 ([Bool], [Bool])
134mutualConst.lc 7:15-7:34 1347:15-7:34
135 ([Bool], [Bool]) 135 ([Bool], [Bool])
136mutualConst.lc 7:16-7:21 1367:16-7:21
137 Bool 137 Bool
138mutualConst.lc 7:16-7:22 1387:16-7:22
139 [Bool] -> [Bool] 139 [Bool] -> [Bool]
140mutualConst.lc 7:16-7:24 1407:16-7:24
141 [Bool] 141 [Bool]
142mutualConst.lc 7:21-7:22 1427:21-7:22
143 forall a . a -> [a] -> [a] 143 forall a . a -> [a] -> [a]
144mutualConst.lc 7:23-7:24 1447:23-7:24
145 _c 145 _c
146mutualConst.lc 7:26-7:30 1467:26-7:30
147 Bool 147 Bool
148mutualConst.lc 7:26-7:31 1487:26-7:31
149 [Bool] -> [Bool] 149 [Bool] -> [Bool]
150mutualConst.lc 7:26-7:33 1507:26-7:33
151 [Bool] | (([Bool])) 151 [Bool] | (([Bool]))
152mutualConst.lc 7:30-7:31 1527:30-7:31
153 forall a . a -> [a] -> [a] 153 forall a . a -> [a] -> [a]
154mutualConst.lc 7:32-7:33 1547:32-7:33
155 _e 155 _e
156mutualConst.lc 7:37-7:40 1567:37-7:40
157 forall a b . (a, b) -> a 157 forall a b . (a, b) -> a
158mutualConst.lc 7:37-7:43 1587:37-7:43
159 _b 159 _b
160mutualConst.lc 7:41-7:43 1607:41-7:43
161 _d 161 _d
162mutualConst.lc 7:46-7:49 1627:46-7:49
163 forall a b . (a, b) -> b 163 forall a b . (a, b) -> b
164mutualConst.lc 7:46-7:52 1647:46-7:52
165 [Bool] 165 [Bool]
166mutualConst.lc 7:50-7:52 1667:50-7:52
167 ([Bool], [Bool]) 167 ([Bool], [Bool])
168mutualConst.lc 9:2-9:3 1689:2-9:3
169 _k | _h | _d | [Bool] 169 _k | _h | _d | [Bool]
170mutualConst.lc 9:2-9:6 1709:2-9:6
171 ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) 171 ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool])
172mutualConst.lc 9:5-9:6 1729:5-9:6
173 _f | _c | _c | [Bool] 173 _f | _c | _c | [Bool]
174mutualConst.lc 9:10-9:12 1749:10-9:12
175 ([Bool], [Bool]) 175 ([Bool], [Bool])
176mutualConst.lc 11:1-11:5 17611:1-11:5
177 Bool 177 Bool
178mutualConst.lc 11:8-12:34 17811:8-12:34
179 Bool 179 Bool
180mutualConst.lc 11:13-11:14 18011:13-11:14
181 [Bool] 181 [Bool]
182mutualConst.lc 12:30-12:34 18212:30-12:34
183 Bool | Bool | Bool | Bool | Bool | Bool 183 Bool | Bool | Bool | Bool | Bool | Bool
184------------ warnings 184------------ warnings
185Uncovered pattern(s) at mutualConst.lc:11:13: 185Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13:
186main = case x of 186main = case x of
187 ^ 187 ^
188Missing case(s): 188Missing case(s):
diff --git a/testdata/language-features/recursion/mutualFunc.out b/testdata/language-features/recursion/mutualFunc.out
index 91217651..3f951467 100644
--- a/testdata/language-features/recursion/mutualFunc.out
+++ b/testdata/language-features/recursion/mutualFunc.out
@@ -67,41 +67,41 @@ g = \a -> case'Bool (\_ -> 'Bool) (_rhs (f a)) (_rhs True) a
67main :: Bool 67main :: Bool
68main = _rhs True 68main = _rhs True
69------------ tooltips 69------------ tooltips
70mutualFunc.lc 4:1-4:2 704:1-4:2
71 _f | _c | _c | _f | _c | _c | Bool -> Bool 71 _f | _c | _c | _f | _c | _c | Bool -> Bool
72mutualFunc.lc 4:1-7:2 724:1-7:2
73 _b | _e | (_e, _d) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool 73 _b | _e | (_e, _d) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool
74 , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool 74 , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool
75 , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) 75 , Bool -> Bool) | (Bool -> Bool, Bool -> Bool)
76mutualFunc.lc 4:10-4:11 764:10-4:11
77 Bool -> _a 77 Bool -> _a
78mutualFunc.lc 4:10-4:17 784:10-4:17
79 _a 79 _a
80mutualFunc.lc 4:10-5:17 804:10-5:17
81 Bool -> _a | ((Bool -> _a)) 81 Bool -> _a | ((Bool -> _a))
82mutualFunc.lc 4:10-8:10 824:10-8:10
83 (Bool -> Bool, Bool -> _a) 83 (Bool -> Bool, Bool -> _a)
84mutualFunc.lc 4:12-4:17 844:12-4:17
85 Bool 85 Bool
86mutualFunc.lc 5:11-5:12 865:11-5:12
87 _i 87 _i
88mutualFunc.lc 5:13-5:17 885:13-5:17
89 Bool 89 Bool
90mutualFunc.lc 7:1-7:2 907:1-7:2
91 _k | _h | _d | _k | _h | _d | Bool -> Bool 91 _k | _h | _d | _k | _h | _d | Bool -> Bool
92mutualFunc.lc 7:10-7:14 927:10-7:14
93 Bool 93 Bool
94mutualFunc.lc 7:10-8:10 947:10-8:10
95 Bool -> Bool 95 Bool -> Bool
96mutualFunc.lc 8:7-8:8 968:7-8:8
97 _h 97 _h
98mutualFunc.lc 8:9-8:10 988:9-8:10
99 _f 99 _f
100mutualFunc.lc 10:1-10:5 10010:1-10:5
101 Bool 101 Bool
102mutualFunc.lc 10:8-10:9 10210:8-10:9
103 Bool -> Bool 103 Bool -> Bool
104mutualFunc.lc 10:8-10:14 10410:8-10:14
105 Bool 105 Bool
106mutualFunc.lc 10:10-10:14 10610:10-10:14
107 Bool \ No newline at end of file 107 Bool \ No newline at end of file
diff --git a/testdata/language-features/recursion/mutualRec.out b/testdata/language-features/recursion/mutualRec.out
index aada1a7d..e802e888 100644
--- a/testdata/language-features/recursion/mutualRec.out
+++ b/testdata/language-features/recursion/mutualRec.out
@@ -89,45 +89,45 @@ x = _rhs (False : y)
89y :: [Bool] 89y :: [Bool]
90y = _rhs (True : x) 90y = _rhs (True : x)
91------------ tooltips 91------------ tooltips
92mutualRec.lc 4:1-4:2 924:1-4:2
93 _f | _c | _c | _f | _c | _c | [Bool] 93 _f | _c | _c | _f | _c | _c | [Bool]
94mutualRec.lc 4:1-5:2 944:1-5:2
95 _b | _e | (_e, _d) | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool] 95 _b | _e | (_e, _d) | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool]
96 , [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool]) 96 , [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool])
97mutualRec.lc 4:5-4:10 974:5-4:10
98 Bool 98 Bool
99mutualRec.lc 4:5-4:11 994:5-4:11
100 [Bool] -> [Bool] 100 [Bool] -> [Bool]
101mutualRec.lc 4:5-4:13 1014:5-4:13
102 [Bool] | (([Bool])) 102 [Bool] | (([Bool]))
103mutualRec.lc 4:5-5:12 1034:5-5:12
104 ([Bool], [Bool]) 104 ([Bool], [Bool])
105mutualRec.lc 4:10-4:11 1054:10-4:11
106 forall a . a -> [a] -> [a] 106 forall a . a -> [a] -> [a]
107mutualRec.lc 4:12-4:13 1074:12-4:13
108 _e 108 _e
109mutualRec.lc 5:1-5:2 1095:1-5:2
110 _k | _h | _d | _k | _h | _d | [Bool] 110 _k | _h | _d | _k | _h | _d | [Bool]
111mutualRec.lc 5:5-5:9 1115:5-5:9
112 Bool 112 Bool
113mutualRec.lc 5:5-5:10 1135:5-5:10
114 [Bool] -> [Bool] 114 [Bool] -> [Bool]
115mutualRec.lc 5:5-5:12 1155:5-5:12
116 [Bool] 116 [Bool]
117mutualRec.lc 5:9-5:10 1175:9-5:10
118 forall a . a -> [a] -> [a] 118 forall a . a -> [a] -> [a]
119mutualRec.lc 5:11-5:12 1195:11-5:12
120 _d 120 _d
121mutualRec.lc 7:1-7:5 1217:1-7:5
122 Bool 122 Bool
123mutualRec.lc 7:8-8:34 1237:8-8:34
124 Bool 124 Bool
125mutualRec.lc 7:13-7:14 1257:13-7:14
126 [Bool] 126 [Bool]
127mutualRec.lc 8:30-8:34 1278:30-8:34
128 Bool | Bool | Bool | Bool | Bool | Bool 128 Bool | Bool | Bool | Bool | Bool | Bool
129------------ warnings 129------------ warnings
130Uncovered pattern(s) at mutualRec.lc:7:13: 130Uncovered pattern(s) at ./testdata/language-features/recursion/mutualRec.lc:7:13:
131main = case x of 131main = case x of
132 ^ 132 ^
133Missing case(s): 133Missing case(s):
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out
index 892eebfc..aa6fa74b 100644
--- a/testdata/language-features/recursion/simplerec01.out
+++ b/testdata/language-features/recursion/simplerec01.out
@@ -20,13 +20,13 @@ fun
20 (_rhs 'a') 20 (_rhs 'a')
21 ((a == c) (fromInt a d 0) f) 21 ((a == c) (fromInt a d 0) f)
22------------ tooltips 22------------ tooltips
23simplerec01.lc 1:1-1:4 231:1-1:4
24 forall a . (Num a, Eq a, Num a) => a -> Char 24 forall a . (Num a, Eq a, Num a) => a -> Char
25simplerec01.lc 1:9-1:12 251:9-1:12
26 Char 26 Char
27simplerec01.lc 1:9-2:14 271:9-2:14
28 Bool -> Char 28 Bool -> Char
29simplerec01.lc 2:9-2:12 292:9-2:12
30 _e 30 _e
31simplerec01.lc 2:13-2:14 312:13-2:14
32 _b \ No newline at end of file 32 _b \ No newline at end of file
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out
index 21d25b22..ce6b7316 100644
--- a/testdata/language-features/recursion/simplerec02.out
+++ b/testdata/language-features/recursion/simplerec02.out
@@ -19,15 +19,15 @@ value
19value :: () 19value :: ()
20value = _rhs () 20value = _rhs ()
21------------ tooltips 21------------ tooltips
22simplerec02.lc 1:1-1:6 221:1-1:6
23 () 23 ()
24simplerec02.lc 1:21-1:24 241:21-1:24
25 Char 25 Char
26simplerec02.lc 1:21-2:26 261:21-2:26
27 Bool -> Char 27 Bool -> Char
28simplerec02.lc 2:21-2:24 282:21-2:24
29 _e 29 _e
30simplerec02.lc 2:25-2:26 302:25-2:26
31 _b 31 _b
32simplerec02.lc 3:12-3:14 323:12-3:14
33 () \ No newline at end of file 33 () \ No newline at end of file
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out
index eb7bf3cc..593f6f14 100644
--- a/testdata/language-features/recursion/simplerec03.out
+++ b/testdata/language-features/recursion/simplerec03.out
@@ -19,15 +19,15 @@ value
19value :: () 19value :: ()
20value = _rhs () 20value = _rhs ()
21------------ tooltips 21------------ tooltips
22simplerec03.lc 1:1-1:6 221:1-1:6
23 () 23 ()
24simplerec03.lc 1:9-1:11 241:9-1:11
25 () 25 ()
26simplerec03.lc 3:13-3:16 263:13-3:16
27 Char 27 Char
28simplerec03.lc 3:13-4:18 283:13-4:18
29 Bool -> Char 29 Bool -> Char
30simplerec03.lc 4:13-4:16 304:13-4:16
31 _e 31 _e
32simplerec03.lc 4:17-4:18 324:17-4:18
33 _b \ No newline at end of file 33 _b \ No newline at end of file