Safe Haskell validate failure

[Simon Peyton-Jones]

|  > Or is the patch only in the upstream Cabal? In which case, it should be pulled
|  into the GHC repos before committing, no?  Else validate fails.
|  
|  No I learnt from my mistake last time (I hope so anyway!) and manually
|  sync'd our lagging Cabal with upstream after pushing the patch.

Aha!  So I didn't do that!  Ian, what's the protocol?  Should David push to the lagging GHC Cabal repo under circumstances like this?  If he manually syncs his own copy, he's going to succeed in validating while the rest of us fail.

Simon