blob: 25a1fc1b6d50ef747249c301fcca6fbcc0f67ccc (
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
|
RepPolyRecordUpdate.hs:7:35: error: [GHC-55287]
• The newtype constructor pattern
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep
• In the pattern: MkX {fld = fld}
In an equation for ‘fld’: fld MkX {fld = fld} = fld
RepPolyRecordUpdate.hs:7:35: error: [GHC-55287]
The first pattern in the equation for ‘fld’
does not have a fixed runtime representation.
Its type is:
X a :: TYPE rep
RepPolyRecordUpdate.hs:13:9: error: [GHC-55287]
• The record update at field ‘fld’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep0
Cannot unify ‘rep’ with the type variable ‘rep0’
because it is not a concrete ‘RuntimeRep’.
• In a record update at field ‘fld’,
with type constructor ‘X’
and data constructor ‘MkX’.
In the expression: x {fld = meth ()}
In an equation for ‘upd’: upd x = x {fld = meth ()}
• Relevant bindings include
upd :: X b -> X a (bound at RepPolyRecordUpdate.hs:13:1)
|
