Update type modeling for RealmRecord (#271)

Co-authored-by: Jungyeom Kim <[email protected]>
es-meta · Dec 18, 2024 · 4bc6a2f · 4bc6a2f
1 parent 55c5c83
commit 4bc6a2f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git 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
@@ -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] }]];