Goose  Diff

Differences From Artifact [26ad836550]:

• File bs/sema/hole.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: 1008)

To Artifact [cead5d1a4b]:

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

1
2
3
4
5
6
7
8
9
10

#include "sema.h"

namespace empathy::sema
{
    Term MkHole( const Hole& h )
    {
        return visit( [&]( auto&& x )
        {
            return SetComplexity( VEC( TSID( hole ), TERM( x ) ), 0 );
        }, h );

|

1
2
3
4
5
6
7
8
9
10

#include "sema.h"

namespace goose::sema
{
    Term MkHole( const Hole& h )
    {
        return visit( [&]( auto&& x )
        {
            return SetComplexity( VEC( TSID( hole ), TERM( x ) ), 0 );
        }, h );