diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index 215ce648..06c924fc 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -230,6 +230,7 @@ def try_first_hom{x:[_]_} = { ok = 1 val = ctz_ext{ex} } + tup{val, ok} } def load{V=[k]E, ptr:*E } = load{*V~~ptr, 0}