Goose  Diff

Differences From Artifact [7a68c47dfd]:

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

To Artifact [2e87d6af79]:

  • File bs/empathy.cpp — part of check-in [093794896f] at 2019-01-12 13:11:32 on branch trunk — Some preliminary work on functions. (user: achavasse size: 1983)

43
44
45
46
47
48
49










50
51
52
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62







+
+
+
+
+
+
+
+
+
+



    auto testHole = sema::HoleFromIRExpr( holeExpr1 );
    cout << testHole.has_value() << endl;
    cout << sema::HoleToIRExpr( *testHole ) << endl;

    testHole = sema::HoleFromIRExpr( holeExpr2 );
    cout << testHole.has_value() << endl;
    cout << sema::HoleToIRExpr( *testHole ) << endl;

    cout << "\n===================================\n\n";

    sema::FunDecl fdecl1( TVEC(), TSID( retType ), TVEC() );

    auto ruleSet = make_shared< sema::FunRuleSet >();
    auto fun = sema::BuildFun( FunDeclToIRExpr( fdecl1 ), ruleSet );

    if( fun )
        cout << *fun << endl;

    return EXIT_SUCCESS;
}