Goose  Diff

Differences From Artifact [867b64fef7]:

• File bs/builtins/types/func/invoke.cpp — part of check-in [25e7ce2c8c] at 2019-06-23 14:01:38 on branch trunk — Functions are now recompiled for different execution domains as needed. (user: achavasse size: 3474)

To Artifact [f25bc8ac41]:

• File bs/builtins/types/func/invoke.cpp — part of check-in [ef1e94f44d] at 2019-06-29 11:40:08 on branch trunk — Added a domain specifier in function and template function types. (user: achavasse size: 3488)

93
94
95
96
97
98
99
100
101
102
103
104

    };

    void SetupFunctionInvocationRule( Env& e )
    {
        e.invocationRuleSet()->addRule(
            ValueToIRExpr( ValuePattern( ANYTERM( _ ),
                ValueToIRExpr( Value( TypeType(), TVEC( TSID( func ),
                ANYTERM( _ ), ANYTERM( _ ), ANYTERM( _ ) ) ) ),
                ANYTERM( _ ) ) ),
            make_shared< FunctionInvocationRule >() );
    }
}

|

93
94
95
96
97
98
99
100
101
102
103
104

    };

    void SetupFunctionInvocationRule( Env& e )
    {
        e.invocationRuleSet()->addRule(
            ValueToIRExpr( ValuePattern( ANYTERM( _ ),
                ValueToIRExpr( Value( TypeType(), TVEC( TSID( func ),
                ANYTERM( _ ), ANYTERM( _ ), ANYTERM( _ ), ANYTERM( _ ) ) ) ),
                ANYTERM( _ ) ) ),
            make_shared< FunctionInvocationRule >() );
    }
}