Re: module system/namespaces: separate with/use, allow local "use"

Am Montag, 30. Januar 2006 10:13 schrieb Johannes Waldmann:

[...]

I am not sure what a local fixity declaration would mean for an operator that is defined in some outer scope.

I think, it should be handled the same way a local type declaration for a variable that is defined in some outer scope is handled, i.e., it should be disallowed. Best wishes, Wolfgang