From d9f5bcc0f957fbc148e3d58102d87e95859410e3 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sat, 14 Jan 2023 23:12:25 +0100
Subject: [PATCH] simplify uni of consts

---
 app/Interpreter.hs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/app/Interpreter.hs b/app/Interpreter.hs
index 774c13d..439418c 100644
--- a/app/Interpreter.hs
+++ b/app/Interpreter.hs
@@ -162,8 +162,6 @@ proveStep = St.get >>= go
                     FreeRef gr -> setHeap hr (HeapRef gr)
                     BoundRef addr _ -> setHeap hr (HeapRef addr)
                     _ -> ifail "dangling goal ref (from head ref)"
-            BoundRef _ atom@(Atom _) -> unify atom g
-            BoundRef _ number@(Number _) -> unify number g
             BoundRef addr struct@(Struct Id {arity = arity}) ->
               c
                 i
@@ -175,13 +173,12 @@ proveStep = St.get >>= go
                         , gol = U g : gs
                         }
                   }
+            BoundRef _ x -> unify x g
             _ -> ifail "dangling head ref"
         unify h (HeapRef gr') =
           case deref gr' of
             FreeRef gr ->
               case h of
-                atom@(Atom _) -> setHeap gr atom
-                number@(Number _) -> setHeap gr number
                 s@(Struct _) ->
                   withNewHeapStruct
                     gr
@@ -194,7 +191,7 @@ proveStep = St.get >>= go
                                cur
                                  {hed = hs, gol = map U ngs ++ gs, heap = nheap}
                            })
-            BoundRef _ atom@(Atom b) -> unify h atom
+                x -> setHeap gr x
             BoundRef addr struct@(Struct Id {arity = arity}) ->
               c
                 i
@@ -206,6 +203,7 @@ proveStep = St.get >>= go
                             [U (HeapRef $ addr + i) | i <- [1 .. arity]] ++ gs
                         }
                   }
+            BoundRef _ x -> unify h x
             _ -> ifail "dangling goal ref"
         unify _ _ = backtrack
     {- Resolution -}