semantic/semantic-python/test/fixtures/2-06-nested-function-definition.py

# CHECK-TREE: { const <- rec const = \a -> \b -> { identity <- rec identity = \x -> x; identity a }; #record{ const: const }}

def const(a, b):
    def identity(x):
        return x

    return identity(a)
Use `rec` so functions can refer to themselves in their bodies. Code like the following kind is legal in Python: ```python def recursive(a): return recursive ``` This implies that function and class definitions need to use the Core `rec` construct so that their bodies have an appropriate entry in the scope. 2019-10-17 00:34:43 +03:00			`# CHECK-TREE: { const <- rec const = \a -> \b -> { identity <- rec identity = \x -> x; identity a }; #record{ const: const }}`
Add unit tests. 2019-10-11 18:50:22 +03:00
			`def const(a, b):`
			`def identity(x):`
			`return x`

			`return identity(a)`