here is a small test which succeed (but should failed):

<all-l(inc)> [1,2,3] => [2,3,4]

06/02/2008 20:43 freenode #stratego:
< bravo> I would suggest “is-list < [s | s] + all(s)” as the solution
< bravo> see also:
< bravo> not sure if all-consnil is actually what we want for all-l as well. It might break existing problems …
< bravo> not sure what to do with the empty list in both solutions. I suppose it should always succeed and not apply s …

Submitted on 6 February 2008 at 20:59

Log in to post comments