diff options
Diffstat (limited to 'testsuite/tests/rep-poly/T20363b.stderr')
-rw-r--r-- | testsuite/tests/rep-poly/T20363b.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/rep-poly/T20363b.stderr b/testsuite/tests/rep-poly/T20363b.stderr index e730bc62e0..a06cd16741 100644 --- a/testsuite/tests/rep-poly/T20363b.stderr +++ b/testsuite/tests/rep-poly/T20363b.stderr @@ -3,20 +3,20 @@ 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) + 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) + 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) + 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) + NestedTuple Zero Addr# :: TYPE (NestedTupleRep Zero AddrRep) • In the pattern: MkNT (# i, (##) #) In an equation for ‘test2b’: test2b (MkNT (# i, (##) #)) = i |