remains to fix the buggy <=>

parent 5be82d41
......@@ -629,19 +629,16 @@
(syntax-rules ()
((_ wc X Y)
(<=>q wc (gp-unify! +) X Y))))
(log-code-macro '<=>)
(define-guile-log <r=>
(syntax-rules ()
((_ wc X Y)
(<=>q wc (gp-unify-raw! ++) X Y))))
(log-code-macro '<r=>)
(define-guile-log <==>
(syntax-rules ()
((_ wc X Y)
(<=>q wc (gp-m-unify! -) X Y))))
(log-code-macro '<==>)
(define-guile-log <unify>
(syntax-rules ()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment