|
@@ -15800,8 +15800,8 @@ $\Rightarrow$
|
|
% free_var.py
|
|
% free_var.py
|
|
\begin{lstlisting}
|
|
\begin{lstlisting}
|
|
def f(x : int) -> Callable[[int], int]:
|
|
def f(x : int) -> Callable[[int], int]:
|
|
- y = 4
|
|
|
|
- return lambda z: x + y + z
|
|
|
|
|
|
+ y = 4
|
|
|
|
+ return lambda z: x + y + z
|
|
|
|
|
|
g = f(5)
|
|
g = f(5)
|
|
h = f(3)
|
|
h = f(3)
|
|
@@ -15817,7 +15817,7 @@ def lambda_0(fvs_1:tuple[bot,int,tuple[int]],z:int) -> int:
|
|
def f(fvs_2:bot, x:int) -> tuple[Callable[[tuple[],int], int]]
|
|
def f(fvs_2:bot, x:int) -> tuple[Callable[[tuple[],int], int]]
|
|
y = (777,)
|
|
y = (777,)
|
|
y[0] = 4
|
|
y[0] = 4
|
|
- return (lambda_0, y, x)
|
|
|
|
|
|
+ return (lambda_0, x, y)
|
|
|
|
|
|
def main() -> int:
|
|
def main() -> int:
|
|
g = (let clos_3 = (f,) in clos_3[0](clos_3, 5))
|
|
g = (let clos_3 = (f,) in clos_3[0](clos_3, 5))
|