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