[GHC] #10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier
#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
#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 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | concurrent/conc034 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * Attachment "concurrent-conc034-core-lint-errors.txt" added. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10659 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
| concurrent/conc034
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema
#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 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | concurrent/conc034, | libraries/array/tests/array001 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * testcase: concurrent/conc034 => concurrent/conc034, libraries/array/tests/array001 Comment: 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10659#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.12.1 Component: Compiler | Version: 7.10.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | concurrent/conc034, | libraries/array/tests/array001 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 7.10.2 => 7.12.1 Comment: 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10659#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.12.1
Component: Compiler | Version: 7.10.2-rc1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
| concurrent/conc034,
| libraries/array/tests/array001
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.12.1 Component: Compiler | Version: 7.10.2-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | concurrent/conc034, | libraries/array/tests/array001 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Both crashes are fixed by this. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10659#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC