[GHC] #10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: gadt/termination | Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- See attachment for the result of running `make TEST=termination WAY=optasm TEST_HC=ghc-7.11.20150711`. It starts with: {{{ *** Core Lint errors : in result of Worker Wrapper binds *** <no location info>: warning: In a case alternative: (Equal ww_sRe :: Apply Omega Omega ~# t_asc) Non term variable ww_sRe *** Offending Program *** }}} The problem does not occur with ghc-7.10.1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | gadt/termination Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * Attachment "gadt-termination-core-lint-error.txt" added. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | gadt/termination Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Description changed by thomie: Old description:
See attachment for the result of running `make TEST=termination WAY=optasm TEST_HC=ghc-7.11.20150711`. It starts with:
{{{ *** Core Lint errors : in result of Worker Wrapper binds *** <no location info>: warning: In a case alternative: (Equal ww_sRe :: Apply Omega Omega ~# t_asc) Non term variable ww_sRe *** Offending Program *** }}}
The problem does not occur with ghc-7.10.1.
New description: See attachment for the result of running `make TEST=termination WAY=optasm TEST_HC=ghc-7.11.20150711`. It starts with: {{{ *** Core Lint errors : in result of Worker Wrapper binds *** <no location info>: warning: In a case alternative: (Equal ww_sRe :: Apply Omega Omega ~# t_asc) Non term variable ww_sRe *** Offending Program *** }}} The problem does not occur with ghc-7.10.1 or ghc-7.10.2-rc2. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | gadt/termination Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"43dafc93b201e193e83792d2461bf4e45805b5c3/ghc" 43dafc9/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="43dafc93b201e193e83792d2461bf4e45805b5c3" Testsuite: mark gadt/termination expect_broken_for(#10658, ['optasm','optllvm']) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | gadt/termination Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"8f48fdc8f97c1f6f59e12a703e380d27760810b1/ghc" 8f48fdc/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="8f48fdc8f97c1f6f59e12a703e380d27760810b1" Use varToCoreExpr in mkWWcpr_help Lacking this cuased Trac #10658. The fix is easy; it was a simple omission. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | gadt/termination Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC