On Thu, Dec 6, 2012 at 6:06 AM, Simon Peyton-Jones <simo...@microsoft.com> wrote: > Johan > > Yes broadly that looks like the right kind of thing. > > I think it'd be better to look more like "can_unbox". So first check for a > product tycon (ie one data constructor), then deal with newtypes, and *then* > do something different, namely check whether the (single) data con has zero > or one fields, and recurse. > > Since it's all flag-controlled you could push and I can subsequently edit
I did some cleaning to the best of my ability and pushed the result as http://hackage.haskell.org/trac/ghc/changeset/566920c77bce252d807e9a7cc3da862e5817d340 Feel free to edit to your hearts content. I also added a should_compile to the test suite. Cheers, Johan _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc