Help with a macro

mfunc.jl

abstract type ContextCall{FN,MOD,C} end
abstract type Context{C} end
Context{C}(x) where C = x

# desired output for macro
# @mfunction AAA(a::Int64,b::Int64) = a+b
#

@generated ContextCall{:AAA,:Main,C}(a::Int64,b::Int64) where C = begin
    code = quote
        a+b
    end
    Context{C}(code)
end

ContextCall{:AAA,:Main,Any}(1,2) #3

################################################
#my groping in the dark
using MacroTools
using MacroTools: combinedef

D = splitdef(:(AAB(a::Int64,b::Int64) = a+b))
mod = current_module()
MOD = module_name(mod)
FN = D[:name]

D[:name] = Symbol("ContextCall{:$FN,:$MOD,C}")
D[:whereparams] = (:C,)
body = deepcopy(D[:body])

body  = "code = quote $body end;Context{C}(code)"
D[:body] = parse(body)

A = sprint(print,:(@generated $(combinedef(D))))
parse(A)
eval(parse(A))

ContextCall{:AAB,:Main,Any}(1,2)