stratego-libraries/lib/spec/term/integer.str contains the following definitions:

/**
* Bitwise shift x to the left by y places
*/
shli = ?(x, y); prim(“SSL_shli”,x,y)

/**
* Bitwise shift x to the right by y places
*/
shli = ?(x, y); prim(“SSL_shri”,x,y)

This fails to provide a definition for shri.

Submitted by Peter S. Housel on 13 April 2016 at 00:34

Thanks. Fixed in https://github.com/metaborg/strategoxt/commit/fdb1e85b2e6b746ed8674998ca5002685a5e813f