From 6fe09cca132bb46c6de46ceb32d6cc23f696a2f8 Mon Sep 17 00:00:00 2001
From: zfnmxt <zfnmxt@zfnmxt.com>
Date: Tue, 13 Jun 2023 21:25:33 -0400
Subject: [PATCH] Oops, restore this.

---
 src/Futhark/Internalise/Monad.hs | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/src/Futhark/Internalise/Monad.hs b/src/Futhark/Internalise/Monad.hs
index 60b0287840..aaee76241e 100644
--- a/src/Futhark/Internalise/Monad.hs
+++ b/src/Futhark/Internalise/Monad.hs
@@ -29,7 +29,6 @@ import Control.Monad.State
 import Data.Map.Strict qualified as M
 import Futhark.IR.SOACS
 import Futhark.MonadFreshNames
-import Futhark.SoP.Monad
 import Futhark.Tools
 
 type FunInfo =
@@ -62,14 +61,7 @@ data InternaliseState = InternaliseState
 
 newtype InternaliseM a
   = InternaliseM
-      ( BuilderT
-          SOACS
-          ( SoPMT
-              VName
-              (ReaderT InternaliseEnv (State InternaliseState))
-          )
-          a
-      )
+      (BuilderT SOACS (ReaderT InternaliseEnv (State InternaliseState)) a)
   deriving
     ( Functor,
       Applicative,
@@ -112,9 +104,7 @@ runInternaliseM ::
 runInternaliseM safe (InternaliseM m) =
   modifyNameSource $ \src ->
     let ((_, consts), s) =
-          runState
-            (runReaderT (evalSoPMT mempty (runBuilderT m mempty)) newEnv)
-            (newState src)
+          runState (runReaderT (runBuilderT m mempty) newEnv) (newState src)
      in ( (stateTypes s, consts, reverse $ stateFuns s),
           stateNameSource s
         )