Fix worker/wrapper ids for newtype instances
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 8 Jun 2007 06:10:46 +0000 (06:10 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 8 Jun 2007 06:10:46 +0000 (06:10 +0000)
commitef0ef4cc41c978c8adda6fb840258f294d72dc87
treea0a20360a693095894d3dd1331264dcb2fe3f65b
parent39dca31567349eb77b2d11a037dd09aae5a0630d
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).
compiler/basicTypes/MkId.lhs