blob: 86e6efc4690b6ceddc41cd79645aa81ad18eb1a6 (
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
|
illegal data definition (parameters are not uniform)
------------ trace
'M2 :: [32mType -> 'String->Type[39m[K
Value2 :: [32m{a} -> a -> {b:'String} -> 'M2 a b[39m[K
'M2Case :: [32m{a} -> (b : c:'String -> 'M2 a c -> Type) -> (d:a -> {e:'String} -> b e (Value2 d e)) -> {f:'String} -> (g : 'M2 a f) -> b f g[39m[K
match'M2 :: [32m(a : Type->Type) -> (b:Type -> c:'String -> a ('M2 b c)) -> d:Type -> a d -> a d[39m[K
'M3 :: [32mType -> 'String->Type[39m[K
!illegal data definition (parameters are not uniform)
------------ tooltips
testdata/language-features/adt/gadt03.reject.lc 2:6-2:8 Type | Type -> String->Type
testdata/language-features/adt/gadt03.reject.lc 2:6-3:35 Type
testdata/language-features/adt/gadt03.reject.lc 2:15-2:19 Type
testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type
testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type
testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type
testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 d_ a_ | {a} -> a -> {b:String} -> M2 a b
testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type
testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type
testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type
testdata/language-features/adt/gadt03.reject.lc 3:18-3:35 Type
testdata/language-features/adt/gadt03.reject.lc 3:29-3:31 Type -> String->Type
testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type
testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type
testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type
testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | b_
testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type
testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type
testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type
testdata/language-features/adt/gadt03.reject.lc 5:24-5:38 Type
testdata/language-features/adt/gadt03.reject.lc 5:34-5:38 Type
|
