From 341f3757e7f1c101f6f6207f3a92744d47a1173c Mon Sep 17 00:00:00 2001 From: dzaima Date: Tue, 4 Feb 2025 02:49:01 +0200 Subject: [PATCH] make all_hom{mask_none, vec} use simple path --- src/singeli/src/mask.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/mask.singeli b/src/singeli/src/mask.singeli index 056441e8..3e5c0f10 100644 --- a/src/singeli/src/mask.singeli +++ b/src/singeli/src/mask.singeli @@ -64,8 +64,8 @@ def load_widen {ptr:*E, {...ns}, T } = each{load_widen {ptr, ., T }, ns} def store_narrow{ptr:*E, {...ns}, xs, M} = each{store_narrow{ptr, ., ., M}, ns, xs} # TODO also similar any_hom & use those more -def all_hom{(mask_none), ...xs} = all_hom{...xs} def all_hom{M, x:T if kgen{M}} = ~any_hom{M{~x}} # TODO better +def all_hom{(mask_none), ...xs} = all_hom{...xs} # "harmless" pointer cast that'll only cast void* local def cast_h{T,p} = assert{0, 'expected pointer with element',T,'or void but got ',p}