snippets: Explore mypy validation

Signed-off-by: GitHub <noreply@github.com>

snippets/feat_micropython/check_machine/check_machine.py

@@ -85,8 +85,8 @@
 
 from machine import Pin, I2C
 
-i2c = I2C(0)
-i2c = I2C(1, scl=Pin(5), sda=Pin(4), freq=400000)
+i2c_hw = I2C(0)
+i2c_hw = I2C(1, scl=Pin(5), sda=Pin(4), freq=400000)
 
 
 

snippets/feat_micropython/check_micropython/check_viper.py

@@ -1,13 +1,22 @@
 import micropython
+from typing_extensions import TYPE_CHECKING
 
 # https://docs.micropython.org/en/v1.20.0/reference/speed_python.html?highlight=viper#the-viper-code-emitter
 # Casting operators are currently: int, bool, uint, ptr, ptr8, ptr16 and ptr32.
-# todo: micropython.viper - add support for casting operators
+
+# todo: micropython.viper - add support for casting operators in the stubs
+if TYPE_CHECKING:
+    from array import array
+    def ptr(buf: bytes) -> bytearray: ...
+    def ptr8(buf: bytes) -> bytearray: ...
+    def ptr16(buf: bytes) -> array: ... #Points to a 16 bit half-word.
+    def ptr32(buf: bytes) -> array: ... #Points to a 32 bit word.
 
 
 @micropython.viper
 def foo(self, arg: int) -> int:
-    buf = ptr8(self.linebuf)  # self.linebuf is a bytearray or bytes object # type: ignore #
+    ## self.linebuf is a bytearray or bytes object
+    buf = ptr8(self.linebuf)
     for x in range(20, 30):
         bar = buf[x]  # Access a data item through the pointer
         # code omitted

snippets/feat_stdlib/check_os/check_files.py

@@ -16,7 +16,7 @@
 
 def listdir(path=".", sub=False, JSON=True, gethash=False):
     # Lists the file information of a folder
-    li :List[dict]= []  # type: List[dict]
+    li :List[dict]= []
     if path == ".":  # Get current folder name
         path = os.getcwd()
     files = os.listdir(path)

snippets/feat_stdlib/check_sys/check_implementation.py

@@ -12,7 +12,7 @@ def is_tuple(imp: Tuple):
 
 # indirect check if sys implementation has a base class of a tuple
 # there must be a cleaner way to do this but I can't find it
-is_tuple(impl)
+is_tuple(impl)  # stubs-ignore: linter in ["mypy"]
 
 
 assert_type(impl, NamedTuple)  # type: ignore # TODO sys.implementation is not a tuple

snippets/feat_stdlib/check_sys/check_print_exception.py

@@ -1,3 +1,3 @@
 
 # ref: https://github.com/Josverl/micropython-stubber/issues/336
-from sys import print_exception
+from sys import print_exception # stubs-ignore: linter in ["mypy"]

snippets/feat_stdlib/check_sys/check_sys.py

@@ -21,7 +21,7 @@
 
 # Micropython Extensions
 exc = Exception
-sys.print_exception(exc)
+sys.print_exception(exc) # stubs-ignore: linter in ["mypy"]
 
 port = sys.platform
 if port in ["unix", "windows"]:

snippets/feat_stdlib/mypy.ini

@@ -0,0 +1,19 @@
+[mypy]
+platform = linux
+mypy_path = typings
+files = *.py
+exclude = .*typings.*.pyi
+custom_typing_module = typings/stdlib/typing.pyi
+; custom_typeshed_dir = typings/stdlib/_typeshed ; not a valid typeshed dir
+
+follow_imports = silent
+follow_imports_for_stubs = True
+no_site_packages = True
+
+check_untyped_defs=True
+
+; show_error_context = True
+disable_error_code = no-redef
+
+; warn_return_any = True
+; warn_unused_configs = True