#15226: GHC doesn't know that seq# produces something in WHNF -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4789 Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * status: new => patch * differential: => Phab:D4789 Comment: I've submitted a differential to change `evaluate` to work around the problem, but I don't like it very much. I'd love to have a primitive type of kind `Type -> TYPE UnliftedRep` that only holds things in WHNF; then we could make the primop return something of that type. But we don't have such a beast right now. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15226#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler