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

On Wed, Jul 9, 2008 at 1:03 AM, wren ng thornton 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 http://www.eyrie.org/~zednenem/