Revert "Define exports."

This reverts commit 3394949.

Author: robrix

semantic-analysis/src/Analysis/Analysis/Exception.hs

@@ -93,7 +93,6 @@ runFile eval = traverse run where
         imports = Set.fromList (map extractImport msgs)
     pure (Module (const set) imports exports (freeVariables set))
   extractImport (A.Import components) = name (Text.intercalate (Text.pack ".") (Foldable.toList components))
-  extractImport (A.Export component)  = name component
 
 newtype ExcC m a = ExcC { runExcC :: m a }
   deriving (Alternative, Applicative, Functor, Monad)

semantic-analysis/src/Analysis/Carrier/Statement/State.hs

@@ -14,7 +14,7 @@ module Analysis.Carrier.Statement.State
 , module Analysis.Effect.Statement
 ) where
 
-import           Analysis.Effect.Statement hiding (Export, Import)
+import           Analysis.Effect.Statement hiding (Import)
 import qualified Analysis.Effect.Statement as S
 import           Control.Algebra
 import           Control.Carrier.State.Church
@@ -26,7 +26,6 @@ import           Data.Text (Text)
 
 data Message
   = Import (NonEmpty Text)
-  | Export Text
   deriving (Eq, Ord, Show)
 
 
@@ -41,5 +40,4 @@ newtype StatementC m a = StatementC { runStatementC :: StateC [Message] m a }
 instance Algebra sig m => Algebra (S.Statement :+: sig) (StatementC m) where
   alg hdl sig ctx = case sig of
     L (S.Import ns) -> StatementC ((<$ ctx) <$> modify (Import ns:))
-    L (S.Export n)  -> StatementC ((<$ ctx) <$> modify (Export n:))
     R other         -> StatementC (alg (runStatementC . hdl) (R other) ctx)

semantic-analysis/src/Analysis/Effect/Statement.hs

@@ -3,7 +3,6 @@
 module Analysis.Effect.Statement
 ( -- * Statement effect
   simport
-, sexport
 , Statement(..)
 ) where
 
@@ -17,9 +16,5 @@ import Data.Text
 simport :: Has Statement sig m => NonEmpty Text -> m ()
 simport ns = send (Import ns)
 
-sexport :: Has Statement sig m => Text -> m ()
-sexport n = send (Export n)
-
 data Statement (m :: K.Type -> K.Type) k where
   Import :: NonEmpty Text -> Statement m ()
-  Export :: Text -> Statement m ()

semantic-analysis/src/Analysis/Syntax.hs

@@ -98,7 +98,6 @@ evalModule :: (Has (Env addr) sig m, HasLabelled Store (Store addr val) sig m, H
 evalModule f i = S.runStatement mk (eval f i) where
   mk msgs b = pure (Module (const b) (Set.fromList (map formatImport msgs)) mempty mempty)
   formatImport (S.Import cs) = name (Text.intercalate (pack ".") (toList cs))
-  formatImport (S.Export c)  = name c
 
 
 -- Macro-expressible syntax