30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
}
}
namespace goose::eir
{
const Term& Bridge< TDecl >::Type()
{
static auto type = ValueToEIR( Value( TypeType(), TSID( tdecl ) ) );
return type;
}
Value Bridge< TDecl >::ToValue( const TDecl& td )
{
return Value( Type(), VEC( td.type(), TERM( td.name() ), TERM( td.repetitionDepth() ) ) );
}
|
|
|
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
}
}
namespace goose::eir
{
const Term& Bridge< TDecl >::Type()
{
static auto type = ValueToEIR( Value( TypeType(), VEC( TSID( texpr ), TSID( tdecl ) ) ) );
return type;
}
Value Bridge< TDecl >::ToValue( const TDecl& td )
{
return Value( Type(), VEC( td.type(), TERM( td.name() ), TERM( td.repetitionDepth() ) ) );
}
|