[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 <thomasmiedema@…>): In [changeset:"34bb4605d4ec5b131df57ca4c91d6840b7539194/ghc" 34bb4605/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="34bb4605d4ec5b131df57ca4c91d6840b7539194" Testsuite: mark array001 and conc034 expect_broken_for(#10659, ['optasm',...]) Update submodule array. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10659#comment:1> 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, | 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 <simonpj@…>): In [changeset:"00f3187a615813b5dbc870f0477124c9cf76c9f2/ghc" 00f3187/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="00f3187a615813b5dbc870f0477124c9cf76c9f2" Make seq-of-cast rule generate a case Previously it generated another call to seq, which triggered a lint failure (Trac #10659) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10659#comment:4> 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: 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