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 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 |