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

Wolfgang Jeltsch wolfgang at
Mon Jan 30 08:52:12 EST 2006

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 

Best wishes,

More information about the Haskell-prime mailing list