summaryrefslogtreecommitdiffstats
path: root/virtual-programs
diff options
context:
space:
mode:
authorOmar Rizwan <omar@omar.website>2023-02-03 22:02:55 +0000
committerOmar Rizwan <omar@omar.website>2023-02-03 22:03:03 +0000
commit7f7e8b3b9e81e8a6615461cb2fc6bfde893af003 (patch)
tree902e63090a6153d4a18ebc591791398fcf4bf45d /virtual-programs
parentFix nesting (diff)
downloadfolk-7f7e8b3b9e81e8a6615461cb2fc6bfde893af003.tar.gz
folk-7f7e8b3b9e81e8a6615461cb2fc6bfde893af003.zip
Fix with-all to support claim shorthand. Fixes test
Diffstat (limited to 'virtual-programs')
-rw-r--r--virtual-programs/with-all.folk3
1 files changed, 2 insertions, 1 deletions
diff --git a/virtual-programs/with-all.folk b/virtual-programs/with-all.folk
index 072063a9..5b9adddf 100644
--- a/virtual-programs/with-all.folk
+++ b/virtual-programs/with-all.folk
@@ -4,7 +4,8 @@ When when the collected matches for /clause/ are /matchesVar/ /body/ with enviro
When $::nodename has step count /c/ {
Before convergence {
# FIXME: this is a hack, we should do it incrementally
- set matches [Statements::findMatches $clause]
+ set matches [concat [Statements::findMatches $clause] \
+ [Statements::findMatches [list /someone/ claims {*}$clause]]]
Say the collected matches for $clause are $matches
}
}