a module system bug

Sigbjorn Finne sof@galois.com
Wed, 26 Feb 2003 13:11:36 -0800


Thanks, now fixed.

--sigbjorn

----- Original Message ----- 
From: "Iavor S. Diatchki" <diatchki@cse.ogi.edu>
To: "hugs-bugs" <hugs-bugs@haskell.org>
Sent: Wednesday, February 26, 2003 11:40
Subject: a module system bug


> 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
>