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
<interactive>:145:1-17: error:
Not in scope: data constructor ‘Data.Map.FromList’
No module named ‘Data.Map’ is imported.
λ⊢
#+END_EXAMPLE
On Wed, Nov 18, 2020 at 4:14 PM Henning Thielemann
On Wed, 18 Nov 2020, Immanuel Litzroth wrote:
I'm trying to make a test module to run tests. I want to import the test functionality + imported functionality in the scope of the test module under ghci. I also want to have short names in the Test module for reexported modules. I am using Data.Map and Data.Set ... so lot's of conflicting exports. Is this possible?
#+BEGIN_SRC haskell :tangle T1.hs module T1 ( module Data.Map) where import qualified Data.Map #+END_SRC
Maybe omit the export list?
-- -- Researching the dual problem of finding the function that has a given point as fixpoint.