rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

replace \n\r and \r\n by \n (#221)

Browse Source
This commit is contained in:
Mark Thom
2019-10-27 20:50:21 -06:00
parent e594ade84d
commit 81f220a4d2
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/prolog/machine/machine_state.rs
View File

@@ -706,7 +706,7 @@ pub(crate) trait CallPolicy: Any {
&BuiltInClauseType::Nl => {
let mut stdout = stdout();
write!(stdout, "\n\r").unwrap();
write!(stdout, "\n").unwrap();
stdout.flush().unwrap();
return_from_clause!(machine_st.last_call, machine_st)
}

10
src/prolog/machine/mod.rs
View File

@@ -722,11 +722,11 @@ impl Machine {
let result = match keypress {
ContinueResult::ContinueQuery => {
print!(" ;\r\n");
print!(" ;\n");
self.continue_query(&alloc_locs)
}
ContinueResult::Conclude => {
print!(" ...\r\n");
print!(" ...\n");
self.absorb_snapshot(snapshot);
return;
}
@@ -738,7 +738,7 @@ impl Machine {
self.propagate_exception_to_toplevel(snapshot);
return;
} else {
print!("false.\r\n");
print!("false.\n");
self.absorb_snapshot(snapshot);
return;
}
@@ -752,7 +752,7 @@ impl Machine {
}
} else {
if bindings.is_empty() && attr_goals.is_empty() {
print!("true.\r\n");
print!("true.\n");
} else {
let space = if !attr_goals.is_empty() {
if requires_space(&attr_goals, ".") {
@@ -768,7 +768,7 @@ impl Machine {
}
};
print!("{}.\r\n", space);
print!("{}.\n", space);
}
break;