#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