Scoping bug in module system implementation

Ross Paterson ross at soi.city.ac.uk
Mon Feb 12 05:47:46 EST 2007


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.



More information about the Hugs-Bugs mailing list