WIP start adding tests

python · JukkaL · Jun 11, 2024 · Jun 6, 2024 · Jun 7, 2024 · Jun 7, 2024
commit 16c00b12fd283fad59ae5634be8a1314540df319
diff --git a/mypyc/test-data/fixtures/typing-full.pyi b/mypyc/test-data/fixtures/typing-full.pyi
@@ -167,3 +167,6 @@ class _TypedDict(Mapping[str, object]):
     def pop(self, k: NoReturn, default: T = ...) -> object: ...
     def update(self: T, __m: T) -> None: ...
     def __delitem__(self, k: NoReturn) -> None: ...
+
+class TypeAliasType:
+    pass
diff --git a/mypyc/test-data/run-python312.test b/mypyc/test-data/run-python312.test
@@ -0,0 +1,39 @@
+[case testPEP695Basics]
+# flags: --enable-incomplete-feature=NewGenericSyntax
+from typing import Any, TypeAliasType
+
+def id[T](x: T) -> T:
+    return x
+
+def test_call_generic_function() -> None:
+    assert id(2) == 2
+    assert id('x') == 'x'
+
+class C[T]:
+    x: T
+
+    def __init__(self, x: T) -> None:
+        self.x = x
+
+def test_generic_class() -> None:
+    c = C(5)
+    assert c.x == 5
+    c2 = C[str]('x')
+    assert c2.x == 'x'
+
+def x_test_generic_class_via_any() -> None:
+    c_any: Any = C
+    c3 = c_any(2)
+    assert c3.x == 2
+    c4 = c_any[str]('y')
+    assert c4.x == 'y'
+
+class D: pass
+
+#type A = D
+
+#def test_simple_type_alias() -> None:
+#    assert isinstance(A, TypeAliasType)
+#    assert str(A) == "A"
+
+[typing fixtures/typing-full.pyi]
diff --git a/mypyc/test/test_run.py b/mypyc/test/test_run.py
@@ -71,6 +71,8 @@
 
 if sys.version_info >= (3, 10):
     files.append("run-match.test")
+if sys.version_info >= (3, 12):
+    files.append("run-python312.test")
 
 setup_format = """\
 from setuptools import setup
@@ -194,6 +196,7 @@ def run_case_step(self, testcase: DataDrivenTestCase, incremental_step: int) ->
         options.preserve_asts = True
         options.allow_empty_bodies = True
         options.incremental = self.separate
+        options.enable_incomplete_feature.append("NewGenericSyntax")
 
         # Avoid checking modules/packages named 'unchecked', to provide a way
         # to test interacting with code we don't have types for.