summaryrefslogtreecommitdiff
path: root/testdata/language-features/recursion/mutualRec.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
commit7310e4916b8ee7d96db0e64e75ab98499a826674 (patch)
treefbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/language-features/recursion/mutualRec.out
parent67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)
don't show module path
Diffstat (limited to 'testdata/language-features/recursion/mutualRec.out')
-rw-r--r--testdata/language-features/recursion/mutualRec.out38
1 files changed, 19 insertions, 19 deletions
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)
89y :: [Bool] 89y :: [Bool]
90y = _rhs (True : x) 90y = _rhs (True : x)
91------------ tooltips 91------------ tooltips
92testdata/language-features/recursion/mutualRec.lc 4:1-4:2 92mutualRec.lc 4:1-4:2
93 _f | _c | _c | _f | _c | _c | [Bool] 93 _f | _c | _c | _f | _c | _c | [Bool]
94testdata/language-features/recursion/mutualRec.lc 4:1-5:2 94mutualRec.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])
97testdata/language-features/recursion/mutualRec.lc 4:5-4:10 97mutualRec.lc 4:5-4:10
98 Bool 98 Bool
99testdata/language-features/recursion/mutualRec.lc 4:5-4:11 99mutualRec.lc 4:5-4:11
100 [Bool] -> [Bool] 100 [Bool] -> [Bool]
101testdata/language-features/recursion/mutualRec.lc 4:5-4:13 101mutualRec.lc 4:5-4:13
102 [Bool] | (([Bool])) 102 [Bool] | (([Bool]))
103testdata/language-features/recursion/mutualRec.lc 4:5-5:12 103mutualRec.lc 4:5-5:12
104 ([Bool], [Bool]) 104 ([Bool], [Bool])
105testdata/language-features/recursion/mutualRec.lc 4:10-4:11 105mutualRec.lc 4:10-4:11
106 forall a . a -> [a] -> [a] 106 forall a . a -> [a] -> [a]
107testdata/language-features/recursion/mutualRec.lc 4:12-4:13 107mutualRec.lc 4:12-4:13
108 _e 108 _e
109testdata/language-features/recursion/mutualRec.lc 5:1-5:2 109mutualRec.lc 5:1-5:2
110 _k | _h | _d | _k | _h | _d | [Bool] 110 _k | _h | _d | _k | _h | _d | [Bool]
111testdata/language-features/recursion/mutualRec.lc 5:5-5:9 111mutualRec.lc 5:5-5:9
112 Bool 112 Bool
113testdata/language-features/recursion/mutualRec.lc 5:5-5:10 113mutualRec.lc 5:5-5:10
114 [Bool] -> [Bool] 114 [Bool] -> [Bool]
115testdata/language-features/recursion/mutualRec.lc 5:5-5:12 115mutualRec.lc 5:5-5:12
116 [Bool] 116 [Bool]
117testdata/language-features/recursion/mutualRec.lc 5:9-5:10 117mutualRec.lc 5:9-5:10
118 forall a . a -> [a] -> [a] 118 forall a . a -> [a] -> [a]
119testdata/language-features/recursion/mutualRec.lc 5:11-5:12 119mutualRec.lc 5:11-5:12
120 _d 120 _d
121testdata/language-features/recursion/mutualRec.lc 7:1-7:5 121mutualRec.lc 7:1-7:5
122 Bool 122 Bool
123testdata/language-features/recursion/mutualRec.lc 7:8-8:34 123mutualRec.lc 7:8-8:34
124 Bool 124 Bool
125testdata/language-features/recursion/mutualRec.lc 7:13-7:14 125mutualRec.lc 7:13-7:14
126 [Bool] 126 [Bool]
127testdata/language-features/recursion/mutualRec.lc 8:30-8:34 127mutualRec.lc 8: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 testdata/language-features/recursion/mutualRec.lc:7:13: 130Uncovered pattern(s) at mutualRec.lc:7:13:
131main = case x of 131main = case x of
132 ^ 132 ^
133Missing case(s): 133Missing case(s):