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

version bump, README.md tweak

Browse Source
This commit is contained in:
Mark Thom
2020-02-04 17:47:57 -07:00
parent 00b38549f5
commit 554b08a7d2
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.toml
View File

@@ -1,6 +1,6 @@
[package] [package]
name = "scryer-prolog" name = "scryer-prolog"
version = "0.8.116" version = "0.8.117"
authors = ["Mark Thom <markjordanthom@gmail.com>"] authors = ["Mark Thom <markjordanthom@gmail.com>"]
build = "build.rs" build = "build.rs"
repository = "https://github.com/mthom/scryer-prolog" repository = "https://github.com/mthom/scryer-prolog"

2
README.md
View File

@@ -50,7 +50,7 @@ Extend Scryer Prolog to include the following, among other features:
(backtrackable). (backtrackable).
- [x] Delimited continuations based on reset/3, shift/1 (documented in - [x] Delimited continuations based on reset/3, shift/1 (documented in
"Delimited Continuations for Prolog"). "Delimited Continuations for Prolog").
- [x] Add opt-in tabling library based on delimited continuations - [x] Tabling library based on delimited continuations
(documented in "Tabling as a Library with Delimited Control"). (documented in "Tabling as a Library with Delimited Control").
- [ ] A _redone_ representation of strings as difference list of - [ ] A _redone_ representation of strings as difference list of
chars, using a packed internal representation (_in progress_). chars, using a packed internal representation (_in progress_).

2
src/prolog/heap_print.rs
View File

@@ -147,7 +147,7 @@ fn char_to_string(c: char) -> String {
'\u{0c}' => "\\f".to_string(), // UTF-8 form feed '\u{0c}' => "\\f".to_string(), // UTF-8 form feed
'\u{08}' => "\\b".to_string(), // UTF-8 backspace '\u{08}' => "\\b".to_string(), // UTF-8 backspace
'\u{07}' => "\\a".to_string(), // UTF-8 alert '\u{07}' => "\\a".to_string(), // UTF-8 alert
'\x20'..='\x7e' => c.to_string(), '\x20' ..= '\x7e' => c.to_string(),
_ => format!("\\x{:x}\\", c as u32), _ => format!("\\x{:x}\\", c as u32),
} }
} }