-
Sub-task
-
Resolution: Fixed
-
P4
-
None
-
None
-
None
ImplSpec section misses bracket:
bodyClause = {init,
filterArgument(dropArguments(body, 1, int.class), 0, MH_decrement}; // v = body(i-1, v)
bodyClause = {init,
filterArgument(dropArguments(body, 1, int.class), 0, MH_decrement}; // v = body(i-1, v)