53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
case sema::Env::Status::AmbiguousMatch:
throw logic_error( format( "fatal: ambiguous match for overload set {}", name ) );
}
return nullptr;
}
Value InvokeOverloadSet( const Context& c, const ptr< OverloadSet >& pOvlSet, const Value& args )
{
assert( pOvlSet );
Context localC( c.env(), c.identity(), GetValueType< uint32_t >() );
localC.setBuilder( c.codeBuilder() );
auto val = ResolveInvocation( localC, GetOverloadSetInvocationRule(), ToValue( pOvlSet ), args );
if( val.isConstant() || !llr::CanValueBeEagerlyEvaluated( val ) )
return val;
execute::VM vm;
|
|
>
>
>
>
>
>
>
>
<
|
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
case sema::Env::Status::AmbiguousMatch:
throw logic_error( format( "fatal: ambiguous match for overload set {}", name ) );
}
return nullptr;
}
Value InvokeOverloadSet( const Context& c, const ptr< OverloadSet >& pOvlSet, Value args )
{
assert( pOvlSet );
Context localC( c.env(), c.identity(), GetValueType< uint32_t >() );
localC.setBuilder( c.codeBuilder() );
execute::VM vm;
if( !args.isConstant() && llr::CanValueBeEagerlyEvaluated( args ) )
args = execute::Evaluate( args, vm );
if( args.isPoison() )
return PoisonValue();
auto val = ResolveInvocation( localC, GetOverloadSetInvocationRule(), ToValue( pOvlSet ), args );
if( val.isConstant() || !llr::CanValueBeEagerlyEvaluated( val ) )
return val;
return execute::Evaluate( val, vm );
}
}
|