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 /libraries/base/Unsafe | |
parent | 535dae66271af0ce4ab9c0a772614b700bc4c92a (diff) | |
download | haskell-331f556886e611af3d2633d1cebb868574a2aa13.tar.gz |
Revert "Implement BoxedRep proposal"
This was inadvertently merged.
This reverts commit 6c2eb2232b39ff4720fda0a4a009fb6afbc9dcea.
Diffstat (limited to 'libraries/base/Unsafe')
-rw-r--r-- | libraries/base/Unsafe/Coerce.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/Unsafe/Coerce.hs b/libraries/base/Unsafe/Coerce.hs index ae8c64145a..6792592254 100644 --- a/libraries/base/Unsafe/Coerce.hs +++ b/libraries/base/Unsafe/Coerce.hs @@ -285,7 +285,7 @@ unsafeEqualityProof = case unsafeEqualityProof @a @b of UnsafeRefl -> UnsafeRefl unsafeCoerce :: forall (a :: Type) (b :: Type) . a -> b unsafeCoerce x = case unsafeEqualityProof @a @b of UnsafeRefl -> x -unsafeCoerceUnlifted :: forall (a :: TYPE ('BoxedRep 'Unlifted)) (b :: TYPE ('BoxedRep 'Unlifted)) . a -> b +unsafeCoerceUnlifted :: forall (a :: TYPE 'UnliftedRep) (b :: TYPE 'UnliftedRep) . a -> b -- Kind-homogeneous, but levity monomorphic (TYPE UnliftedRep) unsafeCoerceUnlifted x = case unsafeEqualityProof @a @b of UnsafeRefl -> x |