Function generateLambdaFunction

src/ast/ast_generate.cpp:685–756

    }

    FunctionPtr generateLambdaFunction ( const string & lambdaName, ExprBlock * block,
                                        const StructurePtr & ls, const safe_var_set & capt,
                                        const vector<CaptureEntry> & capture, uint32_t genFlags, Program * thisProgram ) {
        auto lfn = lambdaName + "`function";
        auto pFunc = new Function();
        pFunc->lambda = true;
        pFunc->generated = true;
        pFunc->at = pFunc->atDecl = block->at;
        pFunc->name = lfn;
        pFunc->privateFunction = true;
        pFunc->requestJit = (genFlags & generator_jit)!=0;
        pFunc->requestNoJit = (genFlags & generator_nojit)!=0;
        auto fb = new ExprBlock();
        fb->at = block->at;
        auto with = new ExprWith(block->at);
        with->with = new ExprVar(block->at, "__this");
        with->with->generated = true;
        with->body = block->clone();
        ((ExprBlock *) with->body)->isLambdaBlock = false;    // this is now a body of the function, not a lambda block
        static_cast<ExprBlock*>(with->body)->finalList.clear();
        if ( genFlags & generator_needYield ) {
            pFunc->generator = true;
            auto bbl = static_cast<ExprBlock*>(with->body);
            // goto __yeild
            auto gvar = new ExprVar(block->at, "__yield");
            auto gexpr = new ExprGoto(block->at, static_cast<Expression*>(gvar));
            bbl->list.insert(bbl->list.begin(), gexpr);
            // label "0"
            auto lzero = new ExprLabel(block->at, pFunc->totalGenLabel);
            bbl->list.insert(bbl->list.begin() + 1, lzero);
            pFunc->totalGenLabel ++;
        }
        auto wb = static_cast<ExprBlock*>(with->body);
        wb->blockFlags = 0;
        wb->arguments.clear();
        wb->returnType = nullptr;
        fb->list.push_back(with);
        pFunc->body = fb;
        pFunc->result = new TypeDecl(*block->type);
        auto cTHIS = new Variable();
        cTHIS->generated = true;
        cTHIS->at = block->at;
        cTHIS->name = "__this";
        cTHIS->type = new TypeDecl(ls);
        cTHIS->type->isExplicit = true;
        pFunc->arguments.push_back(cTHIS);
        for ( auto & arg : block->arguments ) {
            auto cA = arg->clone();
            cA->marked_used = true;             // to avoid 'unused argument' error
            pFunc->arguments.push_back(cA);
        }
        for ( auto & var : capt ) {
            CaptureMode mode = CaptureMode::capture_any;
            auto it = find_if ( capture.begin(), capture.end(), [&] ( const auto & entry ){
                return entry.name == var->name;
            });
            if ( it != capture.end() ) {
                mode = it->mode;