STR-766: The Cons congruence is never inlined leading to an increase in stack usage
The Cons() congruence is not inlined by either strc or gcc and used in a number of library strategies, including map:
map(s) =
rec x([] + [s | x])Because of this, the stack usage of these strategies is much larger than what would otherwise be necessary, leading to a stack overflow for reasonably sized lists.
Submitted on 29 January 2009 at 16:23
Issue Log
On 30 January 2009 at 13:53 Jira commented:
STR-766, lennartkats:
Committed a fix for this, inlining these in the desugaring stage. (Inlining during optimization leads to STR-767.)
Log in to post comments