Skip to content

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.

Edited by Thomas Miedema
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information