← Back to branch summary

~eda-qa/leaflang/cpp

« back to all changes in this revision

Viewing changes to src/test/type_identifier_infer.cpp

  • Committer: edA-qa mort-ora-y
  • Date: 2017-06-03 05:03:54 UTC
  • mfrom: (98.1.18 typefixes)
  • Revision ID: eda-qa@disemia.com-20170603050354-6hfg5huvq56zjs66
merging typefixes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/test/type_identifier_infer.cpp
30
30
                auto vt_assign = determine_type( assign, flags );
31
31
 
32
32
                try {
33
 
                        result = tid.infer( *vt_spec, vt_assign, init_refer );
 
33
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
34
34
                } catch( ... ) {
35
35
                        ex.except();
36
36
                }
50
50
 
51
51
                type_identifier::resolve_t result;
52
52
                try {
53
 
                        result = tid.infer( *vt_spec, vt_assign, init_refer );
 
53
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
54
54
                } catch( ... ) {
55
55
                        ex.except();
56
56
                }
69
69
                auto vt_spec = parse_spec( spec );
70
70
 
71
71
                try {
72
 
                        result = tid.infer( *vt_spec, vt_assign, init_refer );
 
72
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
73
73
                } catch( ... ) {
74
74
                        ex.except();
75
75
                }
94
94
                auto vt_assign = determine_type( assign );
95
95
 
96
96
                try {
97
 
                        result = tid.infer_spec( *vt_spec, vt_assign, false );
 
97
                        result = type_identifier::infer_spec( the_context, *vt_spec, vt_assign, false );
98
98
                } catch( ... ) {
99
99
                        ex.except();
100
100
                }
121
121
                auto vt_assign = determine_type( assign );
122
122
 
123
123
                try {
124
 
                        result = tid.infer_value_list( vt_assign, init_refer );
 
124
                        result = type_identifier::infer_value_list( the_context, vt_assign, init_refer );
125
125
                } catch( ... ) {
126
126
                        ex.except();
127
127
                }
221
221
BOOST_AUTO_TEST_CASE( infer_tuple ) {
222
222
        tester_infer t;
223
223
        t( "[:]", "[ : integer ]", "[ : integer ]" );
224
 
        t( "[a,:]", "[:float,b:boolean]", "[ a : float, b : boolean ]" );
 
224
        t( "[a,:]", "[:float,b:boolean]", "[ a : float, : boolean ]" );
225
225
        t( "[:optional,:128bit]", "[:integer,:integer]", "[ : integer optional, : integer 128bit ]" );
226
226
        
227
227
        t( "", "[ : rational 2bit ]", "[ : integer ]" );