[Git][ghc/ghc][wip/boxed-rep] Implement BoxedRep proposal

[Ben Gamari]

Ben Gamari pushed to branch wip/boxed-rep at Glasgow Haskell Compiler / GHC


Commits:
37733de6 by Andrew Martin at 2020-12-15T15:45:18-05:00
Implement BoxedRep proposal

This implements the BoxedRep proposal, refacoring the `RuntimeRep`
hierarchy from:

```haskell
data RuntimeRep = LiftedPtrRep | UnliftedPtrRep | ...
```

to

```haskell
data RuntimeRep = BoxedRep Levity | ...
data Levity = Lifted | Unlifted
```

Closes #17526.

- - - - -


30 changed files:

- compiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/Types.hs
- compiler/GHC/Builtin/Types.hs-boot
- compiler/GHC/Builtin/Types/Prim.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Iface/Type.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Instance/Typeable.hs
- compiler/GHC/Types/RepType.hs
- compiler/GHC/Utils/Binary.hs
- compiler/GHC/Utils/Binary/Typeable.hs
- docs/users_guide/9.2.1-notes.rst
- docs/users_guide/exts/levity_polymorphism.rst
- docs/users_guide/exts/typed_holes.rst
- libraries/base/Data/Typeable.hs
- libraries/base/Data/Typeable/Internal.hs
- libraries/base/GHC/Enum.hs
- libraries/base/GHC/Exts.hs
- libraries/base/GHC/Show.hs
- libraries/base/Unsafe/Coerce.hs
- libraries/base/tests/T11334a.hs
- libraries/base/tests/T11334a.stdout
- libraries/ghc-heap/GHC/Exts/Heap.hs
- libraries/ghc-heap/tests/ClosureSizeUtils.hs
- libraries/ghc-prim/GHC/Types.hs
- libraries/template-haskell/Language/Haskell/TH/Syntax.hs
- testsuite/tests/backpack/should_run/T13955.bkp
- testsuite/tests/dependent/should_compile/RaeJobTalk.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/37733de6e438749184458f541653db14969b45b4

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/37733de6e438749184458f541653db14969b45b4
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201215/7674089e/attachment.html>