« Bugzilla Issues Index
#3410 — 18.2.1.2 EvalDeclarationInstantiation: Missing binding checks and initialization
  
  
  - bug_id:
    3410
  
 
  
  
  - creation_ts:
    2014-12-07 12:14:00 -0800
  
 
  
  
  - short_desc:
    18.2.1.2 EvalDeclarationInstantiation: Missing binding checks and initialization
  
 
  
  
  - delta_ts:
    2015-02-12 12:17:40 -0800
  
 
  
  
  - product:
    Draft for 6th Edition
  
 
  
  
  - component:
    technical issue
  
 
  
  
  - version:
    Rev 28: October 14, 2014 Draft
  
 
  
  
  - rep_platform:
    All
  
 
  
  
  - op_sys:
    All
  
 
  
  
  - bug_status:
    RESOLVED
  
 
  
  
  - resolution:
    FIXED
  
 
  
  
  - priority:
    Normal
  
 
  
  
  - bug_severity:
    normal
  
 
  
  
  - everconfirmed:
    true
  
 
  
  
  - reporter:
    André Bargull
  
 
  
  
  - assigned_to:
    Allen Wirfs-Brock
  
 
  
  
  
  
  - commentid:
    10818
  
 
  
  
  - comment_count:
    0
  
 
  
  
  - who:
    André Bargull
  
 
  
  
  - bug_when:
    2014-12-07 12:14:59 -0800
  
 
  
  
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
---
  
  
  - commentid:
    12104
  
 
  
  
  - comment_count:
    1
  
 
  
  
  - who:
    Allen Wirfs-Brock
  
 
  
  
  - bug_when:
    2015-02-04 13:21:35 -0800
  
 
  
  
fixed in rev33 editor's draft
  
  
  - commentid:
    12445
  
 
  
  
  - comment_count:
    2
  
 
  
  
  - who:
    Allen Wirfs-Brock
  
 
  
  
  - bug_when:
    2015-02-12 12:17:40 -0800
  
 
  
  
fixed in rev33