import qualified F_ (a)

[S.D.Mechveliani]

Hugs98-March99  
treats wrongly the modularity in the following example.

--------------------------------------------
module F_ (f,g) where {f = 'f'; g = 'g'}

module F (h)
where
import qualified F_ (a)

h = F_.g
--------------------------------------------


* It does not notice that `a' is not in F_ export.

* After changing to  `import ()',  `import qualified ()'
  Hugs still imports g from F_ to F and considers h as defined.


------------------
Sergey Mechveliani
[EMAIL PROTECTED]