add WorkerGlobalScopes

melange-re · Jul 20, 2024 · 80c5eea · 80c5eea
1 parent e519d20
commit 80c5eea
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/jscomp/others/dom.ml b/jscomp/others/dom.ml
@@ -20,6 +20,11 @@ type _serviceWorker
 type serviceWorker = _serviceWorker eventTarget_like
 type _worker
 type worker = _worker eventTarget_like
+type 'a _workerGlobalScope
+type 'a workerGlobalScope_like = 'a _workerGlobalScope eventTarget_like
+type workerGlobalScope = _baseClass workerGlobalScope_like
+type _dedicatedWorkerGlobalScope
+type dedicatedWorkerGlobalScope = _dedicatedWorkerGlobalScope workerGlobalScope_like
 
 (* nodes *)
 type 'a _node