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
>