summaryrefslogtreecommitdiff
path: root/testdata/record01.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/record01.reject.out')
-rw-r--r--testdata/record01.reject.out52
1 files changed, 26 insertions, 26 deletions
diff --git a/testdata/record01.reject.out b/testdata/record01.reject.out
index fd650971..26bb76e4 100644
--- a/testdata/record01.reject.out
+++ b/testdata/record01.reject.out
@@ -84,11 +84,11 @@ testdata/record01.reject.lc 7:17-7:20 Float
84testdata/record01.reject.lc 7:21-7:24 Float 84testdata/record01.reject.lc 7:21-7:24 Float
85testdata/record01.reject.lc 7:25-7:28 Float 85testdata/record01.reject.lc 7:25-7:28 Float
86testdata/record01.reject.lc 7:29-7:32 Float 86testdata/record01.reject.lc 7:29-7:32 Float
87testdata/record01.reject.lc 8:23-8:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageSemantics ImageSem a) 87testdata/record01.reject.lc 8:23-8:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a)
88testdata/record01.reject.lc 8:23-8:75 FrameBuffer 1 ('map Type ImageSemantics ImageSem ('Cons (Image 1 ('Depth Float)) ('Cons (Image 1 ('Color (VecScalar 4 Float))) 'Nil))) 88testdata/record01.reject.lc 8:23-8:75 FrameBuffer 1 ('map Type ImageKind GetImageKind ('Cons (Image 1 'Depth) ('Cons (Image 1 ('Color (VecScalar 4 Float))) 'Nil)))
89testdata/record01.reject.lc 8:35-8:75 (Image 1 ('Depth Float), Image 1 ('Color (VecScalar 4 Float))) 89testdata/record01.reject.lc 8:35-8:75 (Image 1 'Depth, Image 1 ('Color (VecScalar 4 Float)))
90testdata/record01.reject.lc 8:36-8:47 Float -> Image 1 ('Depth Float) 90testdata/record01.reject.lc 8:36-8:47 Float -> Image 1 'Depth
91testdata/record01.reject.lc 8:36-8:54 Image 1 ('Depth Float) 91testdata/record01.reject.lc 8:36-8:54 Image 1 'Depth
92testdata/record01.reject.lc 8:48-8:54 Float 92testdata/record01.reject.lc 8:48-8:54 Float
93testdata/record01.reject.lc 8:55-8:66 {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 ('Color c) 93testdata/record01.reject.lc 8:55-8:66 {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 ('Color c)
94testdata/record01.reject.lc 8:55-8:74 ((Image 1 ('Color (VecScalar 4 Float)))) | Image 1 ('Color (VecScalar 4 Float)) 94testdata/record01.reject.lc 8:55-8:74 ((Image 1 ('Color (VecScalar 4 Float)))) | Image 1 ('Color (VecScalar 4 Float))
@@ -114,11 +114,11 @@ testdata/record01.reject.lc 14:40-14:49 {a} -> PolygonMode a
114testdata/record01.reject.lc 14:50-14:58 PolygonOffset 114testdata/record01.reject.lc 14:50-14:58 PolygonOffset
115testdata/record01.reject.lc 14:59-14:70 ProvokingVertex 115testdata/record01.reject.lc 14:59-14:70 ProvokingVertex
116testdata/record01.reject.lc 15:23-15:42 {a} -> a->a 116testdata/record01.reject.lc 15:23-15:42 {a} -> a->a
117testdata/record01.reject.lc 15:23-15:102 (FragmentOperation ('Depth Float), FragmentOperation ('Color (VecScalar 4 Float))) 117testdata/record01.reject.lc 15:23-15:102 (FragmentOperation 'Depth, FragmentOperation ('Color (VecScalar 4 Float)))
118testdata/record01.reject.lc 15:43-15:102 (FragmentOperation ('Depth Float), FragmentOperation ('Color (VecScalar 4 Float))) 118testdata/record01.reject.lc 15:43-15:102 (FragmentOperation 'Depth, FragmentOperation ('Color (VecScalar 4 Float)))
119testdata/record01.reject.lc 15:44-15:51 ComparisonFunction -> Bool -> FragmentOperation ('Depth Float) 119testdata/record01.reject.lc 15:44-15:51 ComparisonFunction -> Bool -> FragmentOperation 'Depth
120testdata/record01.reject.lc 15:44-15:56 Bool -> FragmentOperation ('Depth Float) 120testdata/record01.reject.lc 15:44-15:56 Bool -> FragmentOperation 'Depth
121testdata/record01.reject.lc 15:44-15:61 FragmentOperation ('Depth Float) 121testdata/record01.reject.lc 15:44-15:61 FragmentOperation 'Depth
122testdata/record01.reject.lc 15:52-15:56 ComparisonFunction 122testdata/record01.reject.lc 15:52-15:56 ComparisonFunction
123testdata/record01.reject.lc 15:57-15:61 Bool 123testdata/record01.reject.lc 15:57-15:61 Bool
124testdata/record01.reject.lc 15:63-15:70 {a} -> {b:Nat} -> {c : Num a} -> Blending a -> VecScalar b Bool -> FragmentOperation ('Color (VecScalar b a)) 124testdata/record01.reject.lc 15:63-15:70 {a} -> {b:Nat} -> {c : Num a} -> Blending a -> VecScalar b Bool -> FragmentOperation ('Color (VecScalar b a))
@@ -153,8 +153,8 @@ testdata/record01.reject.lc 17:28-17:57 Vec 4 Float
153testdata/record01.reject.lc 17:42-17:55 Mat 4 4 Float 153testdata/record01.reject.lc 17:42-17:55 Mat 4 4 Float
154testdata/record01.reject.lc 17:56-17:57 V6 154testdata/record01.reject.lc 17:56-17:57 V6
155testdata/record01.reject.lc 17:59-17:60 ((VecS Float 4)) | VecS Float 4 155testdata/record01.reject.lc 17:59-17:60 ((VecS Float 4)) | VecS Float 4
156testdata/record01.reject.lc 18:23-18:28 {a:PrimitiveType} -> {b} -> String -> b -> PrimitiveStream a b 156testdata/record01.reject.lc 18:23-18:28 {a:PrimitiveType} -> {b : List Type} -> String -> HList b -> PrimitiveStream a (HList b)
157testdata/record01.reject.lc 18:23-18:37 V0 -> PrimitiveStream V2 V1 157testdata/record01.reject.lc 18:23-18:37 HList V0 -> PrimitiveStream V2 (HList V1)
158testdata/record01.reject.lc 18:23-18:79 PrimitiveStream V0 ((Vec 4 Float)) 158testdata/record01.reject.lc 18:23-18:79 PrimitiveStream V0 ((Vec 4 Float))
159testdata/record01.reject.lc 18:29-18:37 String 159testdata/record01.reject.lc 18:29-18:37 String
160testdata/record01.reject.lc 18:39-18:48 {a} -> String->a 160testdata/record01.reject.lc 18:39-18:48 {a} -> String->a
@@ -208,30 +208,30 @@ testdata/record01.reject.lc 22:49-22:52 Float
208testdata/record01.reject.lc 22:53-22:56 Float 208testdata/record01.reject.lc 22:53-22:56 Float
209testdata/record01.reject.lc 22:57-22:60 Float 209testdata/record01.reject.lc 22:57-22:60 Float
210testdata/record01.reject.lc 22:61-22:64 Float 210testdata/record01.reject.lc 22:61-22:64 Float
211testdata/record01.reject.lc 23:23-23:33 {a:Nat} -> {b : List Type} -> {c} -> HList b -> (c -> HList ('remSemantics' ('map Type ImageSemantics FragmentOperationSem b))) -> List (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a ('map Type ImageSemantics FragmentOperationSem b) -> FrameBuffer a ('map Type ImageSemantics FragmentOperationSem b) 211testdata/record01.reject.lc 23:23-23:33 {a:Nat} -> {b : List Type} -> {c} -> HList b -> (c -> HList ('imageType' ('map Type ImageKind FragmentOperationKind b))) -> List (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a ('map Type ImageKind FragmentOperationKind b) -> FrameBuffer a ('map Type ImageKind FragmentOperationKind b)
212testdata/record01.reject.lc 23:23-23:45 V0->(('remSemantics (FragmentOperationSem (FragmentOperation ('Color (VecScalar 4 Float)))))) -> List (Vector V2 (Maybe (SimpleFragment V1))) -> FrameBuffer V3 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer V4 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) 212testdata/record01.reject.lc 23:23-23:45 V0->(('imageType (FragmentOperationKind (FragmentOperation ('Color (VecScalar 4 Float)))))) -> List (Vector V2 (Maybe (SimpleFragment V1))) -> FrameBuffer V3 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer V4 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil)))
213testdata/record01.reject.lc 23:23-23:60 List (Vector V0 (Maybe (SimpleFragment ((VecS Float 4))))) -> FrameBuffer V1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer V2 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) 213testdata/record01.reject.lc 23:23-23:60 List (Vector V0 (Maybe (SimpleFragment ((VecS Float 4))))) -> FrameBuffer V1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer V2 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil)))
214testdata/record01.reject.lc 23:23-23:75 FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) 214testdata/record01.reject.lc 23:23-23:75 FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) -> FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil)))
215testdata/record01.reject.lc 23:23-23:83 FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) 215testdata/record01.reject.lc 23:23-23:83 FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil)))
216testdata/record01.reject.lc 23:34-23:45 (FragmentOperation ('Depth Float), FragmentOperation ('Color (VecScalar 4 Float))) 216testdata/record01.reject.lc 23:34-23:45 (FragmentOperation 'Depth, FragmentOperation ('Color (VecScalar 4 Float)))
217testdata/record01.reject.lc 23:46-23:60 ((VecS Float 4))->((VecS Float 4)) 217testdata/record01.reject.lc 23:46-23:60 ((VecS Float 4))->((VecS Float 4))
218testdata/record01.reject.lc 23:61-23:75 List (Vector 1 (Maybe (SimpleFragment ((VecS Float 4))))) 218testdata/record01.reject.lc 23:61-23:75 List (Vector 1 (Maybe (SimpleFragment ((VecS Float 4)))))
219testdata/record01.reject.lc 23:76-23:83 FrameBuffer 1 ('map Type ImageSemantics ImageSem ('Cons (Image 1 ('Depth Float)) ('Cons (Image 1 ('Color (VecScalar 4 Float))) 'Nil))) 219testdata/record01.reject.lc 23:76-23:83 FrameBuffer 1 ('map Type ImageKind GetImageKind ('Cons (Image 1 'Depth) ('Cons (Image 1 ('Color (VecScalar 4 Float))) 'Nil)))
220testdata/record01.reject.lc 24:12-24:58 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil))) 220testdata/record01.reject.lc 24:12-24:58 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil)))
221testdata/record01.reject.lc 24:13-24:19 RecItem | String 221testdata/record01.reject.lc 24:13-24:19 RecItem | String
222testdata/record01.reject.lc 24:13-24:47 List RecItem 222testdata/record01.reject.lc 24:13-24:47 List RecItem
223testdata/record01.reject.lc 24:21-24:24 Float 223testdata/record01.reject.lc 24:21-24:24 Float
224testdata/record01.reject.lc 24:21-24:57 (Float, 'recItemType ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))), 'recItemType ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float))) 224testdata/record01.reject.lc 24:21-24:57 (Float, 'recItemType ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))), 'recItemType ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)))
225testdata/record01.reject.lc 24:26-24:32 RecItem | String 225testdata/record01.reject.lc 24:26-24:32 RecItem | String
226testdata/record01.reject.lc 24:26-24:47 List RecItem 226testdata/record01.reject.lc 24:26-24:47 List RecItem
227testdata/record01.reject.lc 24:34-24:39 FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))) 227testdata/record01.reject.lc 24:34-24:39 FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil)))
228testdata/record01.reject.lc 24:34-24:57 (FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))), 'recItemType ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float))) 228testdata/record01.reject.lc 24:34-24:57 (FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))), 'recItemType ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)))
229testdata/record01.reject.lc 24:41-24:47 List RecItem | RecItem | String 229testdata/record01.reject.lc 24:41-24:47 List RecItem | RecItem | String
230testdata/record01.reject.lc 24:49-24:57 (((BlendEquation, BlendEquation) -> Blending Float)) | (BlendEquation, BlendEquation) -> Blending Float 230testdata/record01.reject.lc 24:49-24:57 (((BlendEquation, BlendEquation) -> Blending Float)) | (BlendEquation, BlendEquation) -> Blending Float
231testdata/record01.reject.lc 25:11-25:17 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil))) 231testdata/record01.reject.lc 25:11-25:17 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil)))
232testdata/record01.reject.lc 25:11-25:24 V1 232testdata/record01.reject.lc 25:11-25:24 V1
233testdata/record01.reject.lc 25:18-25:24 String 233testdata/record01.reject.lc 25:18-25:24 String
234testdata/record01.reject.lc 26:5-26:14 {a:Nat} -> {b : List ImageSemantics} -> FrameBuffer a b -> Output 234testdata/record01.reject.lc 26:5-26:14 {a:Nat} -> {b : List ImageKind} -> FrameBuffer a b -> Output
235testdata/record01.reject.lc 26:15-26:21 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageSemantics FragmentOperationSem ('Cons (FragmentOperation ('Depth Float)) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil))) 235testdata/record01.reject.lc 26:15-26:21 RecordC ('Cons ('RecItem "fieldA" Float) ('Cons ('RecItem "fieldB" (FrameBuffer 1 ('map Type ImageKind FragmentOperationKind ('Cons (FragmentOperation 'Depth) ('Cons (FragmentOperation ('Color (VecScalar 4 Float))) 'Nil))))) ('Cons ('RecItem "fieldC" ((BlendEquation, BlendEquation) -> Blending Float)) 'Nil)))
236testdata/record01.reject.lc 26:15-26:28 V1 236testdata/record01.reject.lc 26:15-26:28 V1
237testdata/record01.reject.lc 26:22-26:28 String 237testdata/record01.reject.lc 26:22-26:28 String
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:28:31 +0000