The Stratego compiler calls lift-dynamic-rules before stratego-desugar, which makes this scenario buggy:

!someConstructor#([arg1, arg2, …, arg_n]) => lhs
; rules(DYN_RULE : lhs -> …)

I’m not entirely sure about the real cause, but one fact is that the {DR_DUMMY} annotation does not appear next to lhs in the registered definition.

Submitted on 18 May 2006 at 19:39