Module system bug

Koen Claessen koen@cs.chalmers.se
Wed, 18 Oct 2000 16:12:37 +0200 (MET DST)


Hi,

(I know that Hugs does not claim to implement the whole
module system, but I consider the following a bug anyway.)

Consider the following 4 modules:

  module Top where
    import C
    main = print "koe"
  
  module C( module A, module B ) where
    import A hiding ( apa )
    import B hiding ( apa )

  module A where
    apa = "one"

  module B where
    apa = "two"

Hugs does not complain when loading C (and indeed it
shouldn't), but complains about importing C (conflict with
the function "apa") when loading Top.

This is the February 2000 version of Hugs running on SunOS.

/Koen.

--
Koen Claessen         http://www.cs.chalmers.se/~koen     
phone:+46-31-772 5424      mailto:koen@cs.chalmers.se
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden