Merge branch 'mypy_v3'

Signed-off-by: Jos Verlinde <[email protected]>

Author: Josverl

.vscode/settings.json

@@ -1,28 +1,29 @@
 {
     "workbench.colorCustomizations": {
         "activityBar.activeBorder": "#422c74",
-        "activityBar.activeBackground": "#2f7c47",
-        "activityBar.background": "#2f7c47",
-        "activityBar.foreground": "#e7e7e7",
-        "activityBar.inactiveForeground": "#e7e7e799",
-        "activityBarBadge.background": "#422c74",
+        "activityBar.activeBackground": "#87b495",
+        "activityBar.background": "#87b495",
+        "activityBar.foreground": "#15202b",
+        "activityBar.inactiveForeground": "#15202b99",
+        "activityBarBadge.background": "#74629d",
         "activityBarBadge.foreground": "#e7e7e7",
-        "commandCenter.border": "#e7e7e799",
-        "editorGroup.border": "#2f7c47",
-        "panel.border": "#2f7c47",
-        "sash.hoverBorder": "#2f7c47",
-        "statusBar.background": "#215732",
-        "statusBar.foreground": "#e7e7e7",
-        "statusBarItem.hoverBackground": "#2f7c47",
-        "statusBarItem.remoteBackground": "#215732",
-        "statusBarItem.remoteForeground": "#e7e7e7",
-        "tab.activeBorder": "#2f7c47",
-        "titleBar.activeBackground": "#215732",
-        "titleBar.activeForeground": "#e7e7e7",
-        "titleBar.inactiveBackground": "#21573299",
-        "titleBar.inactiveForeground": "#e7e7e799"
+        "commandCenter.border": "#15202b99",
+        "editorGroup.border": "#87b495",
+        "panel.border": "#87b495",
+        "sash.hoverBorder": "#87b495",
+        "statusBar.background": "#67a179",
+        "statusBar.foreground": "#15202b",
+        "statusBarItem.hoverBackground": "#518461",
+        "statusBarItem.remoteBackground": "#67a179",
+        "statusBarItem.remoteForeground": "#15202b",
+        "tab.activeBorder": "#87b495",
+        "titleBar.activeBackground": "#67a179",
+        "titleBar.activeForeground": "#15202b",
+        "titleBar.inactiveBackground": "#67a17999",
+        "titleBar.inactiveForeground": "#15202b99"
     },
     "peacock.color": "#215732",
+    "peacock.remoteColor": "#67a179",
     // To ignore ALL CAPS in all files
     "cSpell.ignoreRegExpList": [
         "/\\b[A-Z]+\\b/g"
@@ -101,7 +102,7 @@
     "python.analysis.diagnosticMode": "openFilesOnly",
     "python.languageServer": "Pylance",
     "[python]": {
-        "editor.defaultFormatter": "ms-python.black-formatter"
+        "editor.defaultFormatter": "charliermarsh.ruff"
     },
     "python.formatting.provider": "none",
     "python.analysis.supportRestructuredText": true,

Manual stub build chain.ipynb

@@ -92,6 +92,13 @@
             "GENERIC",
             ""
         ],
+        [
+            "micropython-unix-stubs",
+            "1.24.1",
+            "unix",
+            "GENERIC",
+            ""
+        ],
         [
             "micropython-webassembly-stubs",
             "1.24.1",

data/all_packages.db

@@ -40,7 +40,20 @@ this package is built using `uv build` and published using `uv publish`.
     ```
 
 - commit the changes to the micropython-stdlib-stubs repository
-    
+
+## asyncio notes 
+## asyncio
+- no _asyncio.pyi stubs to avoid conflict with stdlib re-use
+
+- Generators 
+    are not values - but are always callables, or coroutines
+    so rewrite 
+    `open_connection: Generator  ## = <generator>`
+    to 
+    `async def open_connection () -> Callable[..., Awaitable[Tuple[StreamReader, StreamWriter]]]`
+    or similar 
+
+
 ## Publish to PyPi
 
 Publish using `uv publish`.