Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier

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).

Trac metadata

Trac field	Value
Version	7.10.2-rc1
Type	Bug
TypeOfFailure	OtherFailure
Priority	highest
Resolution	Unresolved
Component	Compiler
Test case	concurrent/conc034
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

mentioned in issue #10546 (closed)

changed milestone to %7.10.2

changed weight to 10

added Tbug Trac import labels

Attached file concurrent-conc034-core-lint-errors.txt (download).

mentioned in commit 34bb4605

The test array001 in libraries/array/tests fails in the same way.

Curiously it also fails for WAY=hpc (which means '-O -fhpc'), while con034 doesn't.

Trac metadata

Trac field	Value
Test case	concurrent/conc034 → concurrent/conc034, libraries/array/tests/array001

removed milestone

We discussed this in the GHC call today. SPJ is working on a fix although isn't concerned that the issue found by Core lint jeopardizes real-world programs. Indeed the binary produced by compiling without -dcore-lint runs as expected.

Marked on ghc-7.10 as broken in dc771a80c2222e4843c71af09d78fef35fba9b06.

mentioned in commit 00f3187a

closed

Both crashes are fixed by this.

Simon

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

changed milestone to %8.0.1

Milestone renamed

added Phighest label