Validate on master broken.

Alec Theriault alec.theriault at
Thu Nov 15 21:41:06 UTC 2018

Thanks for noticing!

I’m fixing this right now. The changes needed are really quite mundane…


> On Nov 15, 2018, at 1:28 PM, Andreas Klebinger <klebinger.andreas at> wrote:
> Hello Devs,
> it seems Simons patch "Smarter HsType pretty-print for promoted datacons" broke ./validate.
>> I discovered that there were two copies of the PromotionFlag
>>    type (a boolean, with helpfully named data cons), one in
>>    IfaceType and one in HsType.  So I combined into one,
>>    PromotionFlag, and moved it to BasicTypes. 
> In particular haddock seems to have depended on the changed constructors.
> If anyone with access and knowledge of haddock could fix  this I would be grateful.
> Cheers
> Andreas
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list