diff options
author | Andy Wingo <wingo@pobox.com> | 2019-11-17 15:26:23 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2019-11-17 15:30:59 +0100 |
commit | b634071dd4c2401616c78d2a20471698123a23ca (patch) | |
tree | 2c1987cad64e7477ed5f6ab686dffce0e07f32b7 /module/ice-9/command-line.scm | |
parent | 72a2c742f6675e870421c61e66c5aec134398a5a (diff) | |
download | guile-wip-r7rs.tar.gz |
Add R7RS documentation and --r7rs command-line optionwip-r7rs
* doc/ref/Makefile.am: Add r7rs.texi.
* doc/ref/guile-invoke.texi (Command-line Options): Document --r7rs.
* doc/ref/guile.texi (Guile Modules): Link to R7RS.
* doc/ref/intro.texi (Guile and Scheme): Update for R7RS support.
* doc/ref/r7rs.texi: New file.
* doc/ref/scheme-intro.texi (Guile Scheme): Update for R7RS.
* module/ice-9/command-line.scm (*usage*, compile-shell-switches): Add
--r7rs option.
Diffstat (limited to 'module/ice-9/command-line.scm')
-rw-r--r-- | module/ice-9/command-line.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/module/ice-9/command-line.scm b/module/ice-9/command-line.scm index a74f7e7f8..13dfa0182 100644 --- a/module/ice-9/command-line.scm +++ b/module/ice-9/command-line.scm @@ -140,6 +140,8 @@ If FILE begins with `-' the -s switch is mandatory. which is a list of numbers like \"2,13,14\" --r6rs change initial Guile environment to better support R6RS + --r7rs change initial Guile environment to better support + R7RS -h, --help display this help and exit -v, --version display version information and exit \\ read arguments from following script lines")) @@ -376,6 +378,10 @@ If FILE begins with `-' the -s switch is mandatory. (parse args (cons '(install-r6rs!) out))) + ((string=? "--r7rs" arg) + (parse args + (cons '(install-r7rs!) out))) + ((string=? arg "--listen") ; start a repl server (parse args (cons '((@@ (system repl server) spawn-server)) out))) |