From 6f123999e01fc1c26742f4c9f575b392693d2847 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Wed, 16 Nov 2022 15:17:10 +0100 Subject: compile cuts --- 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 38ad353..fc57efc 100644 --- a/app/Frontend.hs +++ b/app/Frontend.hs @@ -53,8 +53,8 @@ interpret = (>> return True) . lex compile prlgv compile prlgv = do commaId <- findStruct "," 2 - -- TODO cut - let code = C.seqGoals $ C.compileGoals commaId prlgv + cut <- findAtom "!" + let code = C.seqGoals $ C.compileGoals commaId cut prlgv execute code execute code = do res <- I.prove code @@ -73,7 +73,7 @@ interpreterStart = do interpreterLoop :: PrlgEnv () interpreterLoop = do - minput <- lift $ getInputLine "π> " + minput <- lift $ getInputLine "prlg> " case minput of Nothing -> return () Just input -> do -- cgit v1.2.3