[GHC] #8107: need types to express constant argument for primop correctness

[GHC]

#8107: need types to express constant argument  for primop correctness
-------------------------------------+------------------------------------
        Reporter:  carter            |            Owner:
            Type:  bug               |           Status:  closed
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:  invalid           |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------
Changes (by carter):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 after thinking about it more, and catching up on sleep, this seems to be
 "solved" mostly by the typed template haskell work that will be landing in
 7.8. (not perfectly, be nicely enough for now I think)

 closing this accordingly.

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