Re: Scoping bug in module system implementation

2007-02-12 Thread Ross Paterson
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"

Scoping bug in module system implementation

2007-02-11 Thread Iavor Diatchki
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" refer