summaryrefslogtreecommitdiff
path: root/testdata/complex.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-06 23:35:23 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-07 21:36:23 +0100
commit8e39dd5fae759b9aa70afd4bab55d8c53b13c0ef (patch)
tree16ccf7899ed86f2f96babc81cb68b07cb63d86da /testdata/complex.out
parent7d3ad0e76e07f6d85f96e3b391fbf620dcc5c67f (diff)
work on the elimination of ConName
Diffstat (limited to 'testdata/complex.out')
-rw-r--r--testdata/complex.out16
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/complex.out b/testdata/complex.out
index 608be18c..444cab15 100644
--- a/testdata/complex.out
+++ b/testdata/complex.out
@@ -92,7 +92,7 @@ testdata/complex.lc 24:11-24:12 Float
92testdata/complex.lc 24:11-24:14 Float->Bool 92testdata/complex.lc 24:11-24:14 Float->Bool
93testdata/complex.lc 24:11-24:19 Bool 93testdata/complex.lc 24:11-24:19 Bool
94testdata/complex.lc 24:11-24:59 Complex 'Polar -> Complex 'Polar 94testdata/complex.lc 24:11-24:59 Complex 'Polar -> Complex 'Polar
95testdata/complex.lc 24:13-24:14 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 95testdata/complex.lc 24:13-24:14 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
96testdata/complex.lc 24:16-24:19 Float 96testdata/complex.lc 24:16-24:19 Float
97testdata/complex.lc 24:37-24:42 Float -> Float -> Complex 'Polar 97testdata/complex.lc 24:37-24:42 Float -> Float -> Complex 'Polar
98testdata/complex.lc 24:37-24:44 Float -> Complex 'Polar 98testdata/complex.lc 24:37-24:44 Float -> Complex 'Polar
@@ -112,13 +112,13 @@ testdata/complex.lc 25:11-25:19 Bool
112testdata/complex.lc 25:11-25:22 Bool->Bool 112testdata/complex.lc 25:11-25:22 Bool->Bool
113testdata/complex.lc 25:11-25:31 Bool 113testdata/complex.lc 25:11-25:31 Bool
114testdata/complex.lc 25:11-25:64 Complex 'Polar -> Complex 'Polar 114testdata/complex.lc 25:11-25:64 Complex 'Polar -> Complex 'Polar
115testdata/complex.lc 25:13-25:14 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 115testdata/complex.lc 25:13-25:14 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
116testdata/complex.lc 25:16-25:19 Float 116testdata/complex.lc 25:16-25:19 Float
117testdata/complex.lc 25:20-25:22 Bool -> Bool->Bool 117testdata/complex.lc 25:20-25:22 Bool -> Bool->Bool
118testdata/complex.lc 25:23-25:24 Float 118testdata/complex.lc 25:23-25:24 Float
119testdata/complex.lc 25:23-25:27 Float->Bool 119testdata/complex.lc 25:23-25:27 Float->Bool
120testdata/complex.lc 25:23-25:31 Bool 120testdata/complex.lc 25:23-25:31 Bool
121testdata/complex.lc 25:25-25:27 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 121testdata/complex.lc 25:25-25:27 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
122testdata/complex.lc 25:28-25:31 Float 122testdata/complex.lc 25:28-25:31 Float
123testdata/complex.lc 25:37-25:42 Float -> Float -> Complex 'Polar 123testdata/complex.lc 25:37-25:42 Float -> Float -> Complex 'Polar
124testdata/complex.lc 25:37-25:44 Float -> Complex 'Polar 124testdata/complex.lc 25:37-25:44 Float -> Complex 'Polar
@@ -142,13 +142,13 @@ testdata/complex.lc 26:11-26:19 Bool
142testdata/complex.lc 26:11-26:22 Bool->Bool 142testdata/complex.lc 26:11-26:22 Bool->Bool
143testdata/complex.lc 26:11-26:31 Bool 143testdata/complex.lc 26:11-26:31 Bool
144testdata/complex.lc 26:11-26:64 Complex 'Polar -> Complex 'Polar 144testdata/complex.lc 26:11-26:64 Complex 'Polar -> Complex 'Polar
145testdata/complex.lc 26:13-26:14 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 145testdata/complex.lc 26:13-26:14 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
146testdata/complex.lc 26:16-26:19 Float 146testdata/complex.lc 26:16-26:19 Float
147testdata/complex.lc 26:20-26:22 Bool -> Bool->Bool 147testdata/complex.lc 26:20-26:22 Bool -> Bool->Bool
148testdata/complex.lc 26:23-26:24 Float 148testdata/complex.lc 26:23-26:24 Float
149testdata/complex.lc 26:23-26:26 Float->Bool 149testdata/complex.lc 26:23-26:26 Float->Bool
150testdata/complex.lc 26:23-26:31 Bool 150testdata/complex.lc 26:23-26:31 Bool
151testdata/complex.lc 26:25-26:26 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 151testdata/complex.lc 26:25-26:26 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
152testdata/complex.lc 26:28-26:31 Float 152testdata/complex.lc 26:28-26:31 Float
153testdata/complex.lc 26:37-26:42 Float -> Float -> Complex 'Polar 153testdata/complex.lc 26:37-26:42 Float -> Float -> Complex 'Polar
154testdata/complex.lc 26:37-26:44 Float -> Complex 'Polar 154testdata/complex.lc 26:37-26:44 Float -> Complex 'Polar
@@ -178,7 +178,7 @@ testdata/complex.lc 27:20-27:22 Bool -> Bool->Bool
178testdata/complex.lc 27:23-27:24 Float 178testdata/complex.lc 27:23-27:24 Float
179testdata/complex.lc 27:23-27:27 Float->Bool 179testdata/complex.lc 27:23-27:27 Float->Bool
180testdata/complex.lc 27:23-27:31 Bool 180testdata/complex.lc 27:23-27:31 Bool
181testdata/complex.lc 27:25-27:27 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 181testdata/complex.lc 27:25-27:27 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
182testdata/complex.lc 27:28-27:31 Float 182testdata/complex.lc 27:28-27:31 Float
183testdata/complex.lc 27:37-27:42 Float -> Float -> Complex 'Polar 183testdata/complex.lc 27:37-27:42 Float -> Float -> Complex 'Polar
184testdata/complex.lc 27:37-27:44 Float -> Complex 'Polar 184testdata/complex.lc 27:37-27:44 Float -> Complex 'Polar
@@ -202,7 +202,7 @@ testdata/complex.lc 28:20-28:22 Bool -> Bool->Bool
202testdata/complex.lc 28:23-28:24 Float 202testdata/complex.lc 28:23-28:24 Float
203testdata/complex.lc 28:23-28:26 Float->Bool 203testdata/complex.lc 28:23-28:26 Float->Bool
204testdata/complex.lc 28:23-28:31 Bool 204testdata/complex.lc 28:23-28:31 Bool
205testdata/complex.lc 28:25-28:26 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 205testdata/complex.lc 28:25-28:26 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
206testdata/complex.lc 28:28-28:31 Float 206testdata/complex.lc 28:28-28:31 Float
207testdata/complex.lc 28:37-28:42 Float -> Float -> Complex 'Polar 207testdata/complex.lc 28:37-28:42 Float -> Float -> Complex 'Polar
208testdata/complex.lc 28:37-28:44 Float -> Complex 'Polar 208testdata/complex.lc 28:37-28:44 Float -> Complex 'Polar
@@ -381,5 +381,5 @@ testdata/complex.lc 145:12-145:31 Bool
381testdata/complex.lc 145:17-145:25 Complex V0 381testdata/complex.lc 145:17-145:25 Complex V0
382testdata/complex.lc 145:18-145:22 {a:Repr} -> Complex a -> Complex a 382testdata/complex.lc 145:18-145:22 {a:Repr} -> Complex a -> Complex a
383testdata/complex.lc 145:23-145:24 V6 383testdata/complex.lc 145:23-145:24 V6
384testdata/complex.lc 145:26-145:27 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool 384testdata/complex.lc 145:26-145:27 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
385testdata/complex.lc 145:28-145:31 Float 385testdata/complex.lc 145:28-145:31 Float
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:18:12 +0000