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-values/lambda03.out | |
| parent | e2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff) | |
removing coloring from .out files
Diffstat (limited to 'testdata/language-features/basic-values/lambda03.out')
| -rw-r--r-- | testdata/language-features/basic-values/lambda03.out | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out index 33988c84..990af1ad 100644 --- a/testdata/language-features/basic-values/lambda03.out +++ b/testdata/language-features/basic-values/lambda03.out | |||
| @@ -3,10 +3,14 @@ fun1 = _rhs \_ (a :: _) -> \_ -> a | |||
| 3 | fun2 = \(a :: _) -> _rhs \_ -> \_ -> \_ -> a | 3 | fun2 = \(a :: _) -> _rhs \_ -> \_ -> \_ -> a |
| 4 | main is not found | 4 | main is not found |
| 5 | ------------ trace | 5 | ------------ trace |
| 6 | fun1 :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32mb[0;32m[0m | 6 | fun1 :: forall a b c . a -> b -> c -> b |
| 7 | fun2 :: [32mforall a b c d . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32ma[0;32m[0m | 7 | fun2 :: forall a b c d . a -> b -> c -> d -> a |
| 8 | ------------ tooltips | 8 | ------------ tooltips |
| 9 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 forall a b c . a -> b -> c -> b | 9 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 |
| 10 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 _d | 10 | forall a b c . a -> b -> c -> b |
| 11 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 forall a b c d . a -> b -> c -> d -> a | 11 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 |
| 12 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 _h | 12 | _d |
| 13 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 | ||
| 14 | forall a b c d . a -> b -> c -> d -> a | ||
| 15 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 | ||
| 16 | _h \ No newline at end of file | ||