summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/typesig04.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-01 22:56:42 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-01 22:56:42 +0200
commit128cf82881352cc1e9061db97fe3762315cfd0c9 (patch)
tree60f0efc4d587a58359b39edba470fd55a0d8c69a /testdata/language-features/basic-values/typesig04.out
parente2ef3e4de33e15627ce21c7c506650b2f8123a1c (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.out52
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
8main is not found 8main is not found
9------------ trace 9------------ trace
10fun1 :: forall a b c . a -> (b -> c) -> () 10fun1 :: forall a b c . a -> (b -> c) -> ()
11fun2 :: forall a b c . a -> (b -> c) -> () 11fun2 :: forall a b c . a -> (b -> c) -> ()
12------------ tooltips 12------------ tooltips
13testdata/language-features/basic-values/typesig04.lc 1:9-1:10 _f 13testdata/language-features/basic-values/typesig04.lc 1:9-1:10
14testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type 14 _f
15testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type 15testdata/language-features/basic-values/typesig04.lc 1:9-1:28
16testdata/language-features/basic-values/typesig04.lc 1:15-1:16 _e 16 Type | Type | Type
17testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | _d 17testdata/language-features/basic-values/typesig04.lc 1:14-1:28
18testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type 18 Type
19testdata/language-features/basic-values/typesig04.lc 2:1-2:5 forall a b c . a -> (b -> c) -> () 19testdata/language-features/basic-values/typesig04.lc 1:15-1:16
20testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () 20 _e
21testdata/language-features/basic-values/typesig04.lc 4:7-4:8 _f 21testdata/language-features/basic-values/typesig04.lc 1:20-1:21
22testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type 22 _d | Type
23testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type 23testdata/language-features/basic-values/typesig04.lc 1:26-1:28
24testdata/language-features/basic-values/typesig04.lc 4:11-4:12 _e 24 Type | Type
25testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | _d 25testdata/language-features/basic-values/typesig04.lc 2:1-2:5
26testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type 26 forall a b c . a -> (b -> c) -> ()
27testdata/language-features/basic-values/typesig04.lc 5:1-5:5 forall a b c . a -> (b -> c) -> () 27testdata/language-features/basic-values/typesig04.lc 2:12-2:14
28testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () 28 ()
29testdata/language-features/basic-values/typesig04.lc 4:7-4:8
30 _f
31testdata/language-features/basic-values/typesig04.lc 4:7-4:20
32 Type | Type | Type
33testdata/language-features/basic-values/typesig04.lc 4:10-4:20
34 Type
35testdata/language-features/basic-values/typesig04.lc 4:11-4:12
36 _e
37testdata/language-features/basic-values/typesig04.lc 4:14-4:15
38 _d | Type
39testdata/language-features/basic-values/typesig04.lc 4:18-4:20
40 Type | Type
41testdata/language-features/basic-values/typesig04.lc 5:1-5:5
42 forall a b c . a -> (b -> c) -> ()
43testdata/language-features/basic-values/typesig04.lc 5:12-5:14
44 () \ No newline at end of file