patch applied (ghc-6.6/ghc): Ensure that only zonked poly_ids are passed to tcSpecPrag

Ian Lynagh igloo at earth.li
Sun Sep 24 13:27:17 EDT 2006


Sun Sep 17 17:48:05 PDT 2006  simonpj at microsoft.com
  * Ensure that only zonked poly_ids are passed to tcSpecPrag
  
  This is a long-standing bug really (Trac #900).  The poly_id passed
  to tcSpecPrag should be zonked, else it calls tcSubExp with a non-zonked
  type; but that contradicts the latter's invariant.
  
  I ended up doing a bit of refactoring too.  The extra lines are 
  comments I think; the code line count is reduced.
  
  Test is tc212.hs
  

    M ./compiler/typecheck/TcBinds.lhs -23 +29
    M ./compiler/typecheck/TcHsSyn.lhs +1


More information about the Cvs-ghc mailing list