]> Repositorios git - scryer-prolog.git/commitdiff
remove readline_compat_rs reference from README
authorMark Thom <[email protected]>
Wed, 2 Oct 2019 17:33:28 +0000 (11:33 -0600)
committerMark Thom <[email protected]>
Wed, 2 Oct 2019 17:33:28 +0000 (11:33 -0600)
README.md
src/prolog/toplevel.pl

index a52927a280e8ae8c56fafcffd8c0101f3ee0b732..57d71b1ee3c19f60d2d27f5c59b11ec892618872 100644 (file)
--- a/README.md
+++ b/README.md
@@ -101,32 +101,13 @@ $> cargo install scryer-prolog
 ```
 
 cargo will download and install the libraries Scryer Prolog uses
-automatically, save for the C library readline. The
-`readline_rs_compat` crate on which Scryer depends (and which is built
-and maintained by myself) will search the following library paths for
-readline:
-
-```
-/lib
-/usr/lib
-/usr/local/lib
-/lib/x86_64-linux-gnu
-/opt/local/lib
-```
-
-If you'd like to disable readline (and the need for linking to it),
-install with the line
-
-```
-cargo install scryer-prolog --no-default-features
-```
-
-You can find the `scryer-prolog` executable in `~/.cargo/bin`.
+automatically. You can find the `scryer-prolog` executable in
+`~/.cargo/bin`.
 
 Note on compatibility: Scryer Prolog should work on Linux, Mac OS X,
 and BSD variants on which Rust runs. Windows support hinges on
-readline and Termion being fully functional in that environment, which
-to my knowledge is not currently the case.
+rustyline and Termion being functional in that environment, which to
+my knowledge is not currently the case.
 
 ## Built-in predicates
 
@@ -316,7 +297,7 @@ To quit scryer-prolog, type
 
 ### Dynamic operators
 
-Scryper supports dynamic operators. Using the built-in
+Scryer supports dynamic operators. Using the built-in
 arithmetic operators with the usual precedences,
 
 ```
index 2fd6ffb63a88e4e346b0a8a2112a3aa83d2ce23d..8ca98b3c713523769e5201388d8b8c0a00cfff51 100644 (file)
@@ -79,6 +79,7 @@ user:term_expansion(Term0, (:- initialization(ExpandedGoals))) :-
     Term0 = (:- initialization(Goals)),
     expand_goals(Goals, ExpandedGoals).
 
+%%TODO: what if Goals expands to.. a list of goals?? We need to handle that.
 expand_goals(Goals, ExpandedGoals) :-
     nonvar(Goals),
     var(ExpandedGoals),