fix

Author: bksaiki

fpy2/interpret/default.py

@@ -853,7 +853,7 @@ def _cvt_return(self, x: Value):
                     x[i] = self._cvt_return(x[i])
                 return x
             case _:
-                raise RuntimeError(f'unreachable')
+                raise RuntimeError('unreachable')
 
     def _visit_function(self, func: FuncDef, ctx: Context):
         # process free variables

fpy2/libraries/core.py

@@ -251,7 +251,7 @@ def tree_sum(xs: list[fp.Real]):
     """
 
     with fp.INTEGER:
-        n = len(xs)
+        n: fp.Real = len(xs)
         assert n > 0, "Length of xs must be positive"
 
         depth = fp.log2(n)
@@ -262,7 +262,7 @@ def tree_sum(xs: list[fp.Real]):
         with fp.INTEGER:
             n /= 2
 
-        for i in range(n):
+        for i in range(n): # type: ignore[arg-type]
             with fp.INTEGER:
                 j = 2 * i
                 k = 2 * i + 1

tests/infra/backend/cpp.py

@@ -189,6 +189,7 @@ def _test_unit(output_dir: Path, no_cc: bool = False):
     '_modf_spec',
     'isinteger',
     '_ldexp_spec',
+    'tree_sum',
     # eft
     'ideal_2sum',
     'ideal_2mul',