blob: 58b4a649a05bd71290501ad232002b06548b2955 (
plain) (
blame)
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
|
$s = @@
def f(x):
class Once:
def __init__(self, v):
self.v = v
self.extracted = False
def extract(self):
assert not self.extracted
self.extracted = True
ret = self.v
self.v = None
return ret
return Once(x + 1)
def g(x):
return x.extract() * 2
@@;
$l = DynamicLinearType(Int32);
$p = Python::f(Callable<(Int32)->$l>, $s);
$c = Python::g(Callable<($l)->Int32>, $s);
select $c($p(1));
|