[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:
c77ae1fb by Andrew Martin at 2020-11-11T20:30:29-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/Utils/Binary.hs
- compiler/GHC/Utils/Binary/Typeable.hs
- 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/binary
- 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
- testsuite/tests/dependent/should_fail/T17131.stderr
- testsuite/tests/deriving/should_compile/T13154b.hs
- testsuite/tests/deriving/should_fail/T12512.hs


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c77ae1fbbe58614409765fb5f40f82a364dfc9c0
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/20201111/271ddab3/attachment-0001.html>