• 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
    613d7455
THNames.hs 44.8 KB