diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 22:56:42 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 22:56:42 +0200 |
| commit | 128cf82881352cc1e9061db97fe3762315cfd0c9 (patch) | |
| tree | 60f0efc4d587a58359b39edba470fd55a0d8c69a /testdata/letIndent.out | |
| parent | e2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff) | |
removing coloring from .out files
Diffstat (limited to 'testdata/letIndent.out')
| -rw-r--r-- | testdata/letIndent.out | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/testdata/letIndent.out b/testdata/letIndent.out index b353ddfa..c6cf7e43 100644 --- a/testdata/letIndent.out +++ b/testdata/letIndent.out | |||
| @@ -2,9 +2,13 @@ | |||
| 2 | fun = \(a :: _) -> _rhs \(b := _rhs (fromInt 1)) (c := _rhs (fromInt 2)) -> a | 2 | fun = \(a :: _) -> _rhs \(b := _rhs (fromInt 1)) (c := _rhs (fromInt 2)) -> a |
| 3 | main is not found | 3 | main is not found |
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | fun :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m | 5 | fun :: forall a . a -> a |
| 6 | ------------ tooltips | 6 | ------------ tooltips |
| 7 | testdata/letIndent.lc 2:1-2:4 forall a . a -> a | 7 | testdata/letIndent.lc 2:1-2:4 |
| 8 | testdata/letIndent.lc 3:10-3:11 _b | 8 | forall a . a -> a |
| 9 | testdata/letIndent.lc 4:10-4:11 _b | 9 | testdata/letIndent.lc 3:10-3:11 |
| 10 | testdata/letIndent.lc 5:7-5:8 _d | 10 | _b |
| 11 | testdata/letIndent.lc 4:10-4:11 | ||
| 12 | _b | ||
| 13 | testdata/letIndent.lc 5:7-5:8 | ||
| 14 | _d \ No newline at end of file | ||