patch applied (ghc): Fix worker/wrapper ids for newtype instances
chak at cse.unsw.edu.au
chak at cse.unsw.edu.au
Fri Jun 8 02:28:04 EDT 2007
Thu Jun 7 23:10:46 PDT 2007 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* Fix worker/wrapper ids for newtype instances
- mkDataConIds forced an algebraic worker/wrapper on newtype instances (not
on vanilla newtypes). I am not sure where this came from (from code I
wrote or from the recent restructuring of MkIds), but its not the right
thing to do. In particular, it requires newtype instances to have con_info
labels in the generated code, which makes no sense.
- Worker construction for newtypes is smart enough that it will construct the
right signature for newtype instances (ie, one that mentions the family
type constructor, not the instance tycon).
M ./compiler/basicTypes/MkId.lhs -1
More information about the Cvs-ghc
mailing list