[GHC] #10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds

[GHC]

#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