Add an IO effect, modeled as `{State World}` with a special `World` token.

The goal is to let us sequence effectful FFI calls, without worrying about
reordering and DCE, and then wrap the sequence in `unsafePerformIO` to expose it
as a pure function.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/dex.hs b/src/dex.hs
index 9c36c9ae..c0b73f6d 100644
--- a/src/dex.hs
+++ b/src/dex.hs
@@ -62,7 +62,7 @@ runMode evalMode preludeFile opts = do
       exportFunctions objPath exportedFuns env opts
 
 evalPrelude :: EvalConfig -> Maybe FilePath -> IO TopEnv
-evalPrelude opts fname = flip execStateT mempty $ do
+evalPrelude opts fname = flip execStateT initTopEnv $ do
   source <- case fname of
               Nothing   -> return $ preludeSource
               Just path -> liftIO $ readFile path