diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-04-17 08:07:52 -0700 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-18 22:52:25 -0400 |
| commit | 57cf113302eee6068a1b10cba348f4b7de7faeae (patch) | |
| tree | 3542f990a72d4f3f8bbdd8965e6b2a82d5ea9d75 /compiler/codeGen | |
| parent | 5988f17a799ba3416bb6ed539ae65e1f3fd9f2c0 (diff) | |
| download | haskell-57cf113302eee6068a1b10cba348f4b7de7faeae.tar.gz | |
TH: make `Lift` and `TExp` levity-polymorphic
Besides the obvious benefits of being able to manipulate `TExp`'s of
unboxed types, this also simplified `-XDeriveLift` all while making
it more capable.
* `ghc-prim` is explicitly depended upon by `template-haskell`
* The following TH things are parametrized over `RuntimeRep`:
- `TExp(..)`
- `unTypeQ`
- `unsafeTExpCoerce`
- `Lift(..)`
* The following instances have been added to `Lift`:
- `Int#`, `Word#`, `Float#`, `Double#`, `Char#`, `Addr#`
- unboxed tuples of lifted types up to arity 7
- unboxed sums of lifted types up to arity 7
Ideally we would have levity-polymorphic _instances_ of unboxed
tuples and sums.
* The code generated by `-XDeriveLift` uses expression quotes
instead of generating large amounts of TH code and having
special hard-coded cases for some unboxed types.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions