• Ryan Scott's avatar
    Introduce unboxedSum{Data,Type}Name to template-haskell · b5d788aa
    Ryan Scott authored
    Summary:
    In D2448 (which introduced Template Haskell support for unboxed
    sums), I neglected to add `unboxedSumDataName` and `unboxedSumTypeName`
    functions, since there wasn't any way you could write unboxed sum data or type
    constructors in prefix form to begin with (see #12514). But even if you can't
    write these `Name`s directly in source code, it would still be nice to be able
    to use these `Name`s in Template Haskell (for instance, to be able to treat
    unboxed sum type constructors like any other type constructors).
    
    Along the way, this uncovered a minor bug in `isBuiltInOcc_maybe` in
    `TysWiredIn`, which was calculating the arity of unboxed sum data constructors
    incorrectly.
    
    Test Plan: make test TEST=T12478_5
    
    Reviewers: osa1, goldfire, austin, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2854
    
    GHC Trac Issues: #12478, #12514
    b5d788aa
TH.hs 3.38 KB