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

[Johannes Waldmann]

Simon Peyton-Jones wrote:

> Indeed.  Requiring the import clauses to be at the top, and the fixity
> declarations, makes them easy to find -- but we don't require that for
> type signatures or class declarations etc.  It'd be more consistent to
> allow imports and fixity declarations anywhere. 

The point is to have a notation that brings identifiers
fom a different module into scope *locally* (in a let/where block).

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

Best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------