Open michaelficarra opened 1 month ago
Outside of the AOs in question, ecmarkup should warn when it sees a Completion Record { [[Type]]: ~normal~, [[Value]]: ..., [[Target]]: ~empty~ } that could be replaced with NormalCompletion(...). Similarly for ReturnCompletion and ThrowCompletion.
Completion Record { [[Type]]: ~normal~, [[Value]]: ..., [[Target]]: ~empty~ }
NormalCompletion(...)
Related: https://github.com/tc39/ecma262/pull/3414
Outside of the AOs in question, ecmarkup should warn when it sees a
Completion Record { [[Type]]: ~normal~, [[Value]]: ..., [[Target]]: ~empty~ }
that could be replaced withNormalCompletion(...)
. Similarly for ReturnCompletion and ThrowCompletion.Related: https://github.com/tc39/ecma262/pull/3414