« Bugzilla Issues Index
#2333 — 15.2.8: Remove mentions of "module" in NOTE
- bug_id:
2333
- creation_ts:
2013-11-21 03:57:00 -0800
- short_desc:
15.2.8: Remove mentions of "module" in NOTE
- delta_ts:
2014-05-14 16:14:31 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 21: November 8, 2013 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:
6856
- comment_count:
0
- who:
André Bargull
- bug_when:
2013-11-21 03:57:58 -0800
15.2.8 Runtime Semantics: GlobalDeclarationInstantiation, NOTE after algorithm:
"module" is mentioned thrice, but I don't think it still applies here, since it's not possible to directly embed a module in a script.