Skip to content

Commit

Permalink
Change more Completion() to ? (bugfix)
Browse files Browse the repository at this point in the history
In the Evaluation rule for
  UnaryExpression : `typeof` UnaryExpression
we have to unwrap the result of Evaluation
in order to make sense of step 2,
testing whether it's a Reference Record.
  • Loading branch information
jmdyck committed Jun 2, 2022
1 parent 31174ea commit 8747f4f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -19694,7 +19694,7 @@ <h1>The `typeof` Operator</h1>
<h1>Runtime Semantics: Evaluation</h1>
<emu-grammar>UnaryExpression : `typeof` UnaryExpression</emu-grammar>
<emu-alg>
1. Let _val_ be Completion(Evaluation of |UnaryExpression|).
1. Let _val_ be ? Evaluation of |UnaryExpression|.
1. If _val_ is a Reference Record, then
1. If IsUnresolvableReference(_val_) is *true*, return *"undefined"*.
1. Set _val_ to ? GetValue(_val_).
Expand Down

0 comments on commit 8747f4f

Please sign in to comment.