add WorkerGlobalScopes

melange-re · Aug 5, 2024 · 4eff298 · 4eff298
1 parent e519d20
commit 4eff298
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/jscomp/others/dom.ml b/jscomp/others/dom.ml
@@ -20,6 +20,15 @@ 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
+type _serviceWorkerGlobalScope
+type serviceWorkerGlobalScope = _serviceWorkerGlobalScope workerGlobalScope_like
+type _sharedWorkerGlobalScope
+type sharedWorkerGlobalScope = _sharedWorkerGlobalScope workerGlobalScope_like
 
 (* nodes *)
 type 'a _node