From 6eb454f8596017330c2974416afdc4f083fa7fe4 Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 23 Apr 2025 23:16:15 +0300 Subject: [PATCH] get rid of the single isptr usage --- src/singeli/src/replicate.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/replicate.singeli b/src/singeli/src/replicate.singeli index 9252d993..591879ff 100644 --- a/src/singeli/src/replicate.singeli +++ b/src/singeli/src/replicate.singeli @@ -7,7 +7,7 @@ def dat_types = tup{...ind_types, u64} # Indices and Replicate using plus- or max-scan def scan_core{upd, set, scan, rp:*T, wp:W, s:(usz)} = { - def getw{j} = if (isptr{W}) cast_i{usz,load{wp,j}} else wp + def getw{j} = match (W) { {*_} => cast_i{usz,load{wp,j}}; {_} => wp } b:usz = 1<<10 k:usz = 0; j:usz = 0; ij:=getw{j} while (1) {