Scoping bug in module system implementation
Hello, Consider the following two modules:
module A where x = True
module B where import A x = 'a' test = let x = "" in x
Upon loading "B", Hugs (Sept 2006) erroneously reports: Ambiguous variable occurrence "x" *** Could refer to: B.x A.x The variable "x" in the definition of "test" refers to the locally defined "x", and not the top-level name, so there is no ambiguity. -Iavor
On Sun, Feb 11, 2007 at 07:30:12PM -0800, Iavor Diatchki wrote:
Consider the following two modules:
module A where x = True
module B where import A x = 'a' test = let x = "" in x
Upon loading "B", Hugs (Sept 2006) erroneously reports: Ambiguous variable occurrence "x" *** Could refer to: B.x A.x
Thanks for the neat report. This is nor fixed in CVS. BTW, feel free to use the bug tracker.
participants (2)
-
Iavor Diatchki -
Ross Paterson