equal
deleted
inserted
replaced
724 s4o.print("("); |
724 s4o.print("("); |
725 search_expression_type->default_literal_type(function_type_prefix)->accept(*this); |
725 search_expression_type->default_literal_type(function_type_prefix)->accept(*this); |
726 s4o.print(")"); |
726 s4o.print(")"); |
727 } |
727 } |
728 if (function_type_suffix != NULL) { |
728 if (function_type_suffix != NULL) { |
729 function_type_suffix = search_expression_type->default_literal_type(function_type_prefix); |
729 function_type_suffix = search_expression_type->default_literal_type(function_type_suffix); |
730 } |
730 } |
731 if (has_output_params) { |
731 if (has_output_params) { |
732 fcall_number++; |
732 fcall_number++; |
733 s4o.print("__"); |
733 s4o.print("__"); |
734 fbname->accept(*this); |
734 fbname->accept(*this); |