STR-736: "all-l" should not call "all" if the current term is a list.
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:
Submitted on 6 February 2008 at 20:59
< bravo> I would suggest “is-list < [s | s] + all(s)” as the solution
< bravo> see also: https://svn.cs.uu.nl:12443/repos/StrategoXT/dryad/trunk/lib/dryad/lib-ext/list.str
< 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 …
Log in to post comments