don't show module path

author: Péter Diviánszky <divipp@gmail.com> 2016-05-12 23:55:35 +0200
committer: Péter Diviánszky <divipp@gmail.com> 2016-05-12 23:55:35 +0200
commit: 7310e4916b8ee7d96db0e64e75ab98499a826674 (patch)
tree: fbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/language-features/recursion
parent: 67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)
6 files changed, 87 insertions, 87 deletions
diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out
index 34d37bc7..62272011 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)
 y :: [Bool]
 y = _rhs (True : fst xy)
 ------------ tooltips
-testdata/language-features/recursion/mutualConst.lc 4:1-4:4
+mutualConst.lc 4:1-4:4
    forall a b . (a, b) -> a
-testdata/language-features/recursion/mutualConst.lc 4:14-4:15
+mutualConst.lc 4:14-4:15
    _k | _h | _d
-testdata/language-features/recursion/mutualConst.lc 5:1-5:4
+mutualConst.lc 5:1-5:4
    forall a b . (a, b) -> b
-testdata/language-features/recursion/mutualConst.lc 5:14-5:15
+mutualConst.lc 5:14-5:15
    _f | _c | _c
-testdata/language-features/recursion/mutualConst.lc 7:1-7:3
+mutualConst.lc 7:1-7:3
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 7:6-7:44
+mutualConst.lc 7:6-7:44
    [Bool] -> ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 7:6-7:53
+mutualConst.lc 7:6-7:53
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 7:15-7:34
+mutualConst.lc 7:15-7:34
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 7:16-7:21
+mutualConst.lc 7:16-7:21
    Bool
-testdata/language-features/recursion/mutualConst.lc 7:16-7:22
+mutualConst.lc 7:16-7:22
    [Bool] -> [Bool]
-testdata/language-features/recursion/mutualConst.lc 7:16-7:24
+mutualConst.lc 7:16-7:24
    [Bool]
-testdata/language-features/recursion/mutualConst.lc 7:21-7:22
+mutualConst.lc 7:21-7:22
    forall a . a -> [a] -> [a]
-testdata/language-features/recursion/mutualConst.lc 7:23-7:24
+mutualConst.lc 7:23-7:24
    _c
-testdata/language-features/recursion/mutualConst.lc 7:26-7:30
+mutualConst.lc 7:26-7:30
    Bool
-testdata/language-features/recursion/mutualConst.lc 7:26-7:31
+mutualConst.lc 7:26-7:31
    [Bool] -> [Bool]
-testdata/language-features/recursion/mutualConst.lc 7:26-7:33
+mutualConst.lc 7:26-7:33
    [Bool] | (([Bool]))
-testdata/language-features/recursion/mutualConst.lc 7:30-7:31
+mutualConst.lc 7:30-7:31
    forall a . a -> [a] -> [a]
-testdata/language-features/recursion/mutualConst.lc 7:32-7:33
+mutualConst.lc 7:32-7:33
    _e
-testdata/language-features/recursion/mutualConst.lc 7:37-7:40
+mutualConst.lc 7:37-7:40
    forall a b . (a, b) -> a
-testdata/language-features/recursion/mutualConst.lc 7:37-7:43
+mutualConst.lc 7:37-7:43
    _b
-testdata/language-features/recursion/mutualConst.lc 7:41-7:43
+mutualConst.lc 7:41-7:43
    _d
-testdata/language-features/recursion/mutualConst.lc 7:46-7:49
+mutualConst.lc 7:46-7:49
    forall a b . (a, b) -> b
-testdata/language-features/recursion/mutualConst.lc 7:46-7:52
+mutualConst.lc 7:46-7:52
    [Bool]
-testdata/language-features/recursion/mutualConst.lc 7:50-7:52
+mutualConst.lc 7:50-7:52
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 9:2-9:3
+mutualConst.lc 9:2-9:3
    _k | _h | _d | [Bool]
-testdata/language-features/recursion/mutualConst.lc 9:2-9:6
+mutualConst.lc 9:2-9:6
    ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 9:5-9:6
+mutualConst.lc 9:5-9:6
    _f | _c | _c | [Bool]
-testdata/language-features/recursion/mutualConst.lc 9:10-9:12
+mutualConst.lc 9:10-9:12
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualConst.lc 11:1-11:5
+mutualConst.lc 11:1-11:5
    Bool
-testdata/language-features/recursion/mutualConst.lc 11:8-12:34
+mutualConst.lc 11:8-12:34
    Bool
-testdata/language-features/recursion/mutualConst.lc 11:13-11:14
+mutualConst.lc 11:13-11:14
    [Bool]
-testdata/language-features/recursion/mutualConst.lc 12:30-12:34
+mutualConst.lc 12:30-12:34
    Bool | Bool | Bool | Bool | Bool | Bool
 ------------ warnings
-Uncovered pattern(s) at testdata/language-features/recursion/mutualConst.lc:11:13:
+Uncovered pattern(s) at mutualConst.lc:11:13:
 main = case x of
            ^
 Missing case(s):
diff --git a/testdata/language-features/recursion/mutualFunc.out b/testdata/language-features/recursion/mutualFunc.out
index 6dd3f158..91217651 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
 main :: Bool
 main = _rhs True
 ------------ tooltips
-testdata/language-features/recursion/mutualFunc.lc 4:1-4:2
+mutualFunc.lc 4:1-4:2
    _f | _c | _c | _f | _c | _c | Bool -> Bool
-testdata/language-features/recursion/mutualFunc.lc 4:1-7:2
+mutualFunc.lc 4:1-7:2
    _b | _e | (_e, _d) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool
    , Bool -> Bool) | (Bool -> Bool, Bool -> Bool) | (Bool -> Bool
    , Bool -> Bool) | (Bool -> Bool, Bool -> Bool)
-testdata/language-features/recursion/mutualFunc.lc 4:10-4:11
+mutualFunc.lc 4:10-4:11
    Bool -> _a
-testdata/language-features/recursion/mutualFunc.lc 4:10-4:17
+mutualFunc.lc 4:10-4:17
    _a
-testdata/language-features/recursion/mutualFunc.lc 4:10-5:17
+mutualFunc.lc 4:10-5:17
    Bool -> _a | ((Bool -> _a))
-testdata/language-features/recursion/mutualFunc.lc 4:10-8:10
+mutualFunc.lc 4:10-8:10
    (Bool -> Bool, Bool -> _a)
-testdata/language-features/recursion/mutualFunc.lc 4:12-4:17
+mutualFunc.lc 4:12-4:17
    Bool
-testdata/language-features/recursion/mutualFunc.lc 5:11-5:12
+mutualFunc.lc 5:11-5:12
    _i
-testdata/language-features/recursion/mutualFunc.lc 5:13-5:17
+mutualFunc.lc 5:13-5:17
    Bool
-testdata/language-features/recursion/mutualFunc.lc 7:1-7:2
+mutualFunc.lc 7:1-7:2
    _k | _h | _d | _k | _h | _d | Bool -> Bool
-testdata/language-features/recursion/mutualFunc.lc 7:10-7:14
+mutualFunc.lc 7:10-7:14
    Bool
-testdata/language-features/recursion/mutualFunc.lc 7:10-8:10
+mutualFunc.lc 7:10-8:10
    Bool -> Bool
-testdata/language-features/recursion/mutualFunc.lc 8:7-8:8
+mutualFunc.lc 8:7-8:8
    _h
-testdata/language-features/recursion/mutualFunc.lc 8:9-8:10
+mutualFunc.lc 8:9-8:10
    _f
-testdata/language-features/recursion/mutualFunc.lc 10:1-10:5
+mutualFunc.lc 10:1-10:5
    Bool
-testdata/language-features/recursion/mutualFunc.lc 10:8-10:9
+mutualFunc.lc 10:8-10:9
    Bool -> Bool
-testdata/language-features/recursion/mutualFunc.lc 10:8-10:14
+mutualFunc.lc 10:8-10:14
    Bool
-testdata/language-features/recursion/mutualFunc.lc 10:10-10:14
+mutualFunc.lc 10:10-10:14
    Bool
 \ No newline at end of file
