diff options
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/T17380.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/th/T18612.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_Promoted1Tuple.stderr | 2 |
3 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/th/T17380.stderr b/testsuite/tests/th/T17380.stderr index d1f4684062..b5e79ffb63 100644 --- a/testsuite/tests/th/T17380.stderr +++ b/testsuite/tests/th/T17380.stderr @@ -25,17 +25,17 @@ T17380.hs:18:7: error: [GHC-83865] T17380.hs:21:8: error: [GHC-83865] • Couldn't match type: Maybe String - with: 'Solo (Maybe String) - Expected: Proxy ('Solo (Maybe String)) + with: MkSolo (Maybe String) + Expected: Proxy (MkSolo (Maybe String)) Actual: Proxy (Maybe String) • In the expression: Proxy :: Proxy (Maybe String) In an equation for ‘quuz’: quuz = Proxy :: Proxy (Maybe String) T17380.hs:24:8: error: [GHC-83865] - • Couldn't match type: 'Solo (Maybe String) + • Couldn't match type: MkSolo (Maybe String) with: Maybe String Expected: Proxy (Maybe String) - Actual: Proxy ('Solo (Maybe String)) - • In the expression: Proxy :: Proxy ('Solo Maybe String) + Actual: Proxy (MkSolo (Maybe String)) + • In the expression: Proxy :: Proxy ('MkSolo Maybe String) In an equation for ‘fred’: - fred = Proxy :: Proxy ('Solo Maybe String) + fred = Proxy :: Proxy ('MkSolo Maybe String) diff --git a/testsuite/tests/th/T18612.stderr b/testsuite/tests/th/T18612.stderr index 0865ddc17b..b710dc3b39 100644 --- a/testsuite/tests/th/T18612.stderr +++ b/testsuite/tests/th/T18612.stderr @@ -1,7 +1,7 @@ T18612.hs:14:11-68: Splicing type conT ''Proxy `appT` (promotedTupleT 1 `appT` (tupleT 0)) ======> - Proxy ('Solo ()) + Proxy ('MkSolo ()) T18612.hs:(10,7)-(11,75): Splicing type arrowT `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0))) `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0))) diff --git a/testsuite/tests/th/TH_Promoted1Tuple.stderr b/testsuite/tests/th/TH_Promoted1Tuple.stderr index bd71507e2e..2453cb26d5 100644 --- a/testsuite/tests/th/TH_Promoted1Tuple.stderr +++ b/testsuite/tests/th/TH_Promoted1Tuple.stderr @@ -1,3 +1,3 @@ TH_Promoted1Tuple.hs:7:2: error: - Illegal type: ‘'Solo Int’ Perhaps you intended to use DataKinds + Illegal type: ‘'MkSolo Int’ Perhaps you intended to use DataKinds |