On Wed, Jul 9, 2008 at 1:03 AM, wren ng thornton <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe