diff options
Diffstat (limited to 'app/Frontend.hs')
| -rw-r--r-- | app/Frontend.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |