Goose  Artifact [1c6213ead1]

Artifact 1c6213ead159955c1b0f276a80d18c03023b54d39c0336b40f3ea83b3826f099:

• File bs/parse/rule-helpers.cpp — part of check-in [0db147f117] at 2024-09-15 20:24:31 on branch cir-ssa-refactor — Add clang format settings, reformat everything (user: achavasse size: 1067)

#include "parse.h"

using namespace goose;
using namespace goose::parse;

namespace goose::eir
{
    const Term& Bridge< parse::Rule >::Type()
    {
        static auto type = ValueToEIR( Value( TypeType(), VEC( TSID( ct_type ), TSID( rule ) ) ) );
        return type;
    }

    Value Bridge< parse::Rule >::ToValue( parse::Rule&& r )
    {
        ptr< void > prule = make_shared< parse::Rule >( move( r ) );
        return Value( Type(), TERM( move( prule ) ) );
    }

    optional< ptr< parse::Rule > > Bridge< parse::Rule >::FromValue( const Value& v )
    {
        if( v.type() != Type() )
            return nullopt;

        const auto& p = get< ptr< void > >( v.val() );
        return static_pointer_cast< parse::Rule >( p );
    }
} // namespace goose::eir

namespace goose::parse
{
    void RegisterRule( sema::Env& env, const Term& identity, Rule&& rule )
    {
        auto ruleVal = ToValue( move( rule ) );
        auto ruleTerm = ValueToEIR( ruleVal );
        env.storeValue( identity, ANYTERM( _ ), ruleTerm );
    }
} // namespace goose::parse