Goose  Artifact [3e9f48b337]

Artifact 3e9f48b3370e118bd76c0d00199661a7248ab5e6cbc642f339472024cf499be8:

  • File bs/parse/overload.cpp — part of check-in [9089b014a2] at 2019-03-16 23:19:44 on branch trunk — Overloading: parse function overloading, and multiple fixes. Overloading now works. (user: achavasse size: 1267)

#include "parse.h"
#include "builtins/builtins.h"
#include "precedence.h"

using namespace empathy;
using namespace empathy::parse;
using namespace empathy::builtins;

optional< uint32_t > Parser::getInfixOverloadSetPrecedence()
{
    if( isInParenExpr() )
        return nullopt;

    auto next = m_resolver->lookAheadUnresolved( 1 );
    if( !next )
        return nullopt;

    auto decomp = Decompose( *next, Val< Delimiter >() );
    if( !decomp || *decomp != Delimiter::OpenParen )
        return nullopt;

    return precedence::Application;
}

bool Parser::parseInfixOverloadSet( const ptr< builtins::OverloadSet >& pOvlSet, uint32_t prec )
{
    auto rt = *pop();
    m_resolver->consume();

    auto params = parseParenBlock( Delimiter::OpenParen );
    if( !params )
        return false;

    optional< Value > func;

    if( rt.type() == TSID( type ) )
        func = parseFunctionDeclaration( pOvlSet->name(), rt, *params );
    else if( IsTExpr( rt ) )
        func = parseTemplateFunction( pOvlSet->name(), rt, *params );

    if( !func )
        return false;

    const auto& c = m_resolver->context();
    if( !pOvlSet->add( c, *func ) )
    {
        cout << "error: duplicate function overload\n";
        return false;
    }

    return true;
}