blob: 7651077162ca75aa2fb76a9192764de234305b48 (
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:
• • 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
|