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