blob: 36501d29b8d5e222c50af22c741324bb18a22221 (
plain)
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
|
type error: no instance of 'Component on ???
in testdata/adhoc.reject.lc:4:5:
x = one :: Vec 4 A
^^^
------------ trace
'A :: Type
A :: A
case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b
match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b
!type error: no instance of 'Component on ???
in testdata/adhoc.reject.lc:4:5:
x = one :: Vec 4 A
^^^
------------ tooltips
testdata/adhoc.reject.lc 2:6-2:7
Type | Type | Type | Type | Type
testdata/adhoc.reject.lc 2:6-2:11
Type
testdata/adhoc.reject.lc 2:10-2:11
A
testdata/adhoc.reject.lc 4:5-4:8
forall a . Component a => a
testdata/adhoc.reject.lc 4:12-4:15
Nat -> Type -> Type
testdata/adhoc.reject.lc 4:12-4:17
Type -> Type
testdata/adhoc.reject.lc 4:12-4:19
Type
testdata/adhoc.reject.lc 4:16-4:17
_b
testdata/adhoc.reject.lc 4:18-4:19
Type
|