From 48cfa68efeb42bf7317d8e11aa7e6fa2463d0069 Mon Sep 17 00:00:00 2001
From: Jeff Gilbert <jgilbert@mozilla.com>
Date: Wed, 25 Mar 2020 17:18:29 -0700
Subject: [PATCH 1/3] Add GPUShaderModuleDescriptor/sourceMap.

---
 spec/index.bs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/spec/index.bs b/spec/index.bs
index 50614e01d7..8319f6f095 100644
--- a/spec/index.bs
+++ b/spec/index.bs
@@ -2008,9 +2008,15 @@ conditions.
 <script type=idl>
 dictionary GPUShaderModuleDescriptor : GPUObjectDescriptorBase {
     required DOMString code;
+    object? sourceMap = null;
 };
 </script>
 
+{{GPUShaderModuleDescriptor/sourceMap}}, if non-null, is interpreted as a source-map-v3 format.
+(https://sourcemaps.info/spec.html)
+Source maps are optional, but serve as a standard way to support dev-tool integration such
+as source-language debugging.
+
 Pipelines {#pipelines}
 ======================
 

From ef906f329616d04709839eed06e39326c6dc4547 Mon Sep 17 00:00:00 2001
From: Jeff Gilbert <jgilbert@mozilla.com>
Date: Thu, 9 Apr 2020 11:04:07 -0700
Subject: [PATCH 2/3] Dictionary members are optional unless required,
 s/non-null/defined/.

---
 spec/index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/index.bs b/spec/index.bs
index 8319f6f095..194ad12e08 100644
--- a/spec/index.bs
+++ b/spec/index.bs
@@ -2008,11 +2008,11 @@ conditions.
 <script type=idl>
 dictionary GPUShaderModuleDescriptor : GPUObjectDescriptorBase {
     required DOMString code;
-    object? sourceMap = null;
+    object sourceMap;
 };
 </script>
 
-{{GPUShaderModuleDescriptor/sourceMap}}, if non-null, is interpreted as a source-map-v3 format.
+{{GPUShaderModuleDescriptor/sourceMap}}, if defined, is interpreted as a source-map-v3 format.
 (https://sourcemaps.info/spec.html)
 Source maps are optional, but serve as a standard way to support dev-tool integration such
 as source-language debugging.

From e9481369eb135dd5c050d55821b03ae2b371be94 Mon Sep 17 00:00:00 2001
From: Jeff Gilbert <jgilbert@mozilla.com>
Date: Fri, 15 May 2020 11:17:15 -0700
Subject: [PATCH 3/3] `sourceMap` MAY be a source-map-v3 format, but it's not
 required.

---
 spec/index.bs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/spec/index.bs b/spec/index.bs
index 194ad12e08..6fb3b0eafb 100644
--- a/spec/index.bs
+++ b/spec/index.bs
@@ -2012,10 +2012,10 @@ dictionary GPUShaderModuleDescriptor : GPUObjectDescriptorBase {
 };
 </script>
 
-{{GPUShaderModuleDescriptor/sourceMap}}, if defined, is interpreted as a source-map-v3 format.
-(https://sourcemaps.info/spec.html)
-Source maps are optional, but serve as a standard way to support dev-tool integration such
-as source-language debugging.
+{{GPUShaderModuleDescriptor/sourceMap}}, if defined, MAY be interpreted as a
+source-map-v3 format. (https://sourcemaps.info/spec.html)
+Source maps are optional, but serve as a standardized way to support dev-tool
+integration such as source-language debugging.
 
 Pipelines {#pipelines}
 ======================