diff --git a/testdata/language-features/recursion/mutualRec.out b/testdata/language-features/recursion/mutualRec.out
index 885bd1ba..aada1a7d 100644
--- a/testdata/language-features/recursion/mutualRec.out
+++ b/testdata/language-features/recursion/mutualRec.out
@@ -89,45 +89,45 @@ x = _rhs (False : y)
 y :: [Bool]
 y = _rhs (True : x)
 ------------ tooltips
-testdata/language-features/recursion/mutualRec.lc 4:1-4:2
+mutualRec.lc 4:1-4:2
    _f | _c | _c | _f | _c | _c | [Bool]
-testdata/language-features/recursion/mutualRec.lc 4:1-5:2
+mutualRec.lc 4:1-5:2
    _b | _e | (_e, _d) | ([Bool], [Bool]) | ([Bool], [Bool]) | ([Bool]
    , [Bool]) | ([Bool], [Bool]) | ([Bool], [Bool])
-testdata/language-features/recursion/mutualRec.lc 4:5-4:10
+mutualRec.lc 4:5-4:10
    Bool
-testdata/language-features/recursion/mutualRec.lc 4:5-4:11
+mutualRec.lc 4:5-4:11
    [Bool] -> [Bool]
-testdata/language-features/recursion/mutualRec.lc 4:5-4:13
+mutualRec.lc 4:5-4:13
    [Bool] | (([Bool]))
-testdata/language-features/recursion/mutualRec.lc 4:5-5:12
+mutualRec.lc 4:5-5:12
    ([Bool], [Bool])
-testdata/language-features/recursion/mutualRec.lc 4:10-4:11
+mutualRec.lc 4:10-4:11
    forall a . a -> [a] -> [a]
-testdata/language-features/recursion/mutualRec.lc 4:12-4:13
+mutualRec.lc 4:12-4:13
    _e
-testdata/language-features/recursion/mutualRec.lc 5:1-5:2
+mutualRec.lc 5:1-5:2
    _k | _h | _d | _k | _h | _d | [Bool]
-testdata/language-features/recursion/mutualRec.lc 5:5-5:9
+mutualRec.lc 5:5-5:9
    Bool
-testdata/language-features/recursion/mutualRec.lc 5:5-5:10
+mutualRec.lc 5:5-5:10
    [Bool] -> [Bool]
-testdata/language-features/recursion/mutualRec.lc 5:5-5:12
+mutualRec.lc 5:5-5:12
    [Bool]
-testdata/language-features/recursion/mutualRec.lc 5:9-5:10
+mutualRec.lc 5:9-5:10
    forall a . a -> [a] -> [a]
-testdata/language-features/recursion/mutualRec.lc 5:11-5:12
+mutualRec.lc 5:11-5:12
    _d
-testdata/language-features/recursion/mutualRec.lc 7:1-7:5
+mutualRec.lc 7:1-7:5
    Bool
-testdata/language-features/recursion/mutualRec.lc 7:8-8:34
+mutualRec.lc 7:8-8:34
    Bool
-testdata/language-features/recursion/mutualRec.lc 7:13-7:14
+mutualRec.lc 7:13-7:14
    [Bool]
-testdata/language-features/recursion/mutualRec.lc 8:30-8:34
+mutualRec.lc 8:30-8:34
    Bool | Bool | Bool | Bool | Bool | Bool
 ------------ warnings
-Uncovered pattern(s) at testdata/language-features/recursion/mutualRec.lc:7:13:
+Uncovered pattern(s) at mutualRec.lc:7:13:
 main = case x of
            ^
 Missing case(s):
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out
index 823d544e..892eebfc 100644
--- a/testdata/language-features/recursion/simplerec01.out
+++ b/testdata/language-features/recursion/simplerec01.out
@@ -20,13 +20,13 @@ fun
      (_rhs 'a')
      ((a == c) (fromInt a d 0) f)
 ------------ tooltips
-testdata/language-features/recursion/simplerec01.lc 1:1-1:4
+simplerec01.lc 1:1-1:4
    forall a . (Num a, Eq a, Num a) => a -> Char
-testdata/language-features/recursion/simplerec01.lc 1:9-1:12
+simplerec01.lc 1:9-1:12
    Char
