From 554b08a7d2e1b3257f1e4f8b6c9d8325aad3f1f2 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 4 Feb 2020 17:47:57 -0700 Subject: [PATCH] version bump, README.md tweak --- Cargo.toml | 2 +- README.md | 2 +- src/prolog/heap_print.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 1a82f54d..90e9e827 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scryer-prolog" -version = "0.8.116" +version = "0.8.117" authors = ["Mark Thom "] build = "build.rs" repository = "https://github.com/mthom/scryer-prolog" diff --git a/README.md b/README.md index 1af4e24d..baa94241 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ Extend Scryer Prolog to include the following, among other features: (backtrackable). - [x] Delimited continuations based on reset/3, shift/1 (documented in "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"). - [ ] A _redone_ representation of strings as difference list of chars, using a packed internal representation (_in progress_). diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs index 76df2798..98ae63c1 100644 --- a/src/prolog/heap_print.rs +++ b/src/prolog/heap_print.rs @@ -147,7 +147,7 @@ fn char_to_string(c: char) -> String { '\u{0c}' => "\\f".to_string(), // UTF-8 form feed '\u{08}' => "\\b".to_string(), // UTF-8 backspace '\u{07}' => "\\a".to_string(), // UTF-8 alert - '\x20'..='\x7e' => c.to_string(), + '\x20' ..= '\x7e' => c.to_string(), _ => format!("\\x{:x}\\", c as u32), } } -- 2.54.0