diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-16 15:17:10 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-16 15:17:10 +0100 |
| commit | 6f123999e01fc1c26742f4c9f575b392693d2847 (patch) | |
| tree | ec84f2027888213ca91533538c93599690bf800a /app/Frontend.hs | |
| parent | e86aa4faadc79cb5366d3eaeb8970d33b980d6d3 (diff) | |
| download | prlg-6f123999e01fc1c26742f4c9f575b392693d2847.tar.gz prlg-6f123999e01fc1c26742f4c9f575b392693d2847.tar.bz2 | |
compile cuts
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 |