From 4eff29810c3dba727fa0ef821bef119275ffeb94 Mon Sep 17 00:00:00 2001 From: Tony Fettes Date: Mon, 15 Jul 2024 01:46:09 +0800 Subject: [PATCH] add WorkerGlobalScopes --- jscomp/others/dom.ml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/jscomp/others/dom.ml b/jscomp/others/dom.ml index 401a080f1..d6c78a23d 100644 --- 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