Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information