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

Johannes Waldmann waldmann at
Mon Jan 30 04:13:36 EST 2006

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 --
---- -------

More information about the Haskell-prime mailing list