patch applied (ghc): Fix Trac #2367: selectors for GADTs

[Simon Peyton Jones]

Mon Aug 11 05:35:26 PDT 2008  simonpj at microsoft.com
  * Fix Trac #2367: selectors for GADTs
  
  The generation of record selectors for GADTs and the like was
  pretty screwed up.  This patch fixes it.
  
  Note that Unify.refineType is now used only in the generation of
  record seletctors -- but it really does seem to be needed there.
  
  Thanks to Max for finding this bug.
  

    M ./compiler/basicTypes/MkId.lhs -19 +30
    M ./compiler/types/Unify.lhs -11 +8

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080811123526-1287e-1f4b06d0d8ee01a3b72017b1873b5c3d16c078cb.gz