I’m aware that currently NaBL2 doesn’t work well with applying multiple rules to the same ATerm, but I was generating some Stratego code and I ran into a stack overflow. I figured that’s too grave an error here, even for undefined behaviour. I’ve put a minimal NaBL2 file in a branch of the metaborg-while project which has the stack overflow problem. See: https://github.com/Apanatshka/metaborg-while/tree/nabl2stackoverflow

Submitted on 20 July 2017 at 17:25