From d2ca600e02b307c2796b86b671f011491ec8d599 Mon Sep 17 00:00:00 2001 From: dzaima Date: Tue, 11 Mar 2025 23:44:15 +0200 Subject: [PATCH] actually make try_first_hom return things --- src/singeli/src/base.singeli | 1 + 1 file changed, 1 insertion(+) 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}