archives

« Bugzilla Issues Index

#2233 — Static Semantics: Tail Position missing return value


In '14.6.1 Static Semantics: Tail Position', the last step is:

> 6. Let has be HasProductionInTailPosition of body with argument nonterminal.

It defines the 'has' variable, but the variable is never returned as it is the last step of Tail Position. In other steps, Tail Position returns true or false.

It looks like we should either return 'has' in another step (7th) or step 6 should be modified to return the value of the HasProductionInTailPosition invocation.


this was fixed sometime prior to rev25