testdata/typesigctx.reject.out


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

type error: no instance of 'Show' on ???
in Wildcard2 builtin 'Type
------------ trace
'X :: Type
X :: X
case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
'Show' :: Type -> Type
show' :: forall a . Show' a => a -> X
!type error: no instance of 'Show' on ???
in Wildcard2 builtin 'Type
------------ tooltips
testdata/typesigctx.reject.lc 1:6-1:7
    Type | Type | Type | Type | Type
testdata/typesigctx.reject.lc 1:6-1:11
    Type
testdata/typesigctx.reject.lc 1:10-1:11
    X
testdata/typesigctx.reject.lc 3:7-3:12
    Type -> Type | Type -> Type
testdata/typesigctx.reject.lc 3:7-3:36
    Type
testdata/typesigctx.reject.lc 3:21-3:26
    forall a . Show' a => a -> X
testdata/typesigctx.reject.lc 3:30-3:31
    Type
testdata/typesigctx.reject.lc 3:30-3:36
    Type
testdata/typesigctx.reject.lc 3:35-3:36
    Type | Type
testdata/typesigctx.reject.lc 5:11-5:12
    Type
testdata/typesigctx.reject.lc 6:10-6:15
    forall a . Show' a => a -> X