-testdata/language-features/recursion/simplerec01.lc 1:9-2:14
+simplerec01.lc 1:9-2:14
    Bool -> Char
-testdata/language-features/recursion/simplerec01.lc 2:9-2:12
+simplerec01.lc 2:9-2:12
    _e
-testdata/language-features/recursion/simplerec01.lc 2:13-2:14
+simplerec01.lc 2:13-2:14
    _b
 \ No newline at end of file
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out
index d80f3cfd..21d25b22 100644
--- a/testdata/language-features/recursion/simplerec02.out
+++ b/testdata/language-features/recursion/simplerec02.out
@@ -19,15 +19,15 @@ value
 value :: ()
 value = _rhs ()
 ------------ tooltips
-testdata/language-features/recursion/simplerec02.lc 1:1-1:6
+simplerec02.lc 1:1-1:6
    ()
-testdata/language-features/recursion/simplerec02.lc 1:21-1:24
+simplerec02.lc 1:21-1:24
    Char
-testdata/language-features/recursion/simplerec02.lc 1:21-2:26
+simplerec02.lc 1:21-2:26
    Bool -> Char
-testdata/language-features/recursion/simplerec02.lc 2:21-2:24
+simplerec02.lc 2:21-2:24
    _e
-testdata/language-features/recursion/simplerec02.lc 2:25-2:26
+simplerec02.lc 2:25-2:26
    _b
-testdata/language-features/recursion/simplerec02.lc 3:12-3:14
+simplerec02.lc 3:12-3:14
    ()
 \ No newline at end of file
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out
index 031dbc8d..eb7bf3cc 100644
--- a/testdata/language-features/recursion/simplerec03.out
+++ b/testdata/language-features/recursion/simplerec03.out
@@ -19,15 +19,15 @@ value
 value :: ()
 value = _rhs ()
 ------------ tooltips
-testdata/language-features/recursion/simplerec03.lc 1:1-1:6
+simplerec03.lc 1:1-1:6
    ()
-testdata/language-features/recursion/simplerec03.lc 1:9-1:11
+simplerec03.lc 1:9-1:11
    ()
-testdata/language-features/recursion/simplerec03.lc 3:13-3:16
+simplerec03.lc 3:13-3:16
    Char
-testdata/language-features/recursion/simplerec03.lc 3:13-4:18
+simplerec03.lc 3:13-4:18
    Bool -> Char
-testdata/language-features/recursion/simplerec03.lc 4:13-4:16
+simplerec03.lc 4:13-4:16
    _e
-testdata/language-features/recursion/simplerec03.lc 4:17-4:18
+simplerec03.lc 4:17-4:18
    _b
 \ No newline at end of file
author	Péter Diviánszky <divipp@gmail.com>	2016-05-12 23:55:35 +0200
committer	Péter Diviánszky <divipp@gmail.com>	2016-05-12 23:55:35 +0200
commit	7310e4916b8ee7d96db0e64e75ab98499a826674 (patch)
tree	fbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/language-features/recursion
parent	67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)

diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out index 34d37bc7..62272011 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)
117	y :: [Bool]	117	y :: [Bool]
118	y = _rhs (True : fst xy)	118	y = _rhs (True : fst xy)
119	------------ tooltips	119	------------ tooltips
120	testdata/language-features/recursion/mutualConst.lc 4:1-4:4	120	mutualConst.lc 4:1-4:4
121	forall a b . (a, b) -> a	121	forall a b . (a, b) -> a
122	testdata/language-features/recursion/mutualConst.lc 4:14-4:15	122	mutualConst.lc 4:14-4:15
123	_k \| _h \| _d	123	_k \| _h \| _d
124	testdata/language-features/recursion/mutualConst.lc 5:1-5:4	124	mutualConst.lc 5:1-5:4
125	forall a b . (a, b) -> b	125	forall a b . (a, b) -> b
126	testdata/language-features/recursion/mutualConst.lc 5:14-5:15	126	mutualConst.lc 5:14-5:15
127	_f \| _c \| _c	127	_f \| _c \| _c
128	testdata/language-features/recursion/mutualConst.lc 7:1-7:3	128	mutualConst.lc 7:1-7:3
129	([Bool], [Bool])	129	([Bool], [Bool])
130	testdata/language-features/recursion/mutualConst.lc 7:6-7:44	130	mutualConst.lc 7:6-7:44
131	[Bool] -> ([Bool], [Bool])	131	[Bool] -> ([Bool], [Bool])
132	testdata/language-features/recursion/mutualConst.lc 7:6-7:53	132	mutualConst.lc 7:6-7:53
133	([Bool], [Bool])	133	([Bool], [Bool])
134	testdata/language-features/recursion/mutualConst.lc 7:15-7:34	134	mutualConst.lc 7:15-7:34
135	([Bool], [Bool])	135	([Bool], [Bool])
136	testdata/language-features/recursion/mutualConst.lc 7:16-7:21	136	mutualConst.lc 7:16-7:21
137	Bool	137	Bool
138	testdata/language-features/recursion/mutualConst.lc 7:16-7:22	138	mutualConst.lc 7:16-7:22
139	[Bool] -> [Bool]	139	[Bool] -> [Bool]
140	testdata/language-features/recursion/mutualConst.lc 7:16-7:24	140	mutualConst.lc 7:16-7:24
141	[Bool]	141	[Bool]
142	testdata/language-features/recursion/mutualConst.lc 7:21-7:22	142	mutualConst.lc 7:21-7:22
143	forall a . a -> [a] -> [a]	143	forall a . a -> [a] -> [a]
144	testdata/language-features/recursion/mutualConst.lc 7:23-7:24	144	mutualConst.lc 7:23-7:24
145	_c	145	_c
146	testdata/language-features/recursion/mutualConst.lc 7:26-7:30	146	mutualConst.lc 7:26-7:30
147	Bool	147	Bool
148	testdata/language-features/recursion/mutualConst.lc 7:26-7:31	148	mutualConst.lc 7:26-7:31
149	[Bool] -> [Bool]	149	[Bool] -> [Bool]
150	testdata/language-features/recursion/mutualConst.lc 7:26-7:33	150	mutualConst.lc 7:26-7:33
151	[Bool] \| (([Bool]))	151	[Bool] \| (([Bool]))
152	testdata/language-features/recursion/mutualConst.lc 7:30-7:31	152	mutualConst.lc 7:30-7:31
153	forall a . a -> [a] -> [a]	153	forall a . a -> [a] -> [a]
154	testdata/language-features/recursion/mutualConst.lc 7:32-7:33	154	mutualConst.lc 7:32-7:33
155	_e	155	_e
156	testdata/language-features/recursion/mutualConst.lc 7:37-7:40	156	mutualConst.lc 7:37-7:40
157	forall a b . (a, b) -> a	157	forall a b . (a, b) -> a
158	testdata/language-features/recursion/mutualConst.lc 7:37-7:43	158	mutualConst.lc 7:37-7:43
159	_b	159	_b
160	testdata/language-features/recursion/mutualConst.lc 7:41-7:43	160	mutualConst.lc 7:41-7:43
161	_d	161	_d
162	testdata/language-features/recursion/mutualConst.lc 7:46-7:49	162	mutualConst.lc 7:46-7:49
163	forall a b . (a, b) -> b	163	forall a b . (a, b) -> b
164	testdata/language-features/recursion/mutualConst.lc 7:46-7:52	164	mutualConst.lc 7:46-7:52
165	[Bool]	165	[Bool]
166	testdata/language-features/recursion/mutualConst.lc 7:50-7:52	166	mutualConst.lc 7:50-7:52
167	([Bool], [Bool])	167	([Bool], [Bool])
168	testdata/language-features/recursion/mutualConst.lc 9:2-9:3	168	mutualConst.lc 9:2-9:3
169	_k \| _h \| _d \| [Bool]	169	_k \| _h \| _d \| [Bool]
170	testdata/language-features/recursion/mutualConst.lc 9:2-9:6	170	mutualConst.lc 9:2-9:6
171	([Bool], [Bool]) \| ([Bool], [Bool]) \| ([Bool], [Bool])	171	([Bool], [Bool]) \| ([Bool], [Bool]) \| ([Bool], [Bool])
172	testdata/language-features/recursion/mutualConst.lc 9:5-9:6	172	mutualConst.lc 9:5-9:6
173	_f \| _c \| _c \| [Bool]	173	_f \| _c \| _c \| [Bool]
174	testdata/language-features/recursion/mutualConst.lc 9:10-9:12	174	mutualConst.lc 9:10-9:12
175	([Bool], [Bool])	175	([Bool], [Bool])
176	testdata/language-features/recursion/mutualConst.lc 11:1-11:5	176	mutualConst.lc 11:1-11:5
177	Bool	177	Bool
178	testdata/language-features/recursion/mutualConst.lc 11:8-12:34	178	mutualConst.lc 11:8-12:34
179	Bool	179	Bool
180	testdata/language-features/recursion/mutualConst.lc 11:13-11:14	180	mutualConst.lc 11:13-11:14
181	[Bool]	181	[Bool]
182	testdata/language-features/recursion/mutualConst.lc 12:30-12:34	182	mutualConst.lc 12:30-12:34
183	Bool \| Bool \| Bool \| Bool \| Bool \| Bool	183	Bool \| Bool \| Bool \| Bool \| Bool \| Bool
184	------------ warnings	184	------------ warnings
185	Uncovered pattern(s) at testdata/language-features/recursion/mutualConst.lc:11:13:	185	Uncovered pattern(s) at mutualConst.lc:11:13:
186	main = case x of	186	main = case x of
187	^	187	^
188	Missing case(s):	188	Missing case(s):


