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

[Wolfgang Jeltsch]

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