a module system bug

26 Feb 2003

      hello,

here is another module system bug:

module A where
   data A = K

module B where
   import A

   data B = K

   f K = 'k'

Hugs should report that the use of "K" in the definition of "f" is 
ambiguous (as it may refer to the "K" defined in either A or B).
Instead, it infers the type "B -> Char" for "f", so it looks like the 
local constructor shadows the imported one.

bye
iavor

-- 
==================================================
| Iavor S. Diatchki, Ph.D. student               |
| Department of Computer Science and Engineering |
| School of OGI at OHSU                          |
| http://www.cse.ogi.edu/~diatchki               |
==================================================