diff options
Diffstat (limited to 'testdata/language-features/basic-values/where05.out')
-rw-r--r-- | testdata/language-features/basic-values/where05.out | 92 |
1 files changed, 60 insertions, 32 deletions
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out index ee42956d..a16b9c91 100644 --- a/testdata/language-features/basic-values/where05.out +++ b/testdata/language-features/basic-values/where05.out | |||
@@ -33,36 +33,64 @@ value4 | |||
33 | (fromInt 1) | 33 | (fromInt 1) |
34 | main is not found | 34 | main is not found |
35 | ------------ trace | 35 | ------------ trace |
36 | value1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m | 36 | value1 :: forall a . (Eq a, Num a) => () |
37 | value2 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m | 37 | value2 :: forall a . (Eq a, Num a) => () |
38 | value3 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m | 38 | value3 :: forall a . (Eq a, Num a) => () |
39 | value4 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m | 39 | value4 :: forall a . (Eq a, Num a) => () |
40 | ------------ tooltips | 40 | ------------ tooltips |
41 | testdata/language-features/basic-values/where05.lc 1:1-1:7 forall a . (Eq a, Num a) => () | 41 | testdata/language-features/basic-values/where05.lc 1:1-1:7 |
42 | testdata/language-features/basic-values/where05.lc 1:10-3:10 () | 42 | forall a . (Eq a, Num a) => () |
43 | testdata/language-features/basic-values/where05.lc 1:15-1:16 _b | 43 | testdata/language-features/basic-values/where05.lc 1:10-3:10 |
44 | testdata/language-features/basic-values/where05.lc 2:8-2:9 () | 44 | () |
45 | testdata/language-features/basic-values/where05.lc 2:8-3:10 Bool -> () | 45 | testdata/language-features/basic-values/where05.lc 1:15-1:16 |
46 | testdata/language-features/basic-values/where05.lc 2:20-2:22 () | 46 | _b |
47 | testdata/language-features/basic-values/where05.lc 3:8-3:10 () | 47 | testdata/language-features/basic-values/where05.lc 2:8-2:9 |
48 | testdata/language-features/basic-values/where05.lc 5:1-5:7 forall a . (Eq a, Num a) => () | 48 | () |
49 | testdata/language-features/basic-values/where05.lc 5:10-8:10 () | 49 | testdata/language-features/basic-values/where05.lc 2:8-3:10 |
50 | testdata/language-features/basic-values/where05.lc 5:15-5:16 _b | 50 | Bool -> () |
51 | testdata/language-features/basic-values/where05.lc 6:8-6:9 () | 51 | testdata/language-features/basic-values/where05.lc 2:20-2:22 |
52 | testdata/language-features/basic-values/where05.lc 6:8-8:10 Bool -> () | 52 | () |
53 | testdata/language-features/basic-values/where05.lc 7:14-7:16 () | 53 | testdata/language-features/basic-values/where05.lc 3:8-3:10 |
54 | testdata/language-features/basic-values/where05.lc 8:8-8:10 () | 54 | () |
55 | testdata/language-features/basic-values/where05.lc 10:1-10:7 forall a . (Eq a, Num a) => () | 55 | testdata/language-features/basic-values/where05.lc 5:1-5:7 |
56 | testdata/language-features/basic-values/where05.lc 10:10-14:10 () | 56 | forall a . (Eq a, Num a) => () |
57 | testdata/language-features/basic-values/where05.lc 10:15-10:16 _b | 57 | testdata/language-features/basic-values/where05.lc 5:10-8:10 |
58 | testdata/language-features/basic-values/where05.lc 11:8-11:9 () | 58 | () |
59 | testdata/language-features/basic-values/where05.lc 11:8-14:10 Bool -> () | 59 | testdata/language-features/basic-values/where05.lc 5:15-5:16 |
60 | testdata/language-features/basic-values/where05.lc 13:8-13:10 () | 60 | _b |
61 | testdata/language-features/basic-values/where05.lc 14:8-14:10 () | 61 | testdata/language-features/basic-values/where05.lc 6:8-6:9 |
62 | testdata/language-features/basic-values/where05.lc 16:1-16:7 forall a . (Eq a, Num a) => () | 62 | () |
63 | testdata/language-features/basic-values/where05.lc 16:10-18:10 () | 63 | testdata/language-features/basic-values/where05.lc 6:8-8:10 |
64 | testdata/language-features/basic-values/where05.lc 16:15-16:16 _b | 64 | Bool -> () |
65 | testdata/language-features/basic-values/where05.lc 17:8-17:9 () | 65 | testdata/language-features/basic-values/where05.lc 7:14-7:16 |
66 | testdata/language-features/basic-values/where05.lc 17:8-18:10 Bool -> () | 66 | () |
67 | testdata/language-features/basic-values/where05.lc 18:8-18:10 () | 67 | testdata/language-features/basic-values/where05.lc 8:8-8:10 |
68 | testdata/language-features/basic-values/where05.lc 21:6-21:8 () | 68 | () |
69 | testdata/language-features/basic-values/where05.lc 10:1-10:7 | ||
70 | forall a . (Eq a, Num a) => () | ||
71 | testdata/language-features/basic-values/where05.lc 10:10-14:10 | ||
72 | () | ||
73 | testdata/language-features/basic-values/where05.lc 10:15-10:16 | ||
74 | _b | ||
75 | testdata/language-features/basic-values/where05.lc 11:8-11:9 | ||
76 | () | ||
77 | testdata/language-features/basic-values/where05.lc 11:8-14:10 | ||
78 | Bool -> () | ||
79 | testdata/language-features/basic-values/where05.lc 13:8-13:10 | ||
80 | () | ||
81 | testdata/language-features/basic-values/where05.lc 14:8-14:10 | ||
82 | () | ||
83 | testdata/language-features/basic-values/where05.lc 16:1-16:7 | ||
84 | forall a . (Eq a, Num a) => () | ||
85 | testdata/language-features/basic-values/where05.lc 16:10-18:10 | ||
86 | () | ||
87 | testdata/language-features/basic-values/where05.lc 16:15-16:16 | ||
88 | _b | ||
89 | testdata/language-features/basic-values/where05.lc 17:8-17:9 | ||
90 | () | ||
91 | testdata/language-features/basic-values/where05.lc 17:8-18:10 | ||
92 | Bool -> () | ||
93 | testdata/language-features/basic-values/where05.lc 18:8-18:10 | ||
94 | () | ||
95 | testdata/language-features/basic-values/where05.lc 21:6-21:8 | ||
96 | () \ No newline at end of file | ||