diff options
Diffstat (limited to 'testdata/reduce06.out')
-rw-r--r-- | testdata/reduce06.out | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testdata/reduce06.out b/testdata/reduce06.out index f9da2c5d..6bf97cb3 100644 --- a/testdata/reduce06.out +++ b/testdata/reduce06.out | |||
@@ -11,23 +11,23 @@ constf = \a b -> _rhs \c _ -> c | |||
11 | main :: Bool | 11 | main :: Bool |
12 | main = _rhs True | 12 | main = _rhs True |
13 | ------------ tooltips | 13 | ------------ tooltips |
14 | testdata/reduce06.lc 1:1-1:7 | 14 | reduce06.lc 1:1-1:7 |
15 | forall a b . a -> b -> a | 15 | forall a b . a -> b -> a |
16 | testdata/reduce06.lc 1:18-1:19 | 16 | reduce06.lc 1:18-1:19 |
17 | _d | 17 | _d |
18 | testdata/reduce06.lc 3:1-3:5 | 18 | reduce06.lc 3:1-3:5 |
19 | Bool | 19 | Bool |
20 | testdata/reduce06.lc 3:8-3:35 | 20 | reduce06.lc 3:8-3:35 |
21 | Bool | 21 | Bool |
22 | testdata/reduce06.lc 3:15-3:21 | 22 | reduce06.lc 3:15-3:21 |
23 | forall a b . a -> b -> a | 23 | forall a b . a -> b -> a |
24 | testdata/reduce06.lc 3:15-3:23 | 24 | reduce06.lc 3:15-3:23 |
25 | _a -> _c | 25 | _a -> _c |
26 | testdata/reduce06.lc 3:15-3:29 | 26 | reduce06.lc 3:15-3:29 |
27 | _b | 27 | _b |
28 | testdata/reduce06.lc 3:22-3:23 | 28 | reduce06.lc 3:22-3:23 |
29 | _d | 29 | _d |
30 | testdata/reduce06.lc 3:24-3:29 | 30 | reduce06.lc 3:24-3:29 |
31 | Bool | 31 | Bool |
32 | testdata/reduce06.lc 3:31-3:35 | 32 | reduce06.lc 3:31-3:35 |
33 | Bool \ No newline at end of file | 33 | Bool \ No newline at end of file |