From 80c5eea51082e01ada34749bcb7cba5d9c44caed 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 | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/jscomp/others/dom.ml b/jscomp/others/dom.ml index 401a080f1..ffbcfd335 100644 --- 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