archives

« Bugzilla Issues Index

#3410 — 18.2.1.2 EvalDeclarationInstantiation: Missing binding checks and initialization


18.2.1.2 Runtime Semantics: EvalDeclarationInstantiation( body, varEnv, lexEnv, strict)


Steps 15.d.i and 16.b.i need to check if the binding is already present before calling CreateMutableBinding.


15.d.i.
---
1. Let bindingPresent be varEnvRec's HasBinding(fn).
2. If bindingPresent is false, then
a. CreateMutableBinding
b. InitializeBinding
3. Else,
a. SetMutableBinding
---


16.b.i.
---
1. Let bindingPresent be varEnvRec's HasBinding(vn).
2. If bindingPresent is false, then
a. CreateMutableBinding
b. InitializeBinding with undefined
---


fixed in rev33 editor's draft


fixed in rev33