blob: e730bc62e096ff2f30a484013e958b4ab88a8352 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T20363b.hs:48:10: error: [GHC-55287]
• • The newtype constructor pattern
does not have a fixed runtime representation.
Its type is:
NestedTuple ('Suc 'Zero) Addr# :: TYPE
(NestedTupleRep ('Suc 'Zero) 'AddrRep)
• The argument ‘(# nullAddr#, (##) #)’ of ‘MkNT’
does not have a fixed runtime representation.
Its type is:
NestedTuple ('Suc 'Zero) Addr# :: TYPE
(NestedTupleRep ('Suc 'Zero) 'AddrRep)
• The newtype constructor pattern
does not have a fixed runtime representation.
Its type is:
NestedTuple 'Zero Addr# :: TYPE (NestedTupleRep 'Zero 'AddrRep)
• The argument ‘(##)’ of ‘MkNT’
does not have a fixed runtime representation.
Its type is:
NestedTuple 'Zero Addr# :: TYPE (NestedTupleRep 'Zero 'AddrRep)
• In the pattern: MkNT (# i, (##) #)
In an equation for ‘test2b’: test2b (MkNT (# i, (##) #)) = i
|
