From f94d548eb5ea2db036a7689ca5dfaeac24da0e06 Mon Sep 17 00:00:00 2001
From: Omar Rizwan <omar@omar.website>
Date: Mon, 27 Feb 2023 06:42:09 -0500
Subject: Fix claimizing with join reactions; basic test works now

---
 main.tcl       | 30 +++++++++++++++++++++---------
 test/joins.tcl |  6 ++++--
 2 files changed, 25 insertions(+), 11 deletions(-)

diff --git a/main.tcl b/main.tcl
index ffd8903e..9d9a2526 100644
--- a/main.tcl
+++ b/main.tcl
@@ -320,18 +320,19 @@ namespace eval Evaluator {
         dict unset reactionPatternsOfReactingId $reactingId
     }
 
-    proc reactToStatementAdditionThatMatchesWhen {whenId whenPattern otherWhenPatterns statementId} {
+    proc reactToStatementAdditionThatMatchesWhen {whenId whenPattern otherWhenPatterns
+                                                  statementId statementClause} {
         if {![Statements::exists $whenId]} {
             removeAllReactions $whenId
             return
         }
         set when [Statements::get $whenId]
-        set stmt [Statements::get $statementId]
 
         set bindings [statement unify \
                           $whenPattern \
-                          [statement clause $stmt]]
+                          $statementClause]
         if {$bindings eq false} { return }
+        dict set bindings __matcheeIds [list $statementId]
 
         set matches [Statements::findMatchesJoining \
                          $otherWhenPatterns \
@@ -385,7 +386,7 @@ namespace eval Evaluator {
         dict set env $matchesVar $matches
         tryRunInSerializedEnvironment $body $env
     }
-    proc reactToStatementAdditionThatMatchesCollect {collectId collectPattern statementId} {
+    proc reactToStatementAdditionThatMatchesCollect {collectId collectPattern statementId statementClause} {
         variable log
         lappend log [list Recollect $collectId]
     }
@@ -428,7 +429,14 @@ namespace eval Evaluator {
                     # matching statements.
                     set alreadyMatchingStatements [trie lookup $Statements::statementClauseToId $pattern]
                     foreach alreadyMatchingId $alreadyMatchingStatements {
-                        reactToStatementAdditionThatMatchesWhen $id $pattern $otherPatterns $alreadyMatchingId
+                        reactToStatementAdditionThatMatchesWhen $id $pattern $otherPatterns \
+                            $alreadyMatchingId [statement clause [Statements::get $alreadyMatchingId]]
+                    }
+                    set claimizedPattern [list /someone/ claims {*}$pattern]
+                    set alreadyMatchingStatements [trie lookup $Statements::statementClauseToId $claimizedPattern]
+                    foreach alreadyMatchingId $alreadyMatchingStatements {
+                        reactToStatementAdditionThatMatchesWhen $id $claimizedPattern $otherPatterns \
+                            $alreadyMatchingId [statement clause [Statements::get $alreadyMatchingId]]
                     }
                 }
             }
@@ -437,12 +445,16 @@ namespace eval Evaluator {
         # Trigger any reactions to the addition of this statement.
         variable reactionsToStatementAddition
         set reactions [trie lookup $reactionsToStatementAddition [list {*}$clause /reactingId/]]
+        foreach reaction $reactions {
+            {*}$reaction $id $clause
+        }
+
         if {[lindex $clause 1] eq "claims"} {
             set unclaimizedClause [lrange $clause 2 end]
-            lappend reactions {*}[trie lookup $reactionsToStatementAddition [list {*}$unclaimizedClause /reactingId/]]
-        }
-        foreach reaction $reactions {
-            {*}$reaction $id
+            set unclaimizedReactions [trie lookup $reactionsToStatementAddition [list {*}$unclaimizedClause /reactingId/]]
+            foreach unclaimizedReaction $unclaimizedReactions {
+                {*}$unclaimizedReaction $id $unclaimizedClause
+            }
         }
     }
     proc reactToMatchRemoval {matchId} {
diff --git a/test/joins.tcl b/test/joins.tcl
index f18b8832..d408853d 100644
--- a/test/joins.tcl
+++ b/test/joins.tcl
@@ -30,6 +30,8 @@ Assert Ash is a person
 Assert Ash lives in "Pallet Town"
 Step
 
-assert {$::foundOmar eq "New York" &&
+assert {
+    $::foundOmar eq "New York" &&
     $::foundElmo eq "Sesame Street" &&
-    $::foundAsh eq "Pallet Town"}
+    $::foundAsh eq "Pallet Town"
+}
-- 
cgit v1.2.3