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