The default escaping variables analysis is very conservative and makes all variables escaping by annotating their declaration with Stack(x) . In order for your compiler ...

See ExtendTigerWithDoWhile

The distribution of the Tiger in Stratego project. TOC Download Source (.tar.gz) and RPM distributions are available at: http://catamaran.labs.cs.uu.nl/dist/stratego ...