1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#include "builtins/builtins.h"
#include "execute/execute.h"
namespace goose::builtins
{
ptr< OverloadSet > CreateOverloadSet( Env& env, const StringId& name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
auto pOvlSet = make_shared< OverloadSet >( identity );
env.storeValue( identity, ANYTERM( _ ), ValueToEIR( ToValue( pOvlSet ) ) );
return pOvlSet;
}
ptr< OverloadSet > GetOverloadSet( Env& env, const StringId& name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
Term result;
switch( env.retrieveValue( identity, RootG0Identity(), result ) )
{
case sema::Env::Status::Success:
return *FromValue< ptr< OverloadSet > >( *EIRToValue( result ) );
case sema::Env::Status::NoMatch:
G_ERROR( format( "fatal: overload set {} not found", name ) );
case sema::Env::Status::AmbiguousMatch:
G_ERROR( format( "fatal: ambiguous match for overload set {}", name ) );
}
return nullptr;
}
ptr< OverloadSet > GetOrCreateOverloadSet( Env& env, const StringId& name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
Term result;
switch( env.retrieveValue( identity, RootG0Identity(), result ) )
{
|
|
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#include "builtins/builtins.h"
#include "execute/execute.h"
namespace goose::builtins
{
ptr< OverloadSet > CreateOverloadSet( Env& env, StringId name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
auto pOvlSet = make_shared< OverloadSet >( identity );
env.storeValue( identity, ANYTERM( _ ), ValueToEIR( ToValue( pOvlSet ) ) );
return pOvlSet;
}
ptr< OverloadSet > GetOverloadSet( Env& env, StringId name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
Term result;
switch( env.retrieveValue( identity, RootG0Identity(), result ) )
{
case sema::Env::Status::Success:
return *FromValue< ptr< OverloadSet > >( *EIRToValue( result ) );
case sema::Env::Status::NoMatch:
G_ERROR( format( "fatal: overload set {} not found", name ) );
case sema::Env::Status::AmbiguousMatch:
G_ERROR( format( "fatal: ambiguous match for overload set {}", name ) );
}
return nullptr;
}
ptr< OverloadSet > GetOrCreateOverloadSet( Env& env, StringId name )
{
auto identity = AppendToVectorTerm( RootG0Identity(), TERM( name ) );
Term result;
switch( env.retrieveValue( identity, RootG0Identity(), result ) )
{
|