From 4bc6a2ffd015a150596fde1c9dcbcb3614e7cbbb Mon Sep 17 00:00:00 2001 From: Jihyeok Park Date: Wed, 18 Dec 2024 16:24:04 +0900 Subject: [PATCH] Update type modeling for `RealmRecord` (#271) Co-authored-by: Jungyeom Kim --- src/main/resources/manuals/tycheck-ignore.json | 2 -- src/main/resources/manuals/types | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/main/resources/manuals/tycheck-ignore.json b/src/main/resources/manuals/tycheck-ignore.json index 503cc7e0c3..b1a7e75137 100644 --- a/src/main/resources/manuals/tycheck-ignore.json +++ b/src/main/resources/manuals/tycheck-ignore.json @@ -16,7 +16,6 @@ "FunctionBody[0,0].EvaluateFunctionBody", "GeneratorBody[0,0].EvaluateGeneratorBody", "GetFunctionRealm", - "GetGlobalObject", "GetViewByteLength", "INTRINSICS.Array.prototype.toSpliced", "INTRINSICS.AsyncFunction", @@ -42,7 +41,6 @@ "Record[SourceTextModuleRecord].InitializeEnvironment", "Record[SourceTextModuleRecord].ResolveExport", "RelationalExpression[7,0].Evaluation", - "SetDefaultGlobalBindings", "Statement[0,0].LabelledEvaluation", "Statement[1,0].LabelledEvaluation", "Statement[2,0].LabelledEvaluation", diff --git a/src/main/resources/manuals/types b/src/main/resources/manuals/types index 3c027913ba..8d06060a4b 100644 --- a/src/main/resources/manuals/types +++ b/src/main/resources/manuals/types @@ -501,7 +501,7 @@ type ProxyExoticObject extends ExoticObject { type RealmRecord { AgentSignifier: Record[AgentSignifier]; Intrinsics: Map[String -> Record[Object]]; - GlobalObject: Record[Object] | Undefined; + GlobalObject: Record[Object]; GlobalEnv: Record[GlobalEnvironmentRecord]; TemplateMap: List[Record[{ Site: Ast[TemplateLiteral], Array: Record[Array] }]]; LoadedModules: List[Record[{ Specifier: String, Module: Record[ModuleRecord] }]];