• Ryan Scott's avatar
    Template Haskell support for unboxed sums · 613d7455
    Ryan Scott authored
    This adds new constructors `UnboxedSumE`, `UnboxedSumT`, and
    `UnboxedSumP` to represent unboxed sums in Template Haskell.
    One thing you can't currently do is, e.g., `reify ''(#||#)`, since I
    don't believe unboxed sum type/data constructors can be written in
    prefix form.  I will look at fixing that as part of #12514.
    Fixes #12478.
    Test Plan: make test TEST=T12478_{1,2,3}
    Reviewers: osa1, goldfire, austin, bgamari
    Reviewed By: goldfire, bgamari
    Subscribers: thomie
    Differential Revision: https://phabricator.haskell.org/D2448
    GHC Trac Issues: #12478
Lib.hs 25.2 KB