vermoedelijk in de rec x in de foldr

heeft geen haast hoor, gebruik naar eigen zin
—————————————————————–
module cart-set-test
imports list-misc list-cons list-zip

strategies
main = <cart-set(id)> ([1, 2, 3, 4], [5, 6, 7, 8])

cart-set(s) =
?(xs, ys)
; ys
; cart-set-foldr(|xs)
; cart-set-unpack

cart-set-init() =
is-list; !(([], ), [])

cart-set-foldr(|xs) =
rec x(
((ys, []), cs) -> ((ys, []), cs)
<+ ((ys, [z|zs]), cs) -> (( (ys, [z]), zs), [ (xs, ([z|zs], ys)) | cs] )
)

cart-set-unpack =
?((,), )
—————————————————————–

Submitted on 21 March 2004 at 21:07

SSH-1, martin:

Solved by fix in implementation of term arguments