27 Feb
2003
27 Feb
'03
5:11 a.m.
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