exa/prlg
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

error errs

Browse source
This commit is contained in:
Mirek Kratochvil 2023-02-08 21:30:20 +01:00
parent de739194d4
commit 4aa8b6d129
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
app/Interpreter.hs
View file

@ -22,7 +22,7 @@ import Env (PrlgEnv)
--import Data.Function --import Data.Function
import qualified Data.Map as M import qualified Data.Map as M
import IR (Id(..)) import IR (Id(..), StrTable(..))
prove :: Code -> PrlgEnv (Either String Bool) prove :: Code -> PrlgEnv (Either String Bool)
prove g = do prove g = do
@ -74,7 +74,10 @@ proveStep = St.get >>= go
d <- St.gets defs d <- St.gets defs
case d M.!? fn of case d M.!? fn of
Just d -> cont d Just d -> cont d
_ -> ifail $ "no definition: " ++ show fn _ -> do
StrTable _ _ itos <- St.gets strtable
ifail $
"no definition: " ++ (itos M.! str fn) ++ "/" ++ show (arity fn)
{- Unification -} {- Unification -}
go i@Interp {cur = cur@Cho {hed = U h:hs, gol = U g:gs, heap = heap}} = go i@Interp {cur = cur@Cho {hed = U h:hs, gol = U g:gs, heap = heap}} =
unify h g unify h g