[GHC] #10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier

[GHC]

#10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier
-------------------------------------+-------------------------------------
              Reporter:  thomie      |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  highest     |         Milestone:  7.10.2
             Component:  Compiler    |           Version:  7.10.2-rc1
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
  concurrent/conc034                 |
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 This is a regression from 7.10.1 to 7.10.2-rc2.

 See attachment for the result of running `make TEST=conc034 WAY=optasm
 TEST_HC=ghc-7.10.1.20150715`. It starts with:
 {{{
 *** Core Lint errors : in result of Simplifier ***
 <no location info>: Warning:
     In the expression: seq
                          @ e10_a20g @ (# State# RealWorld, () #) e2_a20o
 (# eta_B1, () #)
     Kinds don't match in type application:
     Type variable: b_13 :: *
     Arg type: (# State# RealWorld, () #) :: #
     xx #
 *** Offending Program ***
 }}}

 ghc-7.10.1 is fine. Same problem with ghc-7.11.20150711 (HEAD).

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