diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 22:17:38 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 22:17:38 +0100 |
| commit | 1521c628a07a74860fd87512d1dbd5131124ee2d (patch) | |
| tree | c9f0ecc71b42ec92b0f2ea16d3e566f64deff221 /app | |
| parent | 0092723895da4136a68f71f34a816b33586d9ccb (diff) | |
| download | prlg-1521c628a07a74860fd87512d1dbd5131124ee2d.tar.gz prlg-1521c628a07a74860fd87512d1dbd5131124ee2d.tar.bz2 | |
unification flags behave like flags
Diffstat (limited to 'app')
| -rw-r--r-- | app/Interpreter.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/Interpreter.hs b/app/Interpreter.hs index 0107bf5..5d1e2ab 100644 --- a/app/Interpreter.hs +++ b/app/Interpreter.hs @@ -242,10 +242,12 @@ unify (Number a) (Number b) unify (Struct a) VoidRef = do uNext cur . gol %= (replicate (arity a) (U VoidRef) ++) + cur . unis += arity a continue unify VoidRef (Struct a) = do uNext cur . hed %= (replicate (arity a) (U VoidRef) ++) + cur . unis += arity a continue unify (Struct a) (Struct b) | a == b = do |