summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/where01.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-values/where01.out')
-rw-r--r--testdata/language-features/basic-values/where01.out130
1 files changed, 83 insertions, 47 deletions
diff --git a/testdata/language-features/basic-values/where01.out b/testdata/language-features/basic-values/where01.out
index 0008aa6a..9ff7eb28 100644
--- a/testdata/language-features/basic-values/where01.out
+++ b/testdata/language-features/basic-values/where01.out
@@ -12,51 +12,87 @@ value10 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a
12value11 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a 12value11 = _rhs \(a := _rhs HNil) (b := _rhs HNil) -> a
13main is not found 13main is not found
14------------ trace 14------------ trace
15value1 :: () 15value1 :: ()
16value2 :: () 16value2 :: ()
17value3 :: () 17value3 :: ()
18value4 :: () 18value4 :: ()
19value5 :: () 19value5 :: ()
20value6 :: () 20value6 :: ()
21value7 :: () 21value7 :: ()
22value8 :: () 22value8 :: ()
23value9 :: () 23value9 :: ()
24value10 :: () 24value10 :: ()
25value11 :: () 25value11 :: ()
26------------ tooltips 26------------ tooltips
27testdata/language-features/basic-values/where01.lc 1:1-1:7 () 27testdata/language-features/basic-values/where01.lc 1:1-1:7
28testdata/language-features/basic-values/where01.lc 1:10-1:12 () 28 ()
29testdata/language-features/basic-values/where01.lc 1:23-1:25 () 29testdata/language-features/basic-values/where01.lc 1:10-1:12
30testdata/language-features/basic-values/where01.lc 3:1-3:7 () 30 ()
31testdata/language-features/basic-values/where01.lc 3:10-3:11 () 31testdata/language-features/basic-values/where01.lc 1:23-1:25
32testdata/language-features/basic-values/where01.lc 4:12-4:14 () 32 ()
33testdata/language-features/basic-values/where01.lc 6:1-6:7 () 33testdata/language-features/basic-values/where01.lc 3:1-3:7
34testdata/language-features/basic-values/where01.lc 6:10-6:11 () 34 ()
35testdata/language-features/basic-values/where01.lc 7:12-7:14 () 35testdata/language-features/basic-values/where01.lc 3:10-3:11
36testdata/language-features/basic-values/where01.lc 8:12-8:14 () 36 ()
37testdata/language-features/basic-values/where01.lc 10:1-10:7 () 37testdata/language-features/basic-values/where01.lc 4:12-4:14
38testdata/language-features/basic-values/where01.lc 10:10-10:11 () 38 ()
39testdata/language-features/basic-values/where01.lc 12:6-12:8 () 39testdata/language-features/basic-values/where01.lc 6:1-6:7
40testdata/language-features/basic-values/where01.lc 13:6-13:8 () 40 ()
41testdata/language-features/basic-values/where01.lc 15:1-15:7 () 41testdata/language-features/basic-values/where01.lc 6:10-6:11
42testdata/language-features/basic-values/where01.lc 15:10-15:11 () 42 ()
43testdata/language-features/basic-values/where01.lc 17:7-17:9 () 43testdata/language-features/basic-values/where01.lc 7:12-7:14
44testdata/language-features/basic-values/where01.lc 18:7-18:9 () 44 ()
45testdata/language-features/basic-values/where01.lc 20:1-20:7 () 45testdata/language-features/basic-values/where01.lc 8:12-8:14
46testdata/language-features/basic-values/where01.lc 20:10-20:12 () 46 ()
47testdata/language-features/basic-values/where01.lc 22:1-22:7 () 47testdata/language-features/basic-values/where01.lc 10:1-10:7
48testdata/language-features/basic-values/where01.lc 22:10-22:12 () 48 ()
49testdata/language-features/basic-values/where01.lc 25:1-25:7 () 49testdata/language-features/basic-values/where01.lc 10:10-10:11
50testdata/language-features/basic-values/where01.lc 25:10-25:12 () 50 ()
51testdata/language-features/basic-values/where01.lc 30:1-30:7 () 51testdata/language-features/basic-values/where01.lc 12:6-12:8
52testdata/language-features/basic-values/where01.lc 30:10-30:11 () 52 ()
53testdata/language-features/basic-values/where01.lc 34:7-34:9 () 53testdata/language-features/basic-values/where01.lc 13:6-13:8
54testdata/language-features/basic-values/where01.lc 35:7-35:9 () 54 ()
55testdata/language-features/basic-values/where01.lc 37:1-37:8 () 55testdata/language-features/basic-values/where01.lc 15:1-15:7
56testdata/language-features/basic-values/where01.lc 37:11-37:12 () 56 ()
57testdata/language-features/basic-values/where01.lc 39:6-39:8 () 57testdata/language-features/basic-values/where01.lc 15:10-15:11
58testdata/language-features/basic-values/where01.lc 40:6-40:8 () 58 ()
59testdata/language-features/basic-values/where01.lc 42:1-42:8 () 59testdata/language-features/basic-values/where01.lc 17:7-17:9
60testdata/language-features/basic-values/where01.lc 42:11-42:12 () 60 ()
61testdata/language-features/basic-values/where01.lc 43:6-43:8 () 61testdata/language-features/basic-values/where01.lc 18:7-18:9
62testdata/language-features/basic-values/where01.lc 44:6-44:8 () 62 ()
63testdata/language-features/basic-values/where01.lc 20:1-20:7
64 ()
65testdata/language-features/basic-values/where01.lc 20:10-20:12
66 ()
67testdata/language-features/basic-values/where01.lc 22:1-22:7
68 ()
69testdata/language-features/basic-values/where01.lc 22:10-22:12
70 ()
71testdata/language-features/basic-values/where01.lc 25:1-25:7
72 ()
73testdata/language-features/basic-values/where01.lc 25:10-25:12
74 ()
75testdata/language-features/basic-values/where01.lc 30:1-30:7
76 ()
77testdata/language-features/basic-values/where01.lc 30:10-30:11
78 ()
79testdata/language-features/basic-values/where01.lc 34:7-34:9
80 ()
81testdata/language-features/basic-values/where01.lc 35:7-35:9
82 ()
83testdata/language-features/basic-values/where01.lc 37:1-37:8
84 ()
85testdata/language-features/basic-values/where01.lc 37:11-37:12
86 ()
87testdata/language-features/basic-values/where01.lc 39:6-39:8
88 ()
89testdata/language-features/basic-values/where01.lc 40:6-40:8
90 ()
91testdata/language-features/basic-values/where01.lc 42:1-42:8
92 ()
93testdata/language-features/basic-values/where01.lc 42:11-42:12
94 ()
95testdata/language-features/basic-values/where01.lc 43:6-43:8
96 ()
97testdata/language-features/basic-values/where01.lc 44:6-44:8
98 () \ No newline at end of file