blob: 87f5a040b10594aa8c91821e0992344025a83d70 (
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
|
<interactive>:10:23:
Incorrect type variable on the LHS of injectivity condition
Expected : r
Actual : a
<interactive>:11:24:
Incorrect type variable on the LHS of injectivity condition
Expected : r
Actual : a
<interactive>:12:37:
Incorrect type variable on the LHS of injectivity condition
Expected : r
Actual : a
<interactive>:15:19:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:16:20:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:19:20:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:19:24:
Unknown type variable on the RHS of injectivity condition: a
<interactive>:20:21:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:20:25:
Unknown type variable on the RHS of injectivity condition: a
<interactive>:21:35:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:21:39:
Unknown type variable on the RHS of injectivity condition: a
<interactive>:24:1: Not in scope: type variable ‘c’
<interactive>:25:1: Not in scope: type variable ‘c’
<interactive>:26:23: Not in scope: type variable ‘c’
<interactive>:34:1: Not in scope: type variable ‘c’
<interactive>:35:1: Not in scope: type variable ‘c’
<interactive>:36:23: Not in scope: type variable ‘c’
<interactive>:39:33:
Type variable ‘a’, naming a type family result,
shadows an already bound type variable
<interactive>:42:37:
Unknown type variable on the RHS of injectivity condition: b
|
