PR #336 extended the effect inference algorithm with support for affine effects. However, additional work is required to actually check that affine shift₀ uses its resumption at most once, and to support additional effect modes (linear and exception).
PR #336 extended the effect inference algorithm with support for affine effects. However, additional work is required to actually check that affine shift₀ uses its resumption at most once, and to support additional effect modes (linear and exception).