Goose  Diff

Differences From Artifact [5453969da2]:

• File bs/builtins/types/runtime/unify.cpp — part of check-in [0db33d7cb4] at 2019-09-07 16:53:53 on branch trunk — ir: rewrote the super inefficient "term versus trie" matching function. This speeds up everything significantly: compiling the mandelbrot sample is no longer embarrassingly slower than compiling an equivalent c++ version with clang. (user: achavasse size: 7135)

To Artifact [9dd5078278]:

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

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

#include "builtins/builtins.h"

using namespace empathy;
using namespace empathy::ir;

namespace empathy::builtins
{
    void SetupRuntimeTypesUnification( Env& e )
    {
        auto rtIntTypePattern = Value( TypeType(), VEC( TSID( rt_type ),
            ANYTERM( _ ),
            TSID( integer ), ANYTERM( _ ), ANYTERM( _ ) ) );

|
|

|

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

#include "builtins/builtins.h"

using namespace goose;
using namespace goose::ir;

namespace goose::builtins
{
    void SetupRuntimeTypesUnification( Env& e )
    {
        auto rtIntTypePattern = Value( TypeType(), VEC( TSID( rt_type ),
            ANYTERM( _ ),
            TSID( integer ), ANYTERM( _ ), ANYTERM( _ ) ) );