<div dir="auto">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 18, 2020, 11:32 Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Wed, 18 Nov 2020, Immanuel Litzroth wrote:<br>
<br>
> You mean this?<br>
> #+BEGIN_SRC haskell :tangle T1.hs<br>
> module T1 where<br>
> import Data.Map as Map<br>
> #+END_SRC<br>
><br>
> that doesn't seem to do it:<br>
> #+BEGIN_EXAMPLE<br>
> λ⊢ :show modules<br>
> T1<br>
> λ⊢ :show imports<br>
> import T1 -- added automatically<br>
> import Prelude -- implicit<br>
> λ⊢ fromList<br>
><br>
> <interactive>:143:1-8: error: Variable not in scope: fromList<br>
> λ⊢ Map.fromList<br>
><br>
> <interactive>:144:1-12: error:<br>
>    Not in scope: ‘Map.fromList’<br>
>    No module named ‘Map’ is imported.<br>
> λ⊢ Data.Map.FromList<br>
<br>
<br>
Hm. Was the module compiled? You can only benefit from imports, if the <br>
module is interpreted._______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>