Delete empty_row global

scrapscript.py

···
         return "{}"
 
 
-empty_row = TyEmptyRow()
-
-
 @dataclasses.dataclass
 class TyRow(MonoType):
     fields: dict[str, MonoType]
···
         return set_type(pattern, result_ty)
     if isinstance(pattern, Record):
         fields = {}
-        rest: TyVar | TyEmptyRow = empty_row  # Default closed row
+        rest: TyVar | TyEmptyRow = TyEmptyRow()  # Default closed row
         for key, value in pattern.data.items():
             if isinstance(value, Spread):
                 # Open row
···
         return set_type(expr, result)
     if isinstance(expr, Record):
         fields = {}
-        rest: TyVar | TyEmptyRow = empty_row
+        rest: TyVar | TyEmptyRow = TyEmptyRow()
         for key, value in expr.data.items():
             assert not isinstance(value, Spread), "Spread can only occur in record match (for now)"
             fields[key] = infer_type(value, ctx)