equal
deleted
inserted
replaced
696 } |
696 } |
697 } |
697 } |
698 |
698 |
699 if (function_type_prefix != NULL) { |
699 if (function_type_prefix != NULL) { |
700 s4o.print("("); |
700 s4o.print("("); |
701 function_type_prefix->accept(*this); |
701 search_expression_type->default_literal_type(function_type_prefix)->accept(*this); |
702 s4o.print(")"); |
702 s4o.print(")"); |
|
703 } |
|
704 if (function_type_suffix != NULL) { |
|
705 function_type_suffix = search_expression_type->default_literal_type(function_type_prefix); |
703 } |
706 } |
704 if (has_output_params) { |
707 if (has_output_params) { |
705 fcall_number++; |
708 fcall_number++; |
706 s4o.print("__"); |
709 s4o.print("__"); |
707 fbname->accept(*this); |
710 fbname->accept(*this); |