summaryrefslogtreecommitdiff
path: root/testdata/framebuffer02.reject.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:03 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:17 +0200
commit8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch)
treec1351e9fcb0341af482f8da4a8859e2046445188 /testdata/framebuffer02.reject.out
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/framebuffer02.reject.out')
-rw-r--r--testdata/framebuffer02.reject.out66
1 files changed, 33 insertions, 33 deletions
diff --git a/testdata/framebuffer02.reject.out b/testdata/framebuffer02.reject.out
index 76afa505..58ff2a70 100644
--- a/testdata/framebuffer02.reject.out
+++ b/testdata/framebuffer02.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 0 2 0
3with 3with
4 1 4 1
5in framebuffer02.reject.lc:2:17: 5in ./testdata/framebuffer02.reject.lc:2:17:
6 let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) 6 let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
7 ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) 7 ,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
8 ,colorImage1 1.0 8 ,colorImage1 1.0
@@ -12,17 +12,17 @@ in framebuffer02.reject.lc:2:17:
12 0 12 0
13with 13with
14 1 14 1
15in framebuffer02.reject.lc:2:17: 15in ./testdata/framebuffer02.reject.lc:2:17:
16 let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) 16 let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
17 ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) 17 ,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
18 ,colorImage1 1.0 18 ,colorImage1 1.0
19 ) 19 )
20------------ tooltips 20------------ tooltips
21framebuffer02.reject.lc 2:17-2:28 212:17-2:28
22 forall (a :: [Type]) 22 forall (a :: [Type])
23 . sameLayerCounts a 23 . sameLayerCounts a
24 => HList a -> FrameBuffer (ImageLC (head a)) (map GetImageKind a) 24 => HList a -> FrameBuffer (ImageLC (head a)) (map GetImageKind a)
25framebuffer02.reject.lc 2:17-5:30 252:17-5:30
26 FrameBuffer 26 FrameBuffer
27 1 27 1
28 (map 28 (map
@@ -30,64 +30,64 @@ framebuffer02.reject.lc 2:17-5:30
30 ' [Image 1 ('Color (VecScalar 4 Float)) 30 ' [Image 1 ('Color (VecScalar 4 Float))
31 , Image 2 ('Color (VecScalar 4 Float)) 31 , Image 2 ('Color (VecScalar 4 Float))
32 , Image 1 ('Color (VecScalar 1 Float))]) 32 , Image 1 ('Color (VecScalar 1 Float))])
33framebuffer02.reject.lc 2:29-5:30 332:29-5:30
34 (Image 1 ('Color (VecScalar 4 Float)) 34 (Image 1 ('Color (VecScalar 4 Float))
35 , Image 2 ('Color (VecScalar 4 Float)) 35 , Image 2 ('Color (VecScalar 4 Float))
36 , Image 1 ('Color (VecScalar 1 Float))) 36 , Image 1 ('Color (VecScalar 1 Float)))
37framebuffer02.reject.lc 2:30-2:41 372:30-2:41
38 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c) 38 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
39framebuffer02.reject.lc 2:30-2:62 392:30-2:62
40 Image 1 ('Color (VecScalar 4 Float)) 40 Image 1 ('Color (VecScalar 4 Float))
41framebuffer02.reject.lc 2:43-2:45 412:43-2:45
42 forall a . a -> a -> a -> a -> VecS a 4 42 forall a . a -> a -> a -> a -> VecS a 4
43framebuffer02.reject.lc 2:43-2:49 432:43-2:49
44 Float -> Float -> Float -> VecS Float 4 44 Float -> Float -> Float -> VecS Float 4
45framebuffer02.reject.lc 2:43-2:53 452:43-2:53
46 Float -> Float -> VecS Float 4 46 Float -> Float -> VecS Float 4
47framebuffer02.reject.lc 2:43-2:57 472:43-2:57
48 Float -> VecS Float 4 48 Float -> VecS Float 4
49framebuffer02.reject.lc 2:43-2:61 492:43-2:61
50 VecS Float 4 50 VecS Float 4
51framebuffer02.reject.lc 2:46-2:49 512:46-2:49
52 Float 52 Float
53framebuffer02.reject.lc 2:50-2:53 532:50-2:53
54 Float 54 Float
55framebuffer02.reject.lc 2:54-2:57 552:54-2:57
56 Float 56 Float
57framebuffer02.reject.lc 2:58-2:61 572:58-2:61
58 Float 58 Float
59framebuffer02.reject.lc 3:30-3:40 593:30-3:40
60 forall (a :: Nat) (b :: Nat) c d 60 forall (a :: Nat) (b :: Nat) c d
61 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d) 61 . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d)
62framebuffer02.reject.lc 3:30-3:43 623:30-3:43
63 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c) 63 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c)
64framebuffer02.reject.lc 3:30-3:64 643:30-3:64
65 Image 2 ('Color (VecScalar 4 Float)) 65 Image 2 ('Color (VecScalar 4 Float))
66framebuffer02.reject.lc 3:30-4:45 663:30-4:45
67 (Image 2 ('Color (VecScalar 4 Float)), Image 1 ('Color (VecScalar 1 Float))) 67 (Image 2 ('Color (VecScalar 4 Float)), Image 1 ('Color (VecScalar 1 Float)))
68framebuffer02.reject.lc 3:42-3:43 683:42-3:43
69 _b 69 _b
70framebuffer02.reject.lc 3:45-3:47 703:45-3:47
71 forall a . a -> a -> a -> a -> VecS a 4 71 forall a . a -> a -> a -> a -> VecS a 4
72framebuffer02.reject.lc 3:45-3:51 723:45-3:51
73 Float -> Float -> Float -> VecS Float 4 73 Float -> Float -> Float -> VecS Float 4
74framebuffer02.reject.lc 3:45-3:55 743:45-3:55
75 Float -> Float -> VecS Float 4 75 Float -> Float -> VecS Float 4
76framebuffer02.reject.lc 3:45-3:59 763:45-3:59
77 Float -> VecS Float 4 77 Float -> VecS Float 4
78framebuffer02.reject.lc 3:45-3:63 783:45-3:63
79 VecS Float 4 79 VecS Float 4
80framebuffer02.reject.lc 3:48-3:51 803:48-3:51
81 Float 81 Float
82framebuffer02.reject.lc 3:52-3:55 823:52-3:55
83 Float 83 Float
84framebuffer02.reject.lc 3:56-3:59 843:56-3:59
85 Float 85 Float
86framebuffer02.reject.lc 3:60-3:63 863:60-3:63
87 Float 87 Float
88framebuffer02.reject.lc 4:30-4:41 884:30-4:41
89 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c) 89 forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
90framebuffer02.reject.lc 4:30-4:45 904:30-4:45
91 Image 1 ('Color (VecScalar 1 Float)) | ((Image 1 ('Color (VecScalar 1 Float)))) 91 Image 1 ('Color (VecScalar 1 Float)) | ((Image 1 ('Color (VecScalar 1 Float))))
92framebuffer02.reject.lc 4:42-4:45 924:42-4:45
93 Float \ No newline at end of file 93 Float \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:28:55 +0000