If `f` is anonymous function:
f = x -> x + 1
what is the format of AST returned by:
Base.uncompressed_ast(f.code)
? I expected it to be pure AST of a lambda function, but it's quite
different from quoting lambda directly:
julia> dump(Base.uncompressed_ast(f.code))
Expr
head: Symbol lambda
args: Array(Any,(3,))
1: Array(Any,(1,))
1: Expr
head: Symbol ::
args: Array(Any,(2,))
1: Symbol x
2: Symbol Any
typ: Any
2: Array(Any,(4,))
1: Array(Any,(1,))
1: Array(Any,(3,))
1: Symbol x
2: Symbol Any
3: Int64 0
2: Array(Any,(0,))
3: Int64 0
4: Array(Any,(0,))
3: Expr
head: Symbol body
args: Array(Any,(2,))
1: LineNumberNode
file: Symbol /home/slipslop/work/jl/Sparta/src/fnserialization.jl
line: Int64 63
2: Expr
head: Symbol return
args: Array(Any,(1,))
typ: Any
typ: Any
typ: Any
!julia> dump(quote x -> x + 1 end)
Expr
head: Symbol block
args: Array(Any,(2,))
1: LineNumberNode
file: Symbol none
line: Int64 1
2: Expr
head: Symbol ->
args: Array(Any,(2,))
1: Symbol x
2: Expr
head: Symbol block
args: Array(Any,(2,))
typ: Any
typ: Any
typ: Any
And most important is that it doesn't resulting AST doesn't evaluate back
to a proper anonymous function:
julia> ast = Base.uncompressed_ast(f.code)
:($(Expr(:lambda, Any[:(x::Any)], Any[Any[Any[:x,:Any,0]],Any[],0,Any[]],
:(begin # /home/slipslop/work/jl/Sparta/src/fnserialization.jl, line 63:
return x + 1
end))))
julia> fn = eval(ast)
(anonymous function)
julia> fn(1)
ERROR: wrong number of arguments
in anonymous at no file
So how do I read the output of `Base.uncompressed_ast` and what is the
proper way to reconstruct (anonymous) function from AST?
