archives

« Bugzilla Issues Index

#3887 — 18.2.1.2: "he" and extraneous dot


In 18.2.1.2 "Runtime Semantics: EvalDeclarationInstantiation(...)",
step 6.c says:
Assert: he following loop will terminate.

s|he|The|

---

Also, step 6.d says:
Repeat while thisLex is not the same as varEnv,.

Delete final dot.


fixed in rev34 editor's draft


fixed in rev34