| # 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 |
