[GHC] #10744: Allow oneShot to work with unboxed types

[GHC]

#10744: Allow oneShot to work with unboxed types
-------------------------------------+-------------------------------------
        Reporter:  akio              |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by nomeata):

 Hmm, I am not sure if this is a valid use of `oneShot` if you cannot
 guarantee that the Builder will be used only once, as GHC and the runtime
 (probably) relies on the annotation to be correct, and you might get
 crashes at runtime.

 If everything is inlined enough the existing arity analyses might be able
 to eta-expand `serialize`, but that’s probably not reliably enough.

 But nevertheless, the feature request is of course valid.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10744#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler