diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-12-14 22:56:47 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-12-14 22:56:47 +0100 |
| commit | 2f07d890433bebedc136037ad9cce2eed25b0437 (patch) | |
| tree | 3c1bce09493565a4a1ae200a34d6e54f58fbe986 /app/Frontend.hs | |
| parent | 71992db7d0e51f87934f7d9c0cf9ddbd3a8d0300 (diff) | |
| download | prlg-2f07d890433bebedc136037ad9cce2eed25b0437.tar.gz prlg-2f07d890433bebedc136037ad9cce2eed25b0437.tar.bz2 | |
10h vacuum cleaner sound
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 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 |