blob: e07abac2817a0fa34f87763cdb505099893ce57f (
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
|
type error: can not unify
<<installed-prelude-path>>/Internals.lc:63:6:
data Bool = False | True
^^^^
with
<<installed-prelude-path>>/Internals.lc:58:6:
data Int
^^^
in proj
------------ trace
'Data3 :: Type
Data3 :: Bool -> Char -> Bool -> Data3
Data31 :: Int -> String -> Int -> Data3
case'Data3
:: forall (a :: Data3 -> Type)
-> (forall (b :: Bool) (c :: Char) (d :: Bool) -> a ('Data3 b c d))
-> (forall (e :: Int) (f :: String) (g :: Int) -> a ('Data31 e f g))
-> forall (h :: Data3) -> a h
match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
!type error: can not unify
<<installed-prelude-path>>/Internals.lc:63:6:
data Bool = False | True
^^^^
with
<<installed-prelude-path>>/Internals.lc:58:6:
data Int
^^^
in proj
------------ tooltips
2:6-2:11
Type | Type | Type | Type | Type | Type | Type | Type
2:6-5:25
Type | Type
2:6-7:11
Type | Type
2:6-10:20
Type | Type
3:5-3:10
Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type
3:21-3:25
Type
4:21-4:25
Type
5:21-5:25
Type
7:5-7:11
Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type
8:17-8:20
Type
9:17-9:23
Type
10:17-10:20
Type
|