From 2f07d890433bebedc136037ad9cce2eed25b0437 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Wed, 14 Dec 2022 22:56:47 +0100 Subject: 10h vacuum cleaner sound --- app/Frontend.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'app/Frontend.hs') diff --git a/app/Frontend.hs b/app/Frontend.hs index 8f908ef..d4c3dbd 100644 --- a/app/Frontend.hs +++ b/app/Frontend.hs @@ -8,7 +8,7 @@ import Control.Monad.Trans.Class (lift) import Control.Monad.Trans.State.Lazy (evalStateT, gets) import Data.Foldable (traverse_) import qualified Data.Map as M -import Env (PrlgEnv, findAtom, findStruct, withStrTable) +import Env (PrlgEnv, findAtom, withStrTable) import qualified IR import qualified Interpreter as I import qualified Parser as P @@ -55,9 +55,9 @@ interpret = (>> return True) . lex C.variablizePrlg underscore st $ C.desugarPrlg list prlgi) compile prlgv compile prlgv = do - commaId <- findStruct "," 2 + comma <- findAtom "," cut <- findAtom "!" - let code = C.seqGoals $ C.compileGoals commaId cut prlgv + let code = C.seqGoals $ C.compileGoals comma cut prlgv execute code execute code = do res <- I.prove code -- cgit v1.2.3