diff --git a/testdata/language-features/recursion/mutualFunc.out b/testdata/language-features/recursion/mutualFunc.out index 6dd3f158..91217651 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
67	main :: Bool	67	main :: Bool
68	main = _rhs True	68	main = _rhs True
69	------------ tooltips	69	------------ tooltips
70	testdata/language-features/recursion/mutualFunc.lc 4:1-4:2	70	mutualFunc.lc 4:1-4:2
71	_f \| _c \| _c \| _f \| _c \| _c \| Bool -> Bool	71	_f \| _c \| _c \| _f \| _c \| _c \| Bool -> Bool
72	testdata/language-features/recursion/mutualFunc.lc 4:1-7:2	72	mutualFunc.lc 4: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)
76	testdata/language-features/recursion/mutualFunc.lc 4:10-4:11	76	mutualFunc.lc 4:10-4:11
77	Bool -> _a	77	Bool -> _a
78	testdata/language-features/recursion/mutualFunc.lc 4:10-4:17	78	mutualFunc.lc 4:10-4:17
79	_a	79	_a
80	testdata/language-features/recursion/mutualFunc.lc 4:10-5:17	80	mutualFunc.lc 4:10-5:17
81	Bool -> _a \| ((Bool -> _a))	81	Bool -> _a \| ((Bool -> _a))
82	testdata/language-features/recursion/mutualFunc.lc 4:10-8:10	82	mutualFunc.lc 4:10-8:10
83	(Bool -> Bool, Bool -> _a)	83	(Bool -> Bool, Bool -> _a)
84	testdata/language-features/recursion/mutualFunc.lc 4:12-4:17	84	mutualFunc.lc 4:12-4:17
85	Bool	85	Bool
86	testdata/language-features/recursion/mutualFunc.lc 5:11-5:12	86	mutualFunc.lc 5:11-5:12
87	_i	87	_i
88	testdata/language-features/recursion/mutualFunc.lc 5:13-5:17	88	mutualFunc.lc 5:13-5:17
89	Bool	89	Bool
90	testdata/language-features/recursion/mutualFunc.lc 7:1-7:2	90	mutualFunc.lc 7:1-7:2
91	_k \| _h \| _d \| _k \| _h \| _d \| Bool -> Bool	91	_k \| _h \| _d \| _k \| _h \| _d \| Bool -> Bool
92	testdata/language-features/recursion/mutualFunc.lc 7:10-7:14	92	mutualFunc.lc 7:10-7:14
93	Bool	93	Bool
94	testdata/language-features/recursion/mutualFunc.lc 7:10-8:10	94	mutualFunc.lc 7:10-8:10
95	Bool -> Bool	95	Bool -> Bool
96	testdata/language-features/recursion/mutualFunc.lc 8:7-8:8	96	mutualFunc.lc 8:7-8:8
97	_h	97	_h
98	testdata/language-features/recursion/mutualFunc.lc 8:9-8:10	98	mutualFunc.lc 8:9-8:10
99	_f	99	_f
100	testdata/language-features/recursion/mutualFunc.lc 10:1-10:5	100	mutualFunc.lc 10:1-10:5
101	Bool	101	Bool
102	testdata/language-features/recursion/mutualFunc.lc 10:8-10:9	102	mutualFunc.lc 10:8-10:9
103	Bool -> Bool	103	Bool -> Bool
104	testdata/language-features/recursion/mutualFunc.lc 10:8-10:14	104	mutualFunc.lc 10:8-10:14
105	Bool	105	Bool
106	testdata/language-features/recursion/mutualFunc.lc 10:10-10:14	106	mutualFunc.lc 10: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 885bd1ba..aada1a7d 100644 --- a/testdata/language-features/recursion/mutualRec.out +++ b/testdata/language-features/recursion/mutualRec.out
@@ -89,45 +89,45 @@ x = _rhs (False : y)
89	y :: [Bool]	89	y :: [Bool]
90	y = _rhs (True : x)	90	y = _rhs (True : x)
91	------------ tooltips	91	------------ tooltips
92	testdata/language-features/recursion/mutualRec.lc 4:1-4:2	92	mutualRec.lc 4:1-4:2
93	_f \| _c \| _c \| _f \| _c \| _c \| [Bool]	93	_f \| _c \| _c \| _f \| _c \| _c \| [Bool]
94	testdata/language-features/recursion/mutualRec.lc 4:1-5:2	94	mutualRec.lc 4: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])
97	testdata/language-features/recursion/mutualRec.lc 4:5-4:10	97	mutualRec.lc 4:5-4:10
98	Bool	98	Bool
99	testdata/language-features/recursion/mutualRec.lc 4:5-4:11	99	mutualRec.lc 4:5-4:11
100	[Bool] -> [Bool]	100	[Bool] -> [Bool]
101	testdata/language-features/recursion/mutualRec.lc 4:5-4:13	101	mutualRec.lc 4:5-4:13
102	[Bool] \| (([Bool]))	102	[Bool] \| (([Bool]))
103	testdata/language-features/recursion/mutualRec.lc 4:5-5:12	103	mutualRec.lc 4:5-5:12
104	([Bool], [Bool])	104	([Bool], [Bool])
105	testdata/language-features/recursion/mutualRec.lc 4:10-4:11	105	mutualRec.lc 4:10-4:11
106	forall a . a -> [a] -> [a]	106	forall a . a -> [a] -> [a]
107	testdata/language-features/recursion/mutualRec.lc 4:12-4:13	107	mutualRec.lc 4:12-4:13
108	_e	108	_e
109	testdata/language-features/recursion/mutualRec.lc 5:1-5:2	109	mutualRec.lc 5:1-5:2
110	_k \| _h \| _d \| _k \| _h \| _d \| [Bool]	110	_k \| _h \| _d \| _k \| _h \| _d \| [Bool]
111	testdata/language-features/recursion/mutualRec.lc 5:5-5:9	111	mutualRec.lc 5:5-5:9
112	Bool	112	Bool
113	testdata/language-features/recursion/mutualRec.lc 5:5-5:10	113	mutualRec.lc 5:5-5:10
114	[Bool] -> [Bool]	114	[Bool] -> [Bool]
115	testdata/language-features/recursion/mutualRec.lc 5:5-5:12	115	mutualRec.lc 5:5-5:12
116	[Bool]	116	[Bool]
117	testdata/language-features/recursion/mutualRec.lc 5:9-5:10	117	mutualRec.lc 5:9-5:10
118	forall a . a -> [a] -> [a]	118	forall a . a -> [a] -> [a]
119	testdata/language-features/recursion/mutualRec.lc 5:11-5:12	119	mutualRec.lc 5:11-5:12
120	_d	120	_d
121	testdata/language-features/recursion/mutualRec.lc 7:1-7:5	121	mutualRec.lc 7:1-7:5
122	Bool	122	Bool
123	testdata/language-features/recursion/mutualRec.lc 7:8-8:34	123	mutualRec.lc 7:8-8:34
124	Bool	124	Bool
125	testdata/language-features/recursion/mutualRec.lc 7:13-7:14	125	mutualRec.lc 7:13-7:14
126	[Bool]	126	[Bool]
127	testdata/language-features/recursion/mutualRec.lc 8:30-8:34	127	mutualRec.lc 8:30-8:34
128	Bool \| Bool \| Bool \| Bool \| Bool \| Bool	128	Bool \| Bool \| Bool \| Bool \| Bool \| Bool
129	------------ warnings	129	------------ warnings
130	Uncovered pattern(s) at testdata/language-features/recursion/mutualRec.lc:7:13:	130	Uncovered pattern(s) at mutualRec.lc:7:13:
131	main = case x of	131	main = case x of
132	^	132	^
133	Missing case(s):	133	Missing case(s):


diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 823d544e..892eebfc 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
23	testdata/language-features/recursion/simplerec01.lc 1:1-1:4	23	simplerec01.lc 1: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
25	testdata/language-features/recursion/simplerec01.lc 1:9-1:12	25	simplerec01.lc 1:9-1:12
26	Char	26	Char
27	testdata/language-features/recursion/simplerec01.lc 1:9-2:14	27	simplerec01.lc 1:9-2:14
28	Bool -> Char	28	Bool -> Char
29	testdata/language-features/recursion/simplerec01.lc 2:9-2:12	29	simplerec01.lc 2:9-2:12
30	_e	30	_e
31	testdata/language-features/recursion/simplerec01.lc 2:13-2:14	31	simplerec01.lc 2: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 d80f3cfd..21d25b22 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out
@@ -19,15 +19,15 @@ value
19	value :: ()	19	value :: ()
20	value = _rhs ()	20	value = _rhs ()
21	------------ tooltips	21	------------ tooltips
22	testdata/language-features/recursion/simplerec02.lc 1:1-1:6	22	simplerec02.lc 1:1-1:6
23	()	23	()
24	testdata/language-features/recursion/simplerec02.lc 1:21-1:24	24	simplerec02.lc 1:21-1:24
25	Char	25	Char
26	testdata/language-features/recursion/simplerec02.lc 1:21-2:26	26	simplerec02.lc 1:21-2:26
27	Bool -> Char	27	Bool -> Char
28	testdata/language-features/recursion/simplerec02.lc 2:21-2:24	28	simplerec02.lc 2:21-2:24
29	_e	29	_e
30	testdata/language-features/recursion/simplerec02.lc 2:25-2:26	30	simplerec02.lc 2:25-2:26
31	_b	31	_b
32	testdata/language-features/recursion/simplerec02.lc 3:12-3:14	32	simplerec02.lc 3: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 031dbc8d..eb7bf3cc 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out
@@ -19,15 +19,15 @@ value
19	value :: ()	19	value :: ()
20	value = _rhs ()	20	value = _rhs ()
21	------------ tooltips	21	------------ tooltips
22	testdata/language-features/recursion/simplerec03.lc 1:1-1:6	22	simplerec03.lc 1:1-1:6
23	()	23	()
24	testdata/language-features/recursion/simplerec03.lc 1:9-1:11	24	simplerec03.lc 1:9-1:11
25	()	25	()
26	testdata/language-features/recursion/simplerec03.lc 3:13-3:16	26	simplerec03.lc 3:13-3:16
27	Char	27	Char
28	testdata/language-features/recursion/simplerec03.lc 3:13-4:18	28	simplerec03.lc 3:13-4:18
29	Bool -> Char	29	Bool -> Char
30	testdata/language-features/recursion/simplerec03.lc 4:13-4:16	30	simplerec03.lc 4:13-4:16
31	_e	31	_e
32	testdata/language-features/recursion/simplerec03.lc 4:17-4:18	32	simplerec03.lc 4:17-4:18
33	_b \ No newline at end of file	33	_b \ No newline at end of file