Goose  Diff

Differences From Artifact [2e80d96b40]:

• File bs/parse/resolver.cpp — part of check-in [9b8306c3af] at 2023-01-05 19:44:44 on branch trunk — Fixed passing tuple by value to functions, which involved properly handling type checking of constant tuples containing computed data and some codegen bugs (user: zlodo size: 5666)

To Artifact [b91599d289]:

• File bs/parse/resolver.cpp — part of check-in [32f94cd2e1] at 2023-08-02 21:46:53 on branch trunk — Implemented forall statement (user: zlodo size: 5694)

99
100
101
102
103
104
105


106
107
108
109
110
111
112

    }

    return TermLoc( result, t.second );
}

Generator< TermLoc > Resolver::consumeUnit()
{


    auto tok = consumeUnresolved();
    if( !tok )
        co_return;

    const auto* delim = get_if< Delimiter >( &tok->first );
    if( !delim )
    {

>
>

99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

    }

    return TermLoc( result, t.second );
}

Generator< TermLoc > Resolver::consumeUnit()
{
    clearLookAheadCache();

    auto tok = consumeUnresolved();
    if( !tok )
        co_return;

    const auto* delim = get_if< Delimiter >( &tok->first );
    if( !delim )
    {