diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
| commit | 1a7544763729938e7009ead1e375e9bbf413afb0 (patch) | |
| tree | 62af78c28cd91597fe40391d4020cb47f697334a /testdata/id.out | |
| parent | 11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff) | |
better namespace handling in pretty print
Diffstat (limited to 'testdata/id.out')
| -rw-r--r-- | testdata/id.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/id.out b/testdata/id.out index 611e06a6..5e63f9d1 100644 --- a/testdata/id.out +++ b/testdata/id.out | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | main' :: [32m('Float, 'Bool)[0m | 3 | main' :: [32m(Float, Bool)[0m |
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 5 | testdata/id.lc 1:1-1:6 (Float, Bool) | 5 | testdata/id.lc 1:1-1:6 (Float, Bool) |
| 6 | testdata/id.lc 3:19-3:20 _b | 6 | testdata/id.lc 3:19-3:20 _b |