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