Mea culpa. I thought I'd validated but perhaps I got it wrong -- I was in a hurry because of catching a train.
Anyway, Christiaan is spot on... the Lint check should only be for genuine type synonyms, and isSynTyCon is misleadingly named. I'll add a patch for that shortly, and deal with the naming issue later.
Apologies
Simon
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Joachim
| Breitner
| Sent: 13 May 2014 15:16
| To: ghc-devs@haskell.org
| Subject: Many new validate failures, "Synonym in TyConAppCo"-related
|
| Hi,
|
| I suddenly get
|
| Unexpected failures:
| gadt T7294 [exit code non-0] (normal)
| indexed-types/should_compile GADT1 [exit code non-0] (normal)
| indexed-types/should_compile GADT11 [exit code non-0]
| (normal)
| indexed-types/should_compile GADT3 [exit code non-0] (normal)
| indexed-types/should_compile IndTypesPerf [bad exit code]
| (normal)
| indexed-types/should_compile NonLinearLHS [exit code non-0]
| (normal)
| indexed-types/should_compile Numerals [exit code non-0]
| (normal)
| indexed-types/should_compile Roman1 [exit code non-0]
| (normal)
| indexed-types/should_compile Simple9 [exit code non-0]
| (normal)
| indexed-types/should_compile T2219 [exit code non-0] (normal)
| indexed-types/should_compile T2627 [exit code non-0] (normal)
| indexed-types/should_compile T3484 [exit code non-0] (normal)
| indexed-types/should_compile T4935 [exit code non-0] (normal)
| indexed-types/should_compile T7585 [exit code non-0] (normal)
| indexed-types/should_fail T2664a [exit code non-0]
| (normal)
| polykinds PolyKinds10 [exit code non-0]
| (normal)
| polykinds PolyKinds12 [exit code non-0]
| (normal)
| polykinds T6002 [exit code non-0] (normal)
| simplCore/should_compile T5329 [exit code non-0] (normal)
| simplCore/should_run T5315 [exit code non-0] (optasm)
| typecheck/should_compile T5490 [exit code non-0] (normal)
| typecheck/should_compile T7196 [exit code non-0] (normal)
|
| after these three changes were pushed:
|
| Changes to ghc:
| commit 214ad2d24cda4aaef541df3e213d5c4845f95c71
| Author: Peter Trommler