30 Jan
2006
30 Jan
'06
4:13 a.m.
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/ -------