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/typesig04.out | |
parent | e2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff) |
removing coloring from .out files
Diffstat (limited to 'testdata/language-features/basic-values/typesig04.out')
-rw-r--r-- | testdata/language-features/basic-values/typesig04.out | 52 |
1 files changed, 34 insertions, 18 deletions
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index e6fbc596..9cae9eb3 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -7,22 +7,38 @@ fun2 | |||
7 | :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList 'Nil | 7 | :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> HList 'Nil |
8 | main is not found | 8 | main is not found |
9 | ------------ trace | 9 | ------------ trace |
10 | fun1 :: [32mforall a b c . [32ma[0;32m -> ([32mb[0;32m -> [32mc[0;32m) -> ()[0m | 10 | fun1 :: forall a b c . a -> (b -> c) -> () |
11 | fun2 :: [32mforall a b c . [32ma[0;32m -> ([32mb[0;32m -> [32mc[0;32m) -> ()[0m | 11 | fun2 :: forall a b c . a -> (b -> c) -> () |
12 | ------------ tooltips | 12 | ------------ tooltips |
13 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 _f | 13 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 |
14 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type | 14 | _f |
15 | testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type | 15 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 |
16 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 _e | 16 | Type | Type | Type |
17 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | _d | 17 | testdata/language-features/basic-values/typesig04.lc 1:14-1:28 |
18 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type | 18 | Type |
19 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 forall a b c . a -> (b -> c) -> () | 19 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 |
20 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () | 20 | _e |
21 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 _f | 21 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 |
22 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type | 22 | _d | Type |
23 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type | 23 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 |
24 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 _e | 24 | Type | Type |
25 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | _d | 25 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 |
26 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type | 26 | forall a b c . a -> (b -> c) -> () |
27 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 forall a b c . a -> (b -> c) -> () | 27 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 |
28 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () | 28 | () |
29 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 | ||
30 | _f | ||
31 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 | ||
32 | Type | Type | Type | ||
33 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 | ||
34 | Type | ||
35 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 | ||
36 | _e | ||
37 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 | ||
38 | _d | Type | ||
39 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 | ||
40 | Type | Type | ||
41 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 | ||
42 | forall a b c . a -> (b -> c) -> () | ||
43 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 | ||
44 | () \ No newline at end of file | ||