blob: 1a54c7d53b98789e3593be708e5c63841e2f8016 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
RAE_T32a.hs:28:1: error:
Too many parameters to Sing:
x is unexpected;
expected only two parameters
In the data instance declaration for ‘Sing’
RAE_T32a.hs:28:20: error:
Expecting two more arguments to ‘Sigma’
Expected a type, but
‘Sigma’ has kind
‘forall p -> TyPi p (MkStar p) -> *’
In the first argument of ‘Sing’, namely ‘Sigma’
In the data instance declaration for ‘Sing’
RAE_T32a.hs:28:27: error:
Expected kind ‘Sigma’, but ‘Sigma p r’ has kind ‘*’
In the second argument of ‘Sing’, namely ‘Sigma p r’
In the data instance declaration for ‘Sing’
|
