Many new validate failures, "Synonym in TyConAppCo"-related

[Herbert Valerio Riedel]

On 2014-05-13 at 16:16:12 +0200, Joachim Breitner wrote:

[...]

>         commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba
>         Author: Simon Peyton Jones <simonpj at microsoft.com>
>         Date:   Tue May 13 13:15:45 2014 +0100
>         
>             Lint should check that TyConAppCo doesn't have a synonym in the tycon position
>         
>             That is why Lint didn't nail Trac #9102

Fyi, this commit actually already breaks an ordinary './validate' run with

,----
| "inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -H32m -O -Werror -Wall -H64m -O0    -package-name hoopl-3.10.0.1 -hide-all-packages -i -ilibraries/hoopl/src -ilibraries/hoopl/dist-install/build -ilibraries/hoopl/dist-install/build/autogen -Ilibraries/hoopl/dist-install/build -Ilibraries/hoopl/dist-install/build/autogen -Ilibraries/hoopl/.    -optP-include -optPlibraries/hoopl/dist-install/build/autogen/cabal_macros.h -package base-4.7.1.0 -package containers-0.5.5.1 -Wall -fno-warn-name-shadowing -XHaskell2010 -O2 -O -dcore-lint -fno-warn-deprecated-flags  -no-user-package-db -rtsopts      -odir libraries/hoopl/dist-install/build -hidir libraries/hoopl/dist-install/build -stubdir libraries/hoopl/dist-install/build  -dynamic-too -c libraries/hoopl/src/Compiler/Hoopl/Block.hs -o libraries/hoopl/dist-install/build/Compiler/Hoopl/Block.o -dyno libraries/hoopl/dist-install/build/Compiler/Hoopl/Block.dyn_o
| *** Core Lint errors : in result of Desugar (after optimization) ***
| <no location info>: Warning:
|     In a case alternative: (Compiler.Hoopl.Block.BlockCO dt_d26X :: e_a16G
|                                                                     GHC.Prim.~# Compiler.Hoopl.Block.C,
|                                                          dt_d26Y :: x_a16H
|                                                                     GHC.Prim.~# Compiler.Hoopl.Block.O,
|                                                          f_aJQ :: n_aSy Compiler.Hoopl.Block.C Compiler.Hoopl.Block.O,
|                                                          b_aJR :: Compiler.Hoopl.Block.Block
|                                                                     n_aSy
|                                                                     Compiler.Hoopl.Block.O
|                                                                     Compiler.Hoopl.Block.O)
|     Synonym in TyConAppCo: (Compiler.Hoopl.Block.IndexedCO
|                               (Sym dt_d26Y) <a_aSz>_N <b_aSA>_N)_R
| *** Offending Program ***
| Compiler.Hoopl.Block.backBiasBlock
|   :: forall (n_asZ :: * -> * -> *) e_at0 x_at1.
|      Compiler.Hoopl.Block.Block n_asZ e_at0 x_at1
|      -> Compiler.Hoopl.Block.Block n_asZ e_at0 x_at1
| [...many lines of output follow...]
`----