blob: a679ed4c2c5d20f0e763c1d91ba56d2b11a13734 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* custom error:PrintBacktraceToStderr*/
/* dqfile can not */
USE plato;
$f=Python3::f(@@
def f(x):
"""
Callable<(Int32)->Int32>
"""
import ctypes
def deref(addr, typ):
return ctypes.cast(addr, ctypes.POINTER(typ)).contents
print(deref(1, ctypes.c_int))
return 0
@@);
select $f(0);
|