I'm under the impression that they want to export names qualified, but qualification only happens on import. If you export names from an imported module, they will appear to be from the imported module, not the original. On Wed, Nov 18, 2020, 11:32 Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Wed, 18 Nov 2020, Immanuel Litzroth wrote:
You mean this? #+BEGIN_SRC haskell :tangle T1.hs module T1 where import Data.Map as Map #+END_SRC
that doesn't seem to do it: #+BEGIN_EXAMPLE λ⊢ :show modules T1 λ⊢ :show imports import T1 -- added automatically import Prelude -- implicit λ⊢ fromList
<interactive>:143:1-8: error: Variable not in scope: fromList λ⊢ Map.fromList
<interactive>:144:1-12: error: Not in scope: ‘Map.fromList’ No module named ‘Map’ is imported. λ⊢ Data.Map.FromList
Hm. Was the module compiled? You can only benefit from imports, if the module is interpreted._______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.