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
|
# Builtins stubs used implicitly in program transformation test cases.
class object:
def __init__(self) -> None: pass
class type: pass
# str is handy for debugging; allows outputting messages.
class str: pass
# Primitive types int/float have special coercion behaviour (they may have
# a different representation from ordinary values).
class int: pass
class float: pass
# The functions below are special functions used in test cases; their
# implementations are actually in the __dynchk module, but they are defined
# here so that the semantic analyzer and the type checker are happy without
# having to analyze the entire __dynchk module all the time.
#
# The transformation implementation has special case handling for these
# functions; it's a bit ugly but it works for now.
def __print(a1=None, a2=None, a3=None, a4=None):
# Do not use *args since this would require list and break many test
# cases.
pass
class dict: pass
|
