import/hiding/re-export bug

Malcolm Wallace (malcolm-nhc@cs.york.ac.uk)
Thu, 22 Mar 2001 19:01:53 +0000

• Next message: Mark Carroll: "Concurrency"
• Previous message: Malcolm Wallace: "hmake -cpp bug"

A fix for the import/hiding/re-export bug reported by Ralf Hinze
is now checked into CVS.  For those who want to patch a standard
release, a patch is appended.

Regards,
    Malcolm


diff -u -r 1.7 src/compiler98/PreImport.hs
--- src/compiler98/PreImport.hs        2000/06/27 18:19:40     1.7
+++ src/compiler98/PreImport.hs        2001/03/22 18:34:28     1.8
@@ -344,7 +344,14 @@
   (needFun,expFun) =
        case lookupAT expAT (vt,Modid) of
           Just _ -> (needFun1, expFun1)
-          Nothing -> (needFun2, expFun2 rps expAT)
+          Nothing -> (needFun2, expFun2Hide rps expAT)
+
+  expFun2Hide :: PackedString -> AssocTree (TokenId,IdKind) IE 
+              -> Bool -> Bool -> TokenId -> IdKind -> IE
+  expFun2Hide rps expAT v q tid kind =
+      case lookupM hideT (dropM tid) of
+        Just _  -> IEnone
+        Nothing -> expFun2 rps expAT v q tid kind

   needFun1 (orps,rps,needI) (n:ns) = 
        isNothing (lookupM hideT (dropM n))       -- not hidden (all identifiers used because M.. in export)

• Next message: Mark Carroll: "Concurrency"
• Previous message: Malcolm Wallace: "hmake -cpp bug"