Goose  Diff

Differences From Artifact [0fb2bcab89]:

• File bs/builtins/types/template/tfunc.cpp — part of check-in [27fc719d74] at 2019-08-16 14:48:20 on branch trunk — Added a new type of template expression: TVec, along with a helper function to make it possible for parametric types to be constructed either normally or as a template expression when passed template parameters. Only used by LocalVar for now, parametric runtime types require some refactoring. (user: achavasse size: 1154)

To Artifact [db6c4c0d87]:

• File bs/builtins/types/template/tfunc.cpp — part of check-in [af650a9e95] at 2019-09-22 14:37:55 on branch trunk — Project renaming. (user: achavasse size: 1148)

1
2
3
4
5
6


7
8

9
10
11
12
13
14
15

1
2
3
4


5
6
7

8
9
10
11
12
13
14
15

-
-
+
+

-
+

#include "builtins/builtins.h"
#include "lex/lex.h"
#include "parse/parse.h"

using namespace empathy::builtins;
using namespace empathy::parse;
using namespace goose::builtins;
using namespace goose::parse;

namespace empathy::ir
namespace goose::ir
{
    Term Bridge< TFunc >::Type( const builtins::TFunc& tf )
    {
        return ValueToIRExpr( ::ToValue( tf.type() ) );
    }

    Value Bridge< TFunc >::ToValue( const TFunc& tf )