diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 11:21:06 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 11:21:06 -0500 |
| commit | 331f556886e611af3d2633d1cebb868574a2aa13 (patch) | |
| tree | cc38fae1d51227ca86677435aaee311c2e6bbbe0 /testsuite/tests/deriving | |
| parent | 535dae66271af0ce4ab9c0a772614b700bc4c92a (diff) | |
| download | haskell-331f556886e611af3d2633d1cebb868574a2aa13.tar.gz | |
Revert "Implement BoxedRep proposal"
This was inadvertently merged.
This reverts commit 6c2eb2232b39ff4720fda0a4a009fb6afbc9dcea.
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T13154b.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T12512.hs | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/deriving/should_compile/T13154b.hs b/testsuite/tests/deriving/should_compile/T13154b.hs index 585f010eba..9df828b111 100644 --- a/testsuite/tests/deriving/should_compile/T13154b.hs +++ b/testsuite/tests/deriving/should_compile/T13154b.hs @@ -24,10 +24,10 @@ deriving instance Foo1 a class Foo2 (a :: TYPE ('TupleRep '[])) deriving instance Foo2 (##) -class Foo3 (a :: TYPE ('SumRep '[ 'BoxedRep 'Lifted, 'BoxedRep 'Lifted ])) +class Foo3 (a :: TYPE ('SumRep '[ 'LiftedRep, 'LiftedRep ])) deriving instance Foo3 a -class Foo4 (a :: TYPE ('SumRep '[ 'BoxedRep 'Lifted, 'BoxedRep 'Lifted ])) +class Foo4 (a :: TYPE ('SumRep '[ 'LiftedRep, 'LiftedRep ])) deriving instance Foo4 (# a | b #) class Foo5 (a :: Type) diff --git a/testsuite/tests/deriving/should_fail/T12512.hs b/testsuite/tests/deriving/should_fail/T12512.hs index 61410d84cf..804bfd31da 100644 --- a/testsuite/tests/deriving/should_fail/T12512.hs +++ b/testsuite/tests/deriving/should_fail/T12512.hs @@ -6,8 +6,8 @@ module T12512 where import GHC.Exts -class Wat1 (a :: TYPE ('TupleRep ['BoxedRep 'Lifted, 'BoxedRep 'Lifted])) +class Wat1 (a :: TYPE ('TupleRep ['LiftedRep, 'LiftedRep])) deriving instance Wat1 (# a, b #) -class Wat2 (a :: TYPE ('SumRep ['BoxedRep 'Lifted, 'BoxedRep 'Lifted])) +class Wat2 (a :: TYPE ('SumRep ['LiftedRep, 'LiftedRep])) deriving instance Wat2 (# a | b #) |