[GHC] #9404: tcInferRho muddies the waters

[GHC]

#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