1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
type error: can not unify
0
with
1
in testdata/framebuffer02.reject.lc:2:17:
let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
,colorImage1 1.0
)
------------ trace
!type error: can not unify
0
with
1
in testdata/framebuffer02.reject.lc:2:17:
let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
,colorImage1 1.0
)
------------ tooltips
testdata/framebuffer02.reject.lc 2:17-2:28
forall (a :: [Type])
. sameLayerCounts a
=> HList a -> FrameBuffer (ImageLC (head a)) (map GetImageKind a)
testdata/framebuffer02.reject.lc 2:17-5:30
FrameBuffer
1
(map
GetImageKind
' [Image 1 ('Color (VecScalar 4 Float))
, Image 2 ('Color (VecScalar 4 Float))
, Image 1 ('Color (VecScalar 1 Float))])
testdata/framebuffer02.reject.lc 2:29-5:30
(Image 1 ('Color (VecScalar 4 Float))
, Image 2 ('Color (VecScalar 4 Float))
, Image 1 ('Color (VecScalar 1 Float)))
testdata/framebuffer02.reject.lc 2:30-2:41
forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
testdata/framebuffer02.reject.lc 2:30-2:62
Image 1 ('Color (VecScalar 4 Float))
testdata/framebuffer02.reject.lc 2:43-2:45
forall a . a -> a -> a -> a -> VecS a 4
testdata/framebuffer02.reject.lc 2:43-2:49
Float -> Float -> Float -> VecS Float 4
testdata/framebuffer02.reject.lc 2:43-2:53
Float -> Float -> VecS Float 4
testdata/framebuffer02.reject.lc 2:43-2:57
Float -> VecS Float 4
testdata/framebuffer02.reject.lc 2:43-2:61
VecS Float 4
testdata/framebuffer02.reject.lc 2:46-2:49
Float
testdata/framebuffer02.reject.lc 2:50-2:53
Float
testdata/framebuffer02.reject.lc 2:54-2:57
Float
testdata/framebuffer02.reject.lc 2:58-2:61
Float
testdata/framebuffer02.reject.lc 3:30-3:40
forall (a :: Nat) (b :: Nat) c d
. (Num c, d ~ VecScalar b c) => d -> Image a ('Color d)
testdata/framebuffer02.reject.lc 3:30-3:43
forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c)
testdata/framebuffer02.reject.lc 3:30-3:64
Image 2 ('Color (VecScalar 4 Float))
testdata/framebuffer02.reject.lc 3:30-4:45
(Image 2 ('Color (VecScalar 4 Float)), Image 1 ('Color (VecScalar 1 Float)))
testdata/framebuffer02.reject.lc 3:42-3:43
_b
testdata/framebuffer02.reject.lc 3:45-3:47
forall a . a -> a -> a -> a -> VecS a 4
testdata/framebuffer02.reject.lc 3:45-3:51
Float -> Float -> Float -> VecS Float 4
testdata/framebuffer02.reject.lc 3:45-3:55
Float -> Float -> VecS Float 4
testdata/framebuffer02.reject.lc 3:45-3:59
Float -> VecS Float 4
testdata/framebuffer02.reject.lc 3:45-3:63
VecS Float 4
testdata/framebuffer02.reject.lc 3:48-3:51
Float
testdata/framebuffer02.reject.lc 3:52-3:55
Float
testdata/framebuffer02.reject.lc 3:56-3:59
Float
testdata/framebuffer02.reject.lc 3:60-3:63
Float
testdata/framebuffer02.reject.lc 4:30-4:41
forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
testdata/framebuffer02.reject.lc 4:30-4:45
Image 1 ('Color (VecScalar 1 Float)) | ((Image 1 ('Color (VecScalar 1 Float))))
testdata/framebuffer02.reject.lc 4:42-4:45
Float
|