From 7f7e8b3b9e81e8a6615461cb2fc6bfde893af003 Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Fri, 3 Feb 2023 17:02:55 -0500 Subject: Fix with-all to support claim shorthand. Fixes test --- virtual-programs/with-all.folk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'virtual-programs') 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 } } -- cgit v1.2.3