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
|
# mode: run
import cython
try:
import typing
from typing import List, Tuple
from typing import Set as _SET_
except:
pass # this should allow Cython to interpret the directives even when the module doesn't exist
def test_subscripted_types():
"""
>>> test_subscripted_types()
dict object
list object
set object
"""
cdef typing.Dict[int, float] a = {}
cdef List[int] b = []
cdef _SET_[object] c = set()
print(cython.typeof(a))
print(cython.typeof(b))
print(cython.typeof(c))
cdef class TestClassVar:
"""
>>> TestClassVar.cls
5
>>> TestClassVar.regular # doctest: +IGNORE_EXCEPTION_DETAIL
Traceback (most recent call last):
...
AttributeError:
"""
cdef int regular
cdef typing.ClassVar[int] cls
cls = 5
# because tuple is specifically special cased to go to ctuple where possible
def test_tuple(typing.Tuple[int, float] a, typing.Tuple[int, ...] b,
Tuple[int, object] c # cannot be a ctuple
):
"""
>>> test_tuple((1, 1.0), (1, 1.0), (1, 1.0))
int
int
tuple object
tuple object
"""
cdef typing.Tuple[int, float] x = (a[0], a[1])
cdef Tuple[int, ...] y = (1,2.)
z = a[0] # should infer to int
print(cython.typeof(z))
print(cython.typeof(x[0]))
print(cython.typeof(y))
print(cython.typeof(c))
|
