chore: Array -> List

mtshiba · Apr 4, 2024 · ec0adb5 · ec0adb5
1 parent ff29248
commit ec0adb5
Show file tree

Hide file tree

Showing 2 changed files with 105 additions and 58 deletions.
diff --git a/ergup.er b/ergup.er
@@ -33,7 +33,7 @@ latest_version = if! sys.argv.get(1) == "nightly":
         _stream = urllib.request.urlopen!(latest_url)
         s = _stream.read!().decode()
         jdata = json.loads s
-        assert jdata in Array({Str: Obj})
+        assert jdata in List({Str: Obj})
         jdata[0]["tag_name"]
     do!:
         latest_url = "https://api.github.com/repos/erg-lang/erg/releases/latest"