summaryrefslogtreecommitdiff
path: root/testdata/complex.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/complex.out')
-rw-r--r--testdata/complex.out40
1 files changed, 6 insertions, 34 deletions
diff --git a/testdata/complex.out b/testdata/complex.out
index 16af3496..4fcc18c8 100644
--- a/testdata/complex.out
+++ b/testdata/complex.out
@@ -77,13 +77,9 @@ testdata/complex.lc 18:20-18:38 Type
77testdata/complex.lc 18:28-18:29 V1 77testdata/complex.lc 18:28-18:29 V1
78testdata/complex.lc 18:33-18:38 Type 78testdata/complex.lc 18:33-18:38 Type
79testdata/complex.lc 19:1-19:5 {a:Repr} -> Complex a -> Float 79testdata/complex.lc 19:1-19:5 {a:Repr} -> Complex a -> Float
80testdata/complex.lc 19:7-19:14 Repr
81testdata/complex.lc 19:7-20:35 Complex V0 -> Float | Float | {a:Repr} -> Complex a -> Float
82testdata/complex.lc 19:16-19:23 Complex V3
83testdata/complex.lc 19:16-19:50 Float
84testdata/complex.lc 19:16-20:35 Repr->Float
85testdata/complex.lc 19:34-19:38 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a 80testdata/complex.lc 19:34-19:38 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
86testdata/complex.lc 19:34-19:50 Float -> Float->V3 | Float->V3 | VecScalar 1 Float 81testdata/complex.lc 19:34-19:50 Float | Float -> Float->V3 | Float->V3 | VecScalar 1 Float
82testdata/complex.lc 19:34-20:35 Complex V0 -> Float | Float | Repr->Float | {a:Repr} -> Complex a -> Float
87testdata/complex.lc 19:40-19:41 Float 83testdata/complex.lc 19:40-19:41 Float
88testdata/complex.lc 19:40-19:42 Float->Float 84testdata/complex.lc 19:40-19:42 Float->Float
89testdata/complex.lc 19:40-19:43 Float 85testdata/complex.lc 19:40-19:43 Float
@@ -97,8 +93,6 @@ testdata/complex.lc 19:46-19:48 Float->Float
97testdata/complex.lc 19:46-19:49 Float 93testdata/complex.lc 19:46-19:49 Float
98testdata/complex.lc 19:47-19:48 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a 94testdata/complex.lc 19:47-19:48 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
99testdata/complex.lc 19:48-19:49 Float 95testdata/complex.lc 19:48-19:49 Float
100testdata/complex.lc 20:16-20:23 Complex V2
101testdata/complex.lc 20:16-20:35 Float
102testdata/complex.lc 20:34-20:35 Float | Float -> Float->V3 | Float->V3 96testdata/complex.lc 20:34-20:35 Float | Float -> Float->V3 | Float->V3
103testdata/complex.lc 22:12-22:19 Repr->Type 97testdata/complex.lc 22:12-22:19 Repr->Type
104testdata/complex.lc 22:12-22:26 Type 98testdata/complex.lc 22:12-22:26 Type
@@ -107,10 +101,8 @@ testdata/complex.lc 22:30-22:37 Repr->Type
107testdata/complex.lc 22:30-22:43 Type 101testdata/complex.lc 22:30-22:43 Type
108testdata/complex.lc 22:38-22:43 Repr 102testdata/complex.lc 22:38-22:43 Repr
109testdata/complex.lc 23:1-23:8 Complex 'Normal -> Complex 'Polar 103testdata/complex.lc 23:1-23:8 Complex 'Normal -> Complex 'Polar
110testdata/complex.lc 23:10-23:17 Complex 'Normal
111testdata/complex.lc 23:10-31:25 Complex 'Normal -> Complex 'Polar | Complex 'Polar
112testdata/complex.lc 24:8-29:17 Complex 'Polar 104testdata/complex.lc 24:8-29:17 Complex 'Polar
113testdata/complex.lc 24:8-31:25 Float -> Float->V3 | Float->V3 105testdata/complex.lc 24:8-31:25 Complex 'Normal -> Complex 'Polar | Complex 'Polar | Float -> Float->V3 | Float->V3
114testdata/complex.lc 24:11-24:12 Float 106testdata/complex.lc 24:11-24:12 Float
115testdata/complex.lc 24:11-24:14 VecScalar 1 Float -> VecScalar 1 Bool 107testdata/complex.lc 24:11-24:14 VecScalar 1 Float -> VecScalar 1 Bool
116testdata/complex.lc 24:11-24:19 VecScalar 1 Bool 108testdata/complex.lc 24:11-24:19 VecScalar 1 Bool
@@ -261,11 +253,9 @@ testdata/complex.lc 64:30-64:37 Repr->Type
261testdata/complex.lc 64:30-64:44 Type 253testdata/complex.lc 64:30-64:44 Type
262testdata/complex.lc 64:38-64:44 Repr 254testdata/complex.lc 64:38-64:44 Repr
263testdata/complex.lc 65:1-65:9 Complex 'Polar -> Complex 'Normal 255testdata/complex.lc 65:1-65:9 Complex 'Polar -> Complex 'Normal
264testdata/complex.lc 65:11-65:18 Complex 'Polar
265testdata/complex.lc 65:11-65:63 Complex 'Polar -> Complex 'Normal | Complex V0
266testdata/complex.lc 65:28-65:35 {a:Repr} -> Float -> Float -> Complex a 256testdata/complex.lc 65:28-65:35 {a:Repr} -> Float -> Float -> Complex a
267testdata/complex.lc 65:28-65:49 Float -> Complex V1 257testdata/complex.lc 65:28-65:49 Float -> Complex V1
268testdata/complex.lc 65:28-65:63 Complex V0 | Float -> Float->V3 | Float->V3 258testdata/complex.lc 65:28-65:63 Complex 'Polar -> Complex 'Normal | Complex V0 | Float -> Float->V3 | Float->V3
269testdata/complex.lc 65:37-65:38 Float 259testdata/complex.lc 65:37-65:38 Float
270testdata/complex.lc 65:37-65:40 Float->Float 260testdata/complex.lc 65:37-65:40 Float->Float
271testdata/complex.lc 65:37-65:48 Float 261testdata/complex.lc 65:37-65:48 Float
@@ -281,8 +271,6 @@ testdata/complex.lc 65:55-65:58 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -
281testdata/complex.lc 65:55-65:62 VecScalar 1 Float 271testdata/complex.lc 65:55-65:62 VecScalar 1 Float
282testdata/complex.lc 65:59-65:62 Float 272testdata/complex.lc 65:59-65:62 Float
283testdata/complex.lc 111:1-111:15 {a:Repr} -> Complex a -> Float 273testdata/complex.lc 111:1-111:15 {a:Repr} -> Complex a -> Float
284testdata/complex.lc 111:17-111:24 V2
285testdata/complex.lc 111:17-111:39 Float
286testdata/complex.lc 111:38-111:39 Float | Float -> Float->V3 | Float->V3 274testdata/complex.lc 111:38-111:39 Float | Float -> Float->V3 | Float->V3
287testdata/complex.lc 113:20-113:70 Type 275testdata/complex.lc 113:20-113:70 Type
288testdata/complex.lc 113:32-113:39 Repr->Type 276testdata/complex.lc 113:32-113:39 Repr->Type
@@ -297,17 +285,9 @@ testdata/complex.lc 113:60-113:67 Repr->Type
297testdata/complex.lc 113:60-113:70 Type 285testdata/complex.lc 113:60-113:70 Type
298testdata/complex.lc 113:68-113:70 Repr 286testdata/complex.lc 113:68-113:70 Repr
299testdata/complex.lc 114:1-114:4 {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a 287testdata/complex.lc 114:1-114:4 {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
300testdata/complex.lc 114:6-114:13 Repr
301testdata/complex.lc 114:6-114:76 Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
302testdata/complex.lc 114:15-114:22 Repr
303testdata/complex.lc 114:15-114:76 Complex V0
304testdata/complex.lc 114:24-114:31 Complex V7
305testdata/complex.lc 114:24-114:76 Complex V0
306testdata/complex.lc 114:38-114:45 Complex V10
307testdata/complex.lc 114:38-114:76 Complex V0 | Float -> Float->V3 | Float->V3
308testdata/complex.lc 114:53-114:60 {a:Repr} -> Float -> Float -> Complex a 288testdata/complex.lc 114:53-114:60 {a:Repr} -> Float -> Float -> Complex a
309testdata/complex.lc 114:53-114:68 Float -> Complex V1 289testdata/complex.lc 114:53-114:68 Float -> Complex V1
310testdata/complex.lc 114:53-114:76 Complex V0 | Float -> Float->V3 | Float->V3 290testdata/complex.lc 114:53-114:76 Complex V0 | Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | Float -> Float->V3 | Float->V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
311testdata/complex.lc 114:62-114:63 Float 291testdata/complex.lc 114:62-114:63 Float
312testdata/complex.lc 114:62-114:65 Float->Float 292testdata/complex.lc 114:62-114:65 Float->Float
313testdata/complex.lc 114:62-114:67 Float 293testdata/complex.lc 114:62-114:67 Float
@@ -330,17 +310,9 @@ testdata/complex.lc 128:51-128:58 Repr->Type
330testdata/complex.lc 128:51-128:61 Type 310testdata/complex.lc 128:51-128:61 Type
331testdata/complex.lc 128:59-128:61 Repr 311testdata/complex.lc 128:59-128:61 Repr
332testdata/complex.lc 129:1-129:4 {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a 312testdata/complex.lc 129:1-129:4 {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
333testdata/complex.lc 129:6-129:13 Repr
334testdata/complex.lc 129:6-129:84 Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
335testdata/complex.lc 129:15-129:22 Repr
336testdata/complex.lc 129:15-129:84 Complex V0
337testdata/complex.lc 129:24-129:31 Complex V7
338testdata/complex.lc 129:24-129:84 Complex V0
339testdata/complex.lc 129:38-129:45 Complex V10
340testdata/complex.lc 129:38-129:84 Complex V0 | Float -> Float->V3 | Float->V3
341testdata/complex.lc 129:53-129:60 {a:Repr} -> Float -> Float -> Complex a 313testdata/complex.lc 129:53-129:60 {a:Repr} -> Float -> Float -> Complex a
342testdata/complex.lc 129:53-129:72 Float -> Complex V1 314testdata/complex.lc 129:53-129:72 Float -> Complex V1
343testdata/complex.lc 129:53-129:84 Complex V0 | Float -> Float->V3 | Float->V3 315testdata/complex.lc 129:53-129:84 Complex V0 | Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | Float -> Float->V3 | Float->V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
344testdata/complex.lc 129:62-129:63 Float 316testdata/complex.lc 129:62-129:63 Float
345testdata/complex.lc 129:62-129:64 Float->Float 317testdata/complex.lc 129:62-129:64 Float->Float
346testdata/complex.lc 129:62-129:65 Float 318testdata/complex.lc 129:62-129:65 Float
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 18:13:53 +0000