Goose  verification.cpp at [b397dc5a7c]

File bs/g0api/support/verification.cpp artifact 7d952ec4fe part of check-in b397dc5a7c

#include "g0api/g0api.h"
#include "eir/eir.h"
#include "parse/parse.h"

using namespace goose;
using namespace goose::parse;

namespace goose::g0api
{
    void SetupApiVerificationFuncs( Env& e )
    {
        RegisterBuiltinFunc< Intrinsic< Value ( bool ) > >( e, "assert"_sid,
            []( const Context& c, const Value& cond )
            {
                return BuildComputedValue( GetValueType< void >(),
                    cir::Assert( cond ) );
            } );
    }
}