Goose  Diff

Differences From Artifact [5ec3031404]:

  • File bs/builtins/types/func/invoke.cpp — part of check-in [05ada78145] at 2021-10-06 21:50:39 on branch trunk — Mut ref predicates verification: display a useful error message (user: zlodo size: 5497) [more...]

To Artifact [27f0bcacd1]:

  • File bs/builtins/types/func/invoke.cpp — part of check-in [562bf11329] at 2021-10-27 22:23:16 on branch trunk — Func: CompileFunc() doesn't perform function verification anymore, there's now a separate CompileAndVerifyFunc() for that (user: zlodo size: 5506)

108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
                if( IsBuiltinFunc( callee ) || IsBuiltinIntrinsicFunc( callee ) )
                    return callee;

                // TODO better description with the function's name if possible (we may need to explicitely store it in the func)
                DiagnosticsContext dc( 0, true );
                VerbosityContext vc( Verbosity::Normal, true );

                return CompileFunc( c, callee );
            }
    };

    ptr< InvocationRule >& GetFuncInvocationRule()
    {
        static ptr< InvocationRule > pRule = make_shared< FunctionInvocationRule >();
        return pRule;







|







108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
                if( IsBuiltinFunc( callee ) || IsBuiltinIntrinsicFunc( callee ) )
                    return callee;

                // TODO better description with the function's name if possible (we may need to explicitely store it in the func)
                DiagnosticsContext dc( 0, true );
                VerbosityContext vc( Verbosity::Normal, true );

                return CompileAndVerifyFunc( c, callee );
            }
    };

    ptr< InvocationRule >& GetFuncInvocationRule()
    {
        static ptr< InvocationRule > pRule = make_shared< FunctionInvocationRule >();
        return pRule;