Goose  Diff

Differences From Artifact [80fa9818a3]:

• File bs/sema/hole.cpp — part of check-in [e3c02e29f3] at 2018-12-11 20:20:06 on branch trunk — Some initial work on hole unification. (user: achavasse size: 859)

To Artifact [b204d8caf8]:

• File bs/sema/hole.cpp — part of check-in [d126da38f7] at 2018-12-26 00:48:18 on branch trunk — Implement hole half-unification. (user: achavasse size: 863)

1
2
3
4
5

6
7
8
9
10
11
12

1
2
3
4

5
6
7
8
9
10
11
12

-
+

#include "sema.h"

namespace empathy::sema
{
    Term ToIRExpr( const Hole& h )
    Term HoleToIRExpr( const Hole& h )
    {
        return visit( [&]( auto&& x )
        {
            return TVEC( TSID( hole ), TERM( x ) ).setNumHoles( 1 );
        }, h );
    }