added variable scope events back in

calvis · Jan 4, 2014 · 8ab8564 · 8ab8564
1 parent f4dfe62
commit 8ab8564
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/cKanren/src/framework.rkt b/cKanren/src/framework.rkt
@@ -53,10 +53,9 @@
     [(_ constructor (x ...) g g* ...)
      (let ([x (constructor (gensym 'x))] ...)
        (conj 
-        ;; (send-event (enter-scope-event x)) ...
+        (send-event (enter-scope-event x)) ...
         g g* ...
-        ;; (send-event (leave-scope-event x)) ...
-        ))]))
+        (send-event (leave-scope-event x)) ...))]))
 
 ;; miniKanren's "fresh" defined in terms of fresh-aux over vars
 (define-syntax-rule (fresh (x ...) g g* ...)

diff --git a/cKanren/src/macros.rkt b/cKanren/src/macros.rkt
@@ -78,7 +78,7 @@
           name (constraint-exprs ...) (clauses ...)
           (a [s c e])))
      #'(extend-constraint-interactions
-        'name initfn)]))
+        initfn initfn)]))
 
 (begin-for-syntax
  (define-splicing-syntax-class reaction-keyword