
Dear GHC developers, Please, how to re-export (qualified) Data.Set, Data.Map ? In ghc-6.2.2, I used only ------------------------------------------- {-# OPTIONS -fno-warn-duplicate-exports #-} module Reexport (module Data.Set, ...) ... import Data.Set ------------------- module Main import Reexport ------------------------------------------ For ghc-6.4, I need qualified import of Data.Set, Data.Map and need to re-export it. I am trying --------------------------------------------------------------------- module Reexport (module Set, f, g) where import qualified Data.Set as Set f :: Bool f = True g :: Set.Set Bool g = Set.singleton f -------------------------- module Main import Reexport main = putStr $ shows v "\n" where v = Set.singleton f -- g --------------------------------------------------------------------- Now, v = g works. And v = Set.singleton f reports Main.hs:3:40: Not in scope: `Set.singleton' I wonder, how the needed thing can be arranged. With kind regards, ----------------- Serge Mechveliani mechvel@botik.ru

On Mon, 2005-06-06 at 15:18 +0400, Serge D. Mechveliani wrote:
Dear GHC developers,
Please, how to re-export (qualified) Data.Set, Data.Map ?
[snip]
For ghc-6.4, I need qualified import of Data.Set, Data.Map and need to re-export it. I am trying
[snip]
I wonder, how the needed thing can be arranged.
It is not currently possible for modules to export qualified names, only for importing modules to add a qualifier to the names they are importing. Some proposals were made on the libraries mailing list to allow qualified export. There was a vauge concensus that such a feature might be useful and the discussion is waiting for someone to sumarise the discussions and make a concrete written proposal (in fact I'm one of the people who ought by now to have had a go at writing something up). Duncan
participants (2)
-
Duncan Coutts
-
Serge D. Mechveliani