New coercion representation

[Ben Lippmeier]

On 12/05/2011, at 8:22 PM, Simon Peyton-Jones wrote:

> GHC hackers,
> 
> Finally!  I have committed the new representation for coercions!  This is a pretty big patch touching a lot of files. If you are working on anything that intersects the type checker, it'll affect you.


Looks good!

A minor point is that I just tried to validate this and I made the mistake of using my git gui to pull the changes from the GHC repo without running ./sync-all pull first.

Perhaps "sh validate" should also run "./sync-all pull" and "./sync-all get" first? Can anyone think of a reason not to? This has also bitten me in the past.

Cheers,
Ben.