From: Mark Thom <mark.thom@unb.ca>
Date: Wed, 2 Oct 2019 17:33:28 +0000 (-0600)
Subject: remove readline_compat_rs reference from README
X-Git-Tag: v0.8.110~28
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b12ba338df1072274b309a62420e223ac23dbdbb;p=scryer-prolog.git

remove readline_compat_rs reference from README
---

diff --git a/README.md b/README.md
index a52927a2..57d71b1e 100644
--- 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,
 
 ```
diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index 2fd6ffb6..8ca98b3c 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -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),