From 0c2fb1a267be19de52665f249e7ea0bd1c27b44e Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 12 Mar 2025 05:22:11 +0200 Subject: [PATCH] a bit of cleanup still from the long-ago days when symbols couldn't be assignment targets directly --- src/singeli/src/search.singeli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/singeli/src/search.singeli b/src/singeli/src/search.singeli index cbf7401b..cb11443b 100644 --- a/src/singeli/src/search.singeli +++ b/src/singeli/src/search.singeli @@ -300,9 +300,9 @@ def acc{unr, init:T} = { a0v := init def a0 = tup{a0v} def a1 = @collect(unr) { reg:=init } - def op{S=='get'} = a0v - def op{S=='tr', F} = { a0v = tree_fold{F, a1} } - def op{S=='upd', is, F} = { + def op{'get'} = a0v + def op{'tr', F} = { a0v = tree_fold{F, a1} } + def op{'upd', is, F} = { if (length{is}==1) a0 = F{a0} else a1 = F{a1} }