Re: a module system bug

Thanks, now fixed.

--sigbjorn

----- Original Message ----- 
From: "Iavor S. Diatchki" <[email protected]>
To: "hugs-bugs" <[email protected]>
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
>