PythonExtra/tests/micropython/viper_const.py

# test loading constants in viper functions


@micropython.viper
def f():
    return b"bytes"


print(f())


@micropython.viper
def f():
    @micropython.viper
    def g() -> int:
        return 123

    return g


print(f()())
tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`# test loading constants in viper functions`

tests: Format all Python code with black, except tests in basics subdir. This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. 2020-03-23 03:26:08 +01:00
tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`@micropython.viper`
			`def f():`
			`return b"bytes"`
tests: Format all Python code with black, except tests in basics subdir. This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. 2020-03-23 03:26:08 +01:00

tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`print(f())`

tests: Format all Python code with black, except tests in basics subdir. This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. 2020-03-23 03:26:08 +01:00
tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`@micropython.viper`
			`def f():`
			`@micropython.viper`
			`def g() -> int:`
			`return 123`
tests: Format all Python code with black, except tests in basics subdir. This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. 2020-03-23 03:26:08 +01:00
tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`return g`
tests: Format all Python code with black, except tests in basics subdir. This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting. 2020-03-23 03:26:08 +01:00

tests/micropython: Test loading const objs in native and viper funcs. 2018-09-27 15:37:33 +02:00			`print(f()())`