New coercion representation
benl at ouroborus.net
Thu May 12 13:10:40 CEST 2011
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.
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.
More information about the Cvs-ghc