blob: 17c5a63b3840f48750cf34db78c361fd82d40595 (
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
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
|
already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
Value :: a -> forall m . M2 a m
^^^^^
and at testdata/language-features/adt/gadt04.reject.lc:3:3:
Value :: a -> forall m . M a m
^^^^^
------------ trace
'M :: Type -> String -> Type
Value :: forall a . a -> forall (b :: String) . M a b
case'M
:: forall (a :: forall b (c :: String) -> M b c -> Type)
-> (forall d . forall (e :: d) -> forall (f :: String) . a d f ('Value d e f))
-> forall g (h :: String) . forall (i :: M g h) -> a g h i
match'M
:: forall (a :: Type -> Type)
-> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d
'M2 :: Type -> String -> Type
Value :: forall a . a -> forall (b :: String) . M2 a b
!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
Value :: a -> forall m . M2 a m
^^^^^
and at testdata/language-features/adt/gadt04.reject.lc:3:3:
Value :: a -> forall m . M a m
^^^^^
------------ tooltips
2:6-2:7
Type -> String -> Type | Type -> String -> Type | Type | Type | Type
-> String -> Type | Type | Type | Type
2:6-3:33
Type
2:11-2:15
Type
2:19-2:25
Type
2:19-2:33
Type
2:29-2:33
Type | Type
3:3-3:8
forall a . a -> forall (b :: String) . M a b | M _c _a
3:3-3:33
Type | Type | Type | Type
3:12-3:13
_b
3:12-3:33
Type
3:17-3:33
Type
3:28-3:29
Type -> String -> Type
3:28-3:31
String -> Type
3:28-3:33
Type | Type
3:30-3:31
Type | Type
3:30-3:33
M _c _a -> Type
3:32-3:33
_b | String
5:6-5:8
Type -> String -> Type
5:12-5:16
Type
5:20-5:26
Type
5:20-5:34
Type
5:30-5:34
Type | Type
6:12-6:13
_b
6:12-6:34
Type
6:17-6:34
Type
6:28-6:30
Type -> String -> Type
6:28-6:32
String -> Type
6:28-6:34
Type | Type
6:31-6:32
Type
6:33-6:34
_b
|
