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/language-features/basic-list/listcomp09.out | |
| parent | e2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff) | |
removing coloring from .out files
Diffstat (limited to 'testdata/language-features/basic-list/listcomp09.out')
| -rw-r--r-- | testdata/language-features/basic-list/listcomp09.out | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out index 34f86f7f..60e73fcc 100644 --- a/testdata/language-features/basic-list/listcomp09.out +++ b/testdata/language-features/basic-list/listcomp09.out | |||
| @@ -4,10 +4,15 @@ value1 | |||
| 4 | (concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil) | 4 | (concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil) |
| 5 | main is not found | 5 | main is not found |
| 6 | ------------ trace | 6 | ------------ trace |
| 7 | value1 :: [32mType => List (() -> String)[0m | 7 | value1 :: Type => List (() -> String) |
| 8 | ------------ tooltips | 8 | ------------ tooltips |
| 9 | testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 Type => List (() -> String) | 9 | testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 |
| 10 | testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 List (() -> String) | 10 | Type => List (() -> String) |
| 11 | testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 List (() -> String) | _b -> List _a | 11 | testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 |
| 12 | testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 String | 12 | List (() -> String) |
| 13 | testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 forall a . List a | 13 | testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 |
| 14 | List (() -> String) | ||
| 15 | testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 | ||
| 16 | String | ||
| 17 | testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 | ||
| 18 | forall a . List a \ No newline at end of file | ||