Clarify popErrorScope() rejects with OperationError if the device is …

…lost (gpuweb#433)
jiangzhaoming · Nov 4, 2019 · c269466 · c269466
1 parent aa266bd
commit c269466
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/design/ErrorHandling.md b/design/ErrorHandling.md
@@ -265,7 +265,7 @@ If an error is not captured by an error scope, it is passed out to the enclosing
 
 If there are no error scopes on the stack, `popErrorScope()` throws OperationError.
 
-If the device is lost, `popErrorScope()` always rejects.
+If the device is lost, `popErrorScope()` always rejects with OperationError.
 
 \* Error scope state is **per-device, per-execution-context**.
 That is, when a `GPUDevice` is posted to a Worker for the first time, the new `GPUDevice` copy's error scope stack is empty.

diff --git a/spec/index.bs b/spec/index.bs
@@ -1951,7 +1951,7 @@ partial interface GPUDevice {
 </script>
 
 {{GPUDevice/popErrorScope()}} throws {{OperationError}} if there are no error scopes on the stack.
-
+{{GPUDevice/popErrorScope()}} rejects with {{OperationError}} if the device is lost.
 
 ## Telemetry ## {#telemetry}