patch applied (ghc): Fix checkHiBootIface for instances declared in hs-boot files

Simon Peyton Jones simonpj at microsoft.com
Wed Mar 21 10:08:36 EDT 2007


Wed Mar 21 07:04:24 PDT 2007  simonpj at microsoft.com
  * Fix checkHiBootIface for instances declared in hs-boot files
  
  Hs-boot files can contain instance declarations, but Duncan used this feature
  for the first time today, and it didn't quite work.  I'm not sure whether
  it worked before; anyway it does now.
  
  The point is that the hs-boot file advertises an instance for, say, Num Int,
  with the arbitrary name $fx1.  The main module declares Num Int, and gives
  it the name, say, $f3.  So we need to generate a declaration
  	$fx1 = $f3
  to make it all line up.  And (this is the bit that was wrong) we need
  to make that new binding visible to imported unfoldings that mention
  $fx1.
  

    M ./compiler/typecheck/TcRnDriver.lhs -7 +17



More information about the Cvs-ghc mailing list