#9404: tcInferRho muddies the waters -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): I think you are right. Try giving `seq` that type, and removing the special case. (There would need to be a Note with the new type of course.) The situation with tcInfer etc is still not cool, but other things being equal simpler is definitely better. Maybe you can try these changes in HEAD, not just on nokinds? Thanks Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9404#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler