This commit is contained in:
Kartik K. Agaram 2015-10-27 14:49:36 -07:00
parent a17f9186c1
commit 9e30dba08d
2 changed files with 5 additions and 5 deletions

View File

@ -348,7 +348,7 @@ string reagent::to_string() const {
return out.str();
}
void dump_property(const string_tree* property, ostringstream& out) {
void dump_property(const string_tree* property, ostream& out) {
if (!property) {
out << "<>";
return;
@ -376,7 +376,7 @@ string dump_types(const reagent& x) {
return out.str();
}
void dump_types(type_tree* type, ostringstream& out) {
void dump_types(type_tree* type, ostream& out) {
if (!type->left && !type->right) {
out << Type[type->value].name;
return;

View File

@ -42,7 +42,7 @@ string slurp_quoted(istream& in) {
// A string is a code string if it contains a newline before any non-whitespace
// todo: support comments before the newline. But that gets messy.
bool is_code_string(istream& in, ostringstream& out) {
bool is_code_string(istream& in, ostream& out) {
while (!in.eof()) {
char c = in.get();
if (!isspace(c)) {
@ -59,7 +59,7 @@ bool is_code_string(istream& in, ostringstream& out) {
// Read a regular string. Regular strings can only contain other regular
// strings.
void slurp_quoted_comment_oblivious(istream& in, ostringstream& out) {
void slurp_quoted_comment_oblivious(istream& in, ostream& out) {
int brace_depth = 1;
while (!in.eof()) {
char c = in.get();
@ -79,7 +79,7 @@ void slurp_quoted_comment_oblivious(istream& in, ostringstream& out) {
}
// Read a code string. Code strings can contain either code or regular strings.
void slurp_quoted_comment_aware(istream& in, ostringstream& out) {
void slurp_quoted_comment_aware(istream& in, ostream& out) {
char c;
while (in >> c) {
if (c == '\\') {