diff options
| 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/reduce06.out | |
| parent | 67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff) | |
don't show module path
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 |