Spec review

[Jack-Works]

• [ ] Module Namespace Exotic Objects.[[Get]] the phrase is not clear. This looks like it will call EvaluateSync on a non-Cyclic module every time the Get trap is invoked.

3. If m is not a Cyclic Module Record, or both m.[[Status]] is linked and AnyDependencyNeedsAsyncEvaluation(m) is false, then a. Perform ? EvaluateSync(m).

• Can you explain Note 2 in Module Namespace Exotic Objects.[[Get]]? I cannot think of the special case you're referencing to.

• [ ] Table 18. Why B is in the C.[[AsyncParentModules]] in Table 18? It should be added in InnerModuleEvaluation but B never goes to that stage.

[nicolo-ribaudo]

Hey, thanks!

• Regarding the first two points, @guybedford is changing them in https://github.com/tc39/proposal-defer-import-eval/pull/39, since he pointed out that the re-entrancy case described doesn't actually work in practice (because of TDZ) and messes up with the various [[DFSIndex]]es.

• Whops you are right, it should be A and not B.