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

unification flags behave like flags

Browse source
This commit is contained in:
Mirek Kratochvil 2023-02-26 22:17:38 +01:00
parent 0092723895
commit 1521c628a0
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
app/Interpreter.hs
View file

@ -242,10 +242,12 @@ unify (Number a) (Number b)
unify (Struct a) VoidRef = do unify (Struct a) VoidRef = do
uNext uNext
cur . gol %= (replicate (arity a) (U VoidRef) ++) cur . gol %= (replicate (arity a) (U VoidRef) ++)
cur . unis += arity a
continue continue
unify VoidRef (Struct a) = do unify VoidRef (Struct a) = do
uNext uNext
cur . hed %= (replicate (arity a) (U VoidRef) ++) cur . hed %= (replicate (arity a) (U VoidRef) ++)
cur . unis += arity a
continue continue
unify (Struct a) (Struct b) unify (Struct a) (Struct b)
| a == b = do | a == b = do