Kawa evaluates expr, which contains one or more Scheme expressions. Does not cause the ~/.kawarc.scm init file to be run.

Same as ‘-e expr’, except that it does cause the ~/.kawarc.scm init file to be run.

Kawa reads and evaluates expressions from the file named by filename-or-url. If the latter is ‘-’, standard input is read (with no prompting). Otherwise, it is equivalent to evaluating ‘(load "filename-or-url")’. The filename-or-url is interpreted as a URL if it is absolute - it starts with a "URI scheme" like http:.

The remaining arguments (if any) are passed to ‘command-line-arguments’ and (the cdr of) (command-line), and an interactive read-eval-print loop is started. This uses the same "console" as where you started up Kawa; use ‘-w’ to get a new window.

The global variable ‘command-line-arguments’ is set to the remaining arguments (if any). Kawa reads and evaluates expressions from the file named by filename-or-url. If script is followed by an integer N, then N lines are skipped first.

Skipping some initial lines is useful if you want to have a non-Kawa preamble before the actual Kawa code. One use for this is for Kawa shell scripts (see Scripts).

Creates a new top-level window, and runs an interactive read-eval-print in the new window. See New-Window. Same as -e (scheme-window #t). You can specify multiple ‘-w’ options, and also use ‘-s’.

Prints out some help.

Prints out the Kawa version number, and then exits.

If Kawa was built with a .git repository present, also prints the result of git describe.

Browse a local copy of the documentation (this manual).

This creates a mini web-server that reads from doc/kawa-manual.epub, which is included in the binary distributions, but not built by default from source.

If no command is specified, creates a new mini-browser-window using JavaFX (if the JavaFX modules are available), or creates a new window or tab in your default web browser (otherwise). If command is a string containing %U, then Kawa replaces %U with a URL that references itself, and then executes the resulting command. If command does not contain %U, then command becomes command" %U". For example to use the Firefox browser to browse the manual do either of:

kawa --browse-manual=firefox
kawa --browse-manual="firefox %U"

Start a server listening from connections on the specified portnum. Each connection using the Telnet protocol causes a new read-eval-print-loop to start. This option allows you to connect using any Telnet client program to a remote "Kawa server".

This option is used before an action option (such as -f). The argc arguments after the action become the value of the command-line-arguments during the action. When the action is finished, command-line-processing resumes after skipping the argc arguments.

For example:

$ kawa -f a.scm -f b.scm x y

When evaluating a.scm the command-line-arguments by default is all the remaining arguments: ["-f" "b.scm" "x" "y"]. Then b.scm is evaluated with command-line-arguments set to ["x" "y"]

$ kawa --with-arg-count=0 -f a.scm -f b.scm x y

In this case a.scm is evaluated with command-line-arguments set to the empty vector [], and then b.scm is evaluated with command-line-arguments set to ["x" "y"]

$ kawa --with-arg-count=4 -f a.scm -f b.scm x y

In this case a.scm is evaluated with command-line-arguments set to ["-f" "b.scm" "x" "y"]. Since command-line processing skips the arguments specified by --with-arg-count=4, in this case b.scm is not evaluated.

Set the default language to Scheme. (This is the default unless you select another language, or you name a file with a known extension on the command-line.)

Provide better compatibility with the specified Scheme standards. (This is a work-in-progress.) For example --r6rs aims to disable Kawa extensions that conflict with R6RS. It does not aim to disable all extensions, only incompatible extensions. These extensions disable the colon operator and keyword literals, as well as the use of initial ‘@’ as a splicing operator. The “l” exponent suffix of a number literal creates a floating-point double, rather than a BigInteger. Selecting --r5rs makes symbols by default case-insensitive.

Set the default language to Emacs Lisp. (The implementation is quite incomplete.)

Set the default language to CommonLisp. (The implementation is very incomplete.)

Set the default language to KRL. See KRL.

Set the default language to KRL, in BRL-compatibility mode. See KRL.

Set the default language to the draft XML Query language. See the Kawa-XQuery page for more information.

Set the default language to XSLT (XML Stylesheet Language Transformations). (The implementation is very incomplete.) See the Kawa-XSLT page for more information.

Try to follow the approprate language specification to the letter, even in corner cases, and even if it means giving up some Kawa convenience features. This flag so far only affects the XQuery parser, but that will hopefully change.

Emit a warning if the code references a variable which is neither in lexical scope nor in the compile-time dynamic (global) environment. This is useful for catching typos. (A define-variable form can be used to silence warnings. It declares to the compiler that a variable is to be resolved dynamically.) This defaults to on; to turn it off use the --no-warn-undefined-variable flag.

Emit a warning if the code references a named member (field or method) for which there is no match in the compile-time type of the receiver. This defaults to on; to turn it off use the --no-warn-unknown-member flag.

Emit a warning if the invoke function calls a named method for which there is no matching method in the compile-time type of the receiver. This defaults to the value of --warn-unknown-member, to turn it off use the --no-warn-invoke-unknown-method flag.

Emit a warning if a variable is unused or code never executed. This defaults to on; to turn it off use the --no-warn-unused flag.

Warn if accessing an uninitialized variable. This defaults to on; to turn it off use the --no-warn-uninitialized flag.

Emit a warning if the code can never be executed. This defaults to on; to turn it off use the --no-warn-unreachable flag.

Emit a warning if an expression depends on an expression that is void (always has zero values), including call to void functions and method. Also warn if an expression depends on a conditional (if) that has no “else” clause. Examples include using the value of set-car! as an argument to a function, or to initialize a variable. This defaults to on; to turn it off use the --no-warn-void-used flag.

Treat a compilation warning as if it were an error and halt compilation.

Print no more than value errors or warnings (at a time). The value -1 removes the limit. The initial default is 20. (A single error may so confuse Kawa that it prints very many useless error messages.)

Set the global variable with the specified name to the given value. The type of the value is currently unspecified; the plan is for it to be like XQuery’s untyped atomic which can be coerced as needed.

Set the global variable with the specified namespace uri and namespace-local name to the given value.

Sets the JVM property variable-name to variable-value, using the setProperty method of java.lang.System.

Usually Kawa can detect when the standard input port is a “console” or “terminal”, but these are useful for overriding that detection. The --console flag is useful when the standard input is a pipe, but you want to direct Kawa to treat it as an interactive terminal. The --no-console flag was useful for older pre-Java-6 implementations that did not have the java.lang.Console class.

See the REPL Console section.

Initialize input-prompt1 and input-prompt2, respectively.

Change the default output format to that specified by format. See Named output formats for more information and a list.

The number base (radix) to use by default when printing rational numbers. Must be an integer between 2 and 36, and the default is of course 10. For example the option out:base=16 produces hexadecimal output. Equivalent to setting the *print-base* variable.

If true, prints an indicator of the radix used when printing rational numbers. The default is no. Equivalent to setting the *print-radix* variable.

If out:doctype-system is specified then a DOCTYPE declaration is written before writing a top-level XML element, using the specified system-identifier.

Ignored unless out:doctype-system is also specified, in which case the public-identifier is written as the public identifiers of the DOCTYPE declaration.

Controls whether extra line breaks and indentation are added when printing XML. If kind is always or yes then newlines and appropriate indentation are added before and after each element. If kind is pretty then the pretty-printer is used to only add new lines when an element otherwise won’t fit on a single line. If kind is no (the default) then no extra line breaks or indentation are added.

Specifies the maximum number of number of columns in a line when the pretty-printer decides where to break a line. (The two options are equivalent.)

The version can be a JDK or Java specification version: 5, 6, or 7. The JDK versions 1.5 and 1.6 are equivalent to 5 or 6, respectively. Specify a JVM (classfile) version to target. This is useful if (for example) you use Java 6, but want to create .class files that can run on Java 5. In that case specify --target 5.

Use a calling convention that supports proper tail recursion.

Use a calling convention that does not support proper tail recursion. Self-tail-recursion (i.e. a recursive call to the current function) is still implemented correctly, assuming that the called function is known at compile time.

Disable inlining of known functions and methods. The generated code runs slower, but you can more reliably trace procedures. Normally Kawa will assume that a procedure fn declared using a (define (fn args) body) form is constant, assuming it isn’t modified in the current module. However, it is possible some other module might modify the binding of fn. You can use the --no-inline to disable the assumption that fn is constant.

Normally, when Kawa loads a source file, or evaluates a non-trivial expression, it generates new internal Java classes but does not write them out. This option asks it to write out generated classes in a ‘.zip’ archive whose name has the prefix ‘kawa-zip-dump-’.

Kawa translates source language forms into an internal Expression data structure. This option causes that data structure to be written out in a readable format to the standard output.

Similar to the previous option, but prints out the Expression after various transformations and optimizations have been done, and just before code generation.

Prints logging information to standard error when a syntax-rules or syntax-case pattern matches.

Prints a stack trace with any error found during compilation.

Prints a stack trace with any warning found during compilation.

Starts Kawa in server mode, responding to requests using the Language Server Protocol. This is used by editors and IDEs for on-the-fly syntax checking and more. Highly experimental.

Register a web application handler that uses files in the directory appdir to handle HTTP (web) requests containing the given context-path. That is it handles requests that start with http://localhost:portcontext-path. (This assumes the context-path starts with a /.) See Self-configuring page scripts.

Start the web server, listing on the specified port.

Passes the jvm-option to the java command, before the class-name (kawa.repl) and Kawa options.

Sets the JVM property variable-name to variable-value. Equivalent to -J-Dvariable-name=variable-value.