In the new translation scheme failure is indicated by a NULL value for the current term (much like the fail value in the semantics in the dynamic rules paper). In the C code in the stratego-lib the function/macro _fail is used when a primitive strategy should fail. When switching to the new translation scheme, it would be good if we can just reimplement _fail to `return NULL’. It should be checked that the native code of the library satisfies this requirement (and does not call setjmp/longjmp).

Submitted on 1 August 2005 at 17:02

STR-387, rbvermaa:
checked the code for the stratego-lib and everything seems to be how we want it to be.