summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/language/module-code/instn-star-props-circular.js
blob: 4a134bed9f621adf0ca22be77b8800595e806382 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
// |reftest| module
// Copyright (C) 2016 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: >
    Circular "star" imports do not trigger infinite recursion during name
    enumeration.
esid: sec-moduledeclarationinstantiation
info: |
    [...]
    12. For each ImportEntry Record in in module.[[ImportEntries]], do
        a. Let importedModule be ? HostResolveImportedModule(module,
           in.[[ModuleRequest]]).
        b. If in.[[ImportName]] is "*", then
           i. Let namespace be ? GetModuleNamespace(importedModule).
    [...]

    15.2.1.18 Runtime Semantics: GetModuleNamespace

    [...]
    3. If namespace is undefined, then
       a. Let exportedNames be ? module.GetExportedNames(« »).
       [...]

    15.2.1.16.2 GetExportedNames

    1. Let module be this Source Text Module Record.
    2. If exportStarSet contains module, then
       a. Assert: We've reached the starting point of an import * circularity.
       b. Return a new empty List.
flags: [module]
---*/

import * as a from './instn-star-props-circular-a_FIXTURE.js';
import * as b from './instn-star-props-circular-b_FIXTURE.js';

assert('fromA' in a, 'entry for binding from "a" in namespace of module A');
assert('fromB' in a, 'entry for binding from "b" in namespace of module A');

assert('fromA' in b, 'entry for binding from "a" in namespace of module B');
assert('fromB' in b, 'entry for binding from "b" in namespace of module B');

reportCompare(0, 0);