The Stratego editor cannot resolve parameterized strategies, like:

a = b(c)
b(s) = s(|"a") 
c(|d) = id

This is valid Stratego but gives an error in the editor. This also is the case when explicitly typing the strategy, like:

b(s : ATerm * ATerm -> ATerm) = s(|"a") 

Submitted by Nathan Bruning on 4 May 2010 at 14:07

Higher-order strategies are very rare. The standard Stratego compiler simply ignores the arguments of the call to c because it is called inside a strategy argument. We can probably do the same; the Java runtime checks if it’s actually safe.

Got annoyed. Fixed in r22953.