It is the expanded AST, i.e. the same as this (except for line numbers): (:(x -> x + 1) |> expand).ast
As far as `eval`: try eval'ing `:(x -> x+1) |> expand` directly, and then look at the form of that expanded expression (hint: it is a LambdaStaticData). Also see how this is done in `base/serialize.jl` -- or, ideally, just reuse that functionality. On Wed, Oct 7, 2015 at 7:13 PM, Andrei Zh <faithlessfri...@gmail.com> wrote: > 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? > >
