When we know the lfp/gfp semantics from a calculus annotation, users should be able to omit the terminator parameter on the @unroll annotation. In those cases, there's a clear default to choose (0 or 1). This would also help avoiding misuse of the parameter, e.g. by mistakenly using the post as the terminator.
When we know the lfp/gfp semantics from a calculus annotation, users should be able to omit the
terminatorparameter on the@unrollannotation. In those cases, there's a clear default to choose (0or1). This would also help avoiding misuse of the parameter, e.g. by mistakenly using thepostas theterminator.