Goose  Diff

Differences From Artifact [e3414a590c]:

• File bs/sema/substitute.cpp — part of check-in [176ee856a6] at 2021-02-12 23:57:22 on branch trunk — Added a "flavor" term to holes to be able to have specific rules for TVar holes and for forwarding holes. Refactored forwarding holes to use this, instead of being represented as compound expressions (which would probably have broken down horribly in some complex type checking scenarios) (user: achavasse size: 974)

To Artifact [ff6566a26b]:

• File bs/sema/substitute.cpp — part of check-in [52ea24b083] at 2021-02-25 12:10:33 on branch trunk — Implemented a new method to order function overloads. Enabled several new reference tests which are now working properly. (user: achavasse size: 1038)

27
28
29
30
31
32
33

34
35
36

27
28
29
30
31
32
33
34
35
36
37

+

        auto outputTerms = make_shared< Vector >();
        outputTerms->reserve( vec.terms().size() );

        for( auto&& t : vec.terms() )
            outputTerms->append( Substitute( t, context ) );

        outputTerms->setWeightOverride( vec.weightOverride() );
        return outputTerms;
    }
}