I have a NaBL definition for SDF3, which works on small files, e.g. on https://github.com/metaborg/sdf/blob/name-binding/org.strategoxt.imp.editors.template/test/EntityLang.sdf3 without the rules for Expression. Still, the analysis is slow and it takes several seconds until I can resolve names. When I add the rules for Expression, the analysis freezes and I need to kill Eclipse. Everything works fine, also on bigger files, when I remove the sort(x): refers to Sort x clause in NaBL.

Spoofax.log contains the thread dump from the JVM.

Submitted by Guido Wachsmuth on 5 March 2014 at 15:19

We found out what is going on: it is trying to compute 60! result combinations. This probably comes from the NaBL specification where you store entire ASTs as property values.

Added a check to abort attempting to create combinations of more than 10 results.

Closing issue because this is specific to NaBL and the SDF3 implementation. This commit prevents the crash from occurring now by aborting analysis.