Goose  Diff

Differences From Artifact [a2d6943fbe]:

• File bs/sema/inv-func.cpp — part of check-in [714e009000] at 2019-01-28 23:05:09 on branch trunk — Sema: refactor function invocation rules so that they can provide a signature of the callee, in addition of resolving a call. (user: achavasse size: 944)

To Artifact [7d2f751447]:

• File bs/sema/inv-func.cpp — part of check-in [75e7722591] at 2019-01-28 23:22:09 on branch trunk —
  • Builtin funcs: build the function signature and store it in the function type.
  • Sema: update the pattern for the function invocation rule because of the above.
  (user: achavasse size: 960)

19
20
21
22
23
24
25
26

27
28
29

19
20
21
22
23
24
25

26
27
28
29

-
+

            }
    };

    void SetupFunctionInvocationRule( InvocationRuleSet& ruleSet )
    {
        ruleSet.addRule(
            ValueToIRExpr( Value( TSID( type ), TVEC( TSID( func ),
                ANYTERM( k ), ANYTERM( rt ), ANYTERM( p ) ) ) ),
                ANYTERM( k ), ANYTERM( rt ), ANYTERM( p ), ANYTERM( sig ) ) ) ),
                make_shared< FunctionInvocationRule >() );
    }
}