Goose  Diff

Differences From Artifact [ee3d90c1e4]:

• File bs/builtins/types/template/build.h — part of check-in [114cdaf51b] at 2019-02-22 21:43:18 on branch trunk — Templates: implemented BuildTFuncType() and BuildTFunc(). (user: achavasse size: 346)

To Artifact [c73033e19d]:

• File bs/builtins/types/template/build.h — part of check-in [65cbac9aa3] at 2019-03-19 20:17:30 on branch trunk — Higher-order functions: implemented BuildArgPatternFromFuncType() and BuildArgPatternFromTFuncType(). (user: achavasse size: 463)

1
2
3
4
5
6
7


8
9
10

#ifndef EMPATHY_BUILTINS_TEMPLATE_BUILD_H
#define EMPATHY_BUILTINS_TEMPLATE_BUILD_H

namespace empathy::builtins
{
    TFuncType BuildTFuncType( const Value& returnType, const Value& params );
    optional< Value > BuildTFunc( const Context& c, const StringId& id, const Value& returnType, const Value& params, vector< Term >&& body );


}

#endif

|
|
>
>

1
2
3
4
5
6
7
8
9
10
11
12

#ifndef EMPATHY_BUILTINS_TEMPLATE_BUILD_H
#define EMPATHY_BUILTINS_TEMPLATE_BUILD_H

namespace empathy::builtins
{
    extern TFuncType BuildTFuncType( const Value& returnType, const Value& params );
    extern optional< Value > BuildTFunc( const Context& c, const StringId& id, const Value& returnType, const Value& params, vector< Term >&& body );

    extern optional< Term > BuildArgPatternFromTFuncType( const Context& c, const Value& tfuncType );
}

#endif