Goose  Diff

Differences From Artifact [d0278564b4]:

• File bs/builtins/types/template/build.h — part of check-in [00408e8723] at 2021-09-26 21:11:32 on branch trunk — TDecl: instead of directly storing the type signature (and forgetting all about the nested TExprs), we store the TExpr and generate the signature during typechecking (user: achavasse size: 530)

To Artifact [5ea01fef51]:

• File bs/builtins/types/template/build.h — part of check-in [39c8a653da] at 2021-09-28 17:59:46 on branch trunk — Fix functions and template functions not getting compiled with visibility over their original enclosing scope, but over the current scope at the point of invocation instead (user: achavasse size: 566)

1
2
3
4
5
6
7
8

9
10
11
12
13

#ifndef GOOSE_BUILTINS_TEMPLATE_BUILD_H
#define GOOSE_BUILTINS_TEMPLATE_BUILD_H

namespace goose::builtins
{
    extern TFuncType BuildTFuncType( const Value& returnType, const Value& params );
    extern optional< Term > BuildTFuncSignature( const Context& c, const TFuncType& tft );
    extern Value BuildTFunc( const Context& c, const TFuncType& tft, const Term& identity, const Value& params, ptr< void > body );


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

#endif

|
>

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

#ifndef GOOSE_BUILTINS_TEMPLATE_BUILD_H
#define GOOSE_BUILTINS_TEMPLATE_BUILD_H

namespace goose::builtins
{
    extern TFuncType BuildTFuncType( const Value& returnType, const Value& params );
    extern optional< Term > BuildTFuncSignature( const Context& c, const TFuncType& tft );
    extern Value BuildTFunc( const Context& c, const TFuncType& tft,
        const Term& parentIdentity, const Term& identity, const Value& params, ptr< void > body );

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

#endif