[Haskell-cafe] Qualified import syntax badly designed (?)

[David Menendez]

On Wed, Jul 9, 2008 at 1:03 AM, wren ng thornton <wren at freegeek.org> wrote:
> What I would like to see is the ability to do (1) module renaming, (2)
> qualified import, (3) unqualified import, and (4) hiding all in a single
> declaration with a regular syntax. For example:
>
>    import Data.Map as Map
>        unqualified (Map, (\\))
>        qualified   (lookup, map, null)
>        hiding      (filter)

I've often thought it would be for Haskell to steal Agda's module
syntax. It does pretty much everything you want (plus some other stuff
we maybe don't need) and the various things it does fit together
logically.

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>