If a converter from general recursive syntax to fixed point form is implemented, we can get rid of the unsized recursion triple ({test, fixable recur, base}). Obviously co-recursion will be tricky, but probably possible. Co-recursion support isn't necessary for this issue.
If a converter from general recursive syntax to fixed point form is implemented, we can get rid of the unsized recursion triple ({test, fixable recur, base}). Obviously co-recursion will be tricky, but probably possible. Co-recursion support isn't necessary for this issue.