4 Dec
2010
4 Dec
'10
11:50 a.m.
On Sat, Dec 04, 2010 at 03:44:33PM +1100, David Terei wrote:
There is also a branch now though at http://darcs.haskell.org/ghc-new-co-17Nov10/ which I'm not sure what it relates to, so check that out as well or wait for someone who knows for sure to respond.
This branch contains a refactoring of coercions and will be the basis for the work on automatic lifting of data types to the type level. It is currently guaranteed to be full of bugs; I wouldn't recommend trying to do anything with it. In any case it has nothing whatever to do with the codegen. -Brent