← Back to branch summary

~eda-qa/leaflang/misc

« back to all changes in this revision

Viewing changes to src/test/type_converter_parameterize_type.cpp

  • Committer: edA-qa mort-ora-y
  • Date: 2017-08-13 14:42:12 UTC
  • Revision ID: eda-qa@disemia.com-20170813144212-nwa1htc5hrs1na8t
several fixes for kata solution

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/test/type_converter_parameterize_type.cpp
144
144
                "( x : ^array｢ integer ｣, : ( : integer ) -> ( ) ) -> ( )" );
145
145
        t( "( x : array<:any:>, : ( : type_infer(x#0) ) ->() )", "( : array<:integer:>, : ( : )->() )", 
146
146
                "( x : ^array｢ integer ｣, : ( : integer ) -> ( ) )" );
 
147
                
 
148
        t( "( x : array｢array｢any｣｣ )", "( : array｢array｢integer｣｣ )", 
 
149
                "( x : ^array｢ ^array｢ integer ｣ ｣)" );
147
150
}
148
151
 
149
152
BOOST_AUTO_TEST_CASE( symbol_scope ) {