module system/namespaces: separate with/use, allow local "use"
waldmann at imn.htwk-leipzig.de
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.
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------
More information about the Haskell-prime