1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
# mode: error
import cython
try:
from typing import Optional, ClassVar, Union
except ImportError:
pass
# not OK
def optional_cython_types(Optional[cython.int] i, Optional[cython.double] d, Optional[cython.float] f,
Optional[cython.complex] c, Optional[cython.long] l, Optional[cython.longlong] ll):
pass
MyStruct = cython.struct(a=cython.int, b=cython.double)
def optional_cstruct(Optional[MyStruct] x):
pass
def optional_pytypes(Optional[int] i, Optional[float] f, Optional[complex] c, Optional[long] l):
pass
cdef ClassVar[list] x
def union_pytypes(Union[int, None] i, Union[None, float] f, Union[complex, None] c, Union[long, None] l):
pass
def bitwise_or_ctypes(i: cython.int | None, f: None | cython.float , c: cython.complex | None, l: cython.long | None):
pass
# OK
def optional_memoryview(double[:] d, Optional[double[:]] o):
pass
def union_memoryview(double[:] d, Union[double[:], None] o):
pass
def bitwise_or_not_recognized_type(x: DummyType | None, y: None | DummyType):
pass
cdef class Cls(object):
cdef ClassVar[list] x
def bitwise_or_pytypes(i: int | None, f: None | float , c: complex | None):
list[int | None]()
list[None | int]()
py_li: list[int | None] = []
tuple[float | None]()
tuple[None | float]()
py_tf: tuple[None | float] = ()
list[complex | None]()
list[None | complex]()
py_lc: list[complex | None] = []
_ERRORS = """
13:42: typing.Optional[...] cannot be applied to type int
13:66: typing.Optional[...] cannot be applied to type double
13:93: typing.Optional[...] cannot be applied to type float
14:42: typing.Optional[...] cannot be applied to type double complex
14:70: typing.Optional[...] cannot be applied to type long
14:95: typing.Optional[...] cannot be applied to type long long
24:30: typing.Optional[...] cannot be applied to type int
24:47: typing.Optional[...] cannot be applied to type float
24:87: typing.Optional[...] cannot be applied to type long
20:30: typing.Optional[...] cannot be applied to type MyStruct
28:20: Modifier 'typing.ClassVar' is not allowed here.
30:29: typing.Union[...] cannot be applied to type int
30:50: typing.Union[...] cannot be applied to type float
30:96: typing.Union[...] cannot be applied to type long
33:31: '[...] | None' cannot be applied to type int
33:60: '[...] | None' cannot be applied to type float
33:78: '[...] | None' cannot be applied to type double complex
33:104: '[...] | None' cannot be applied to type long
"""
|
