Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds
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.