1 files changed, 4 insertions, 4 deletions
diff --git a/app/Frontend.hs b/app/Frontend.hs
index 1adf39b..0677889 100644
--- a/app/Frontend.hs
+++ b/app/Frontend.hs
@@ -1,7 +1,7 @@
 module Frontend where
 
 import Builtins
-import qualified Code
+import Code (Interp(..))
 import qualified Compiler as C
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
@@ -53,11 +53,11 @@ interpret = (>> return True) . lex
       compile prlgv
     compile prlgv = do
       commaId <- findStruct "," 2
+      -- TODO cut
       let code = C.seqGoals $ C.compileGoals commaId prlgv
       execute code
     execute code = do
-      ds <- gets defs
-      let (_, res) = I.prove code ds
+      res <- I.prove code
       case res of
         Left err -> liftIO $ putStrLn err
         Right res ->
@@ -87,4 +87,4 @@ interpreter :: InputT IO ()
 interpreter =
   evalStateT
     interpreterStart
-    (PrlgState {defs = M.empty, ops = [], strtable = IR.emptystrtable})
+    (Interp {defs = M.empty, ops = [], strtable = IR.emptystrtable, cur=error "no cur", cho=[]})