View source for Module:Wikilisp/doc

{{possible-risk}}
This module supports simple but flexible and fairly powerful operations on strings and numbers.  It is meant to bring the supported operations within reach of ordinary wiki contributors, by using expressions embedded in wiki markup, and by minimizing the syntactic [[wikt:red tape|red tape]] involved.{{#ifeq:{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}|Wikilisp||{{#ifexist:Module:Wikilisp|<nowiki/>

This is a test version of the module; the release version is [[Module:Wikilisp]].}}}}

Call the module like this:
: {{(*|2}}[[Template:Evalx|evalx]]{{!}}''sequence''{{#ifeq:{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}|Wikilisp||{{!}}test-eval{{==}}{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}}}{{!}}...{{*)|2}}
or
: {{(*|2}}#invoke:{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}{{!}}rep{{!}}''sequence''{{!}}...{{*)|2}}
where ''sequence'' is a series of s-expressions, and there may be additional arguments thereafter (the "{{!}}...").  The s-expressions are evaluated, one at a time from left to right, and the result of evaluating the last of them is returned as the expansion of the module-call.

Although this module can be useful for tricky small-scale tasks, it can also do hefty transformations of the entire content of a wiki page, because the entire content of a wiki page is a string.

: Current version: <code>{{#invoke:{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}|rep|(wikilisp-version)}}</code>
{{#ifexist:Template:Dialog/ifsupported|{{#ifexist:Template:Evalx/test|{{dialog/ifsupported|1=<nowiki/>
: Evaluate an s-expression: {{dialog/text|id=expr}} {{dialog/view|page=Template:Evalx/test|label=eval|delegable=yes|expr|test-eval::{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}}}
|2=}}}}}}
== S-expressions ==
The main kinds of values are numbers, strings (that is, unicode text), booleans (true and false), symbols (names for things), and lists.

=== Numbers, strings, booleans ===
Numbers and strings are kept separate form each other: <code>6</code> is different from <code>"6"</code>.  Evaluating a number or string results in that number or string, unchanged.  The result of the module-call, if a simple value (rather than a list, as discussed below), is usually a number or string, unless the module call has an error in it, or is being debugged.

A numeric literal is a series of digits, with an optional decimal point (.), optional sign at the front (+ or -), and optional {{nowrap|[[w:E notation|E notation]]}}.

A string literal may be delimited either by double-quotes (") or single-quotes ('), and may contain any characters except the delimiter.  If a string needs to involve both single- and double-quotes, the easiest approach is to make the string an additional parameter to the module call; though there is also fully general [[{{FULLPAGENAME}}#advanced string syntax|advanced string syntax]].

The boolean values, true and false, usually result from some logical test and are fed as operands into some other operation; so they are usually neither written explicitly into an input expression, nor written as part of an output expression.  The boolean values are represented as <code>true</code> and <code>false</code>.

=== Symbols ===
Any input-text sequence that doesn't represent a string literal or numeric literal, and doesn't contain any [[w:whitespace character|whitespace]] or parentheses or backslash or semicolon, names a symbol.  Also, any backslash (<code>\</code>) that isn't inside a string literal names a symbol (the backslash symbol).

A symbol is evaluated by looking it up in the environment.  For most (though not all) purposes, there's just one, global environment, defining the standard functions provided for use in expressions.  There are advanced situations where you might alter the global environment, or even do some things in a local environment; but this module is really meant to provide powerful, flexible standard functions so you can almost always do the things you want to do without resorting to complicated techniques like that.  When you ''do'' end up doing such things, it's probably time to think about what even better tools would make them even more rarely needed.

=== Lists ===
A list is a sequence of values.  It is represented by a set of parentheses, with the values between them, separated by whitespace.  A set of parentheses with nothing (but perhaps whitespace) between them represents the empty list.

When evaluating a non-empty list (the empty list evaluates to itself), the first element of the list is the ''operator'' and any additional elements are ''operands''.  The operator is evaluated first, and what happens thereafter depends on what the operator evaluated to.  It must evaluate to a function (if not, that's an error).  A few special functions act on their operands directly, without evaluating the operands first; for all other functions, the operands are evaluated, and the results of those evaluations are passed to the function.

=== Comments ===
A semicolon in an input expression, not inside a string literal, marks a [[w:Comment (computer programming)|comment]]:  the interpreter ignores all characters from the semicolon to the end of the line it is on.

== Functions ==
The interpreter is meant to be a simple device for filling in gaps in wiki-markup-based functionality; it is not meant to replace other wiki-markup facilities, and especially not to provide all functionality for template internals.  It should ''not'' be capable of arbitrary ([[w:Turing-powerful|Turing-powerful]]) computation.  It ''should'' provide a small, highly versatile set of functions affording succinct expression of valuable functionality not otherwise well-supported by wiki-markup.  These constraints give its choice of supported functions a somewhat different character from those of a general-purpose programming language.

=== Background stuff ===
These functions do mundane tasks, filling in the gaps around the powerful tools that do the heavy lifting.

* {{anchor|function list}} Function '''<code>list</code>''' returns a list of its operands.  {{nowrap|<code>(list (+ 1 1) (- 3 2))</code>}} would evaluate to (2 1), {{nowrap|<code>(list)</code>}} to ().

* {{anchors|function + number|function -|function *|function /|function ^}} The basic arithmetic functions are '''<code>+</code>''' '''<code>-</code>''' '''<code>*</code>''' '''<code>/</code>''' '''<code>^</code>'''. Subtraction and division require at least two operands; the first operand is acted on by all of the others, so {{nowrap|<code>(- 7 1 2)</code>}} would evaluate to 4, and {{nowrap|<code>(/ 12 2 3)</code>}} would evaluate to 2. Exponentiation requires exactly two operands; {{nowrap|<code>(^ 9 0.5)</code>}} would evaluate to 3.

* {{anchor|function + overload}} Function '''<code>+</code>''' also concatenates strings or lists, and combines booleans by logical conjunction. {{nowrap|<code>(+ "a" "bc" "d")</code>}} would evaluate to "abcd", {{nowrap|<code>(+ (list 1) () (list 2 3))</code>}} to (1 2 3), {{nowrap|<code>(+ true true false)</code>}} to false.  This only works if the function is given at least one argument, so it knows what type to return; with no arguments, it just assumes it's doing numeric addition: {{nowrap|<code>(+)</code>}} evaluates to 0.

* {{anchors|function abs|function ceil|function floor}} Simple arithmetic functions'''<code>abs</code>''' '''<code>ceil</code>''' '''<code>floor</code>''' each take a single number operand, and return respectively its absolute value, the smallest integer not less than it (its ''ceiling''), and the greatest integer not greater than it (its floor).  Thus, {{nowrap|<code>(abs -2.3)</code>}} would evaluate to 2.3, {{nowrap|<code>(ceil -2.3)</code>}} to -2, {{nowrap|<code>(floor -2.3)</code>}} to -3; while {{nowrap|<code>(abs 4)</code>}}, {{nowrap|<code>(ceil 4)</code>}}, and {{nowrap|<code>(floor 4)</code>}} would each evaluate to 4.

* {{anchors|function lt?|function gt?|function le?|function ge?}} The numeric and string comparison functions are:&nbsp; '''<code>lt?</code>''' (less than),&nbsp; '''<code>gt?</code>''' (greater than),&nbsp; '''<code>le?</code>''' (less than or equal),&nbsp; '''<code>ge?</code>''' (greater than or equal).  Each function takes zero or more operands, and checks that every pair of consecutive operands have the named relation.  Thus, {{nowrap|<code>(le? 2 2 3)</code>}} would evaluate to true, {{nowrap|<code>(gt? 3 2 2)</code>}} would be false because 2 is not greater than 2, {{nowrap|<code>(lt? "def" "abc")</code>}} would be false because "def" is not alphabetically before "abc".

* {{anchor|function equal?}} A general comparison function '''<code>equal?</code>''' determines whether all of its operands are (superficially) the same.  Technically, it determines whether all of its operands would appear the same if they were output.  There are some weird situations in which values that aren't really the same might "look" equal, but as long as you stick to numbers, strings, booleans, and lists, such situations won't happen.

* {{anchors|function number?|function string?|function boolean?|function list?}} Each of functions '''<code>number?</code>''' '''<code>string?</code>''' '''<code>boolean?</code>''' '''<code>list?</code>''' checks that all of its operands have the named type.  So, {{nowrap|<code>(number? (+ 2 3))</code>}} would evaluate to true, as would {{nowrap|<code>(number?)</code>}}, while {{nowrap|<code>(string? ())</code>}} would evaluate to false.  There are a few other types of values, and they have functions to check for them too, but ordinarily you shouldn't need to check for them (they're "advanced" features).

* {{anchors|function to-number|function to-string}} Functions '''<code>to-number</code>''' and '''<code>to-string</code>''' take one operand and convert it either way between a number and a string representation of a number.  If the operand of <code>to-number</code> does not represent a number, it returns the empty list.

* {{anchor|function nth}} Function '''<code>nth</code>''' takes two or more operands; first a list, then an integer or integers.  With one integer, it returns the ''n''<sup>th</sup> element of the list.  {{nowrap|<code>(nth (list 5 7 11) 2)</code>}} would evaluate to 7.  With multiple integers ''n'', ''m'', etc., it takes takes the ''n''<sup>th</sup> element of the list, then expects that to be a list and takes the ''m''<sup>th</sup> element of that, and so on.

* {{anchor|function not?}} Function '''<code>not?</code>''' takes a single boolean operand, and returns true if the operand is false, false if the operand is true.  The corresponding tools <code>and?</code> and <code>or?</code> are special functions (below).

* {{anchor|function length}} Function '''<code>length</code>''' takes a single operand, which can be either a string or a list, and returns its length, as an integer: for a string, this is the number of unicode codepoints, for a list, the number of items on the list.  {{nowrap|<code>(length ())</code>}} would evaluate to 0.

* {{anchors|function trim|function lc|function lcfirst|function uc|function ucfirst|function to-entity}} Functions '''<code>trim</code>''', '''<code>lc</code>''', '''<code>lcfirst</code>''', '''<code>uc</code>''', '''<code>ucfirst</code>''', '''<code>to-entity</code>''' each take a single operand, either a string or a list of strings.  Given a string, <code>trim</code> returns the string with leading and trailing whitespace removed; <code>lc</code> with all letters converted to lower-case, <code>uc</code> to upper-case; <code>lcfirst</code> with the first character converted to lower-case, <code>ucfirst</code> to upper case; <code>to-entity</code> converts the first character of the string to a numeric html entity reference, or if the string is empty returns the string.  Given a list of strings, each function applies its operation to each string on the list, and returns a list of the results.  {{nowrap|<code>(uc (list "abc" "def"))</code>}} would evaluate to ("ABC" "DEF").  {{nowrap|<code>(to-entity "ABC")</code>}} would evaluate to "&amp;#65;" (which would appear as "&#65;"); {{nowrap|<code>(to-entity "")</code>}} would evaluate to "".

* {{anchor|function write}} Function '''<code>write</code>''' takes a single operand, and produces its output string representation.  This is how the operand would appear if it were part of a larger result of computation, such as a list.  If the operand isn't a string, it appears the same way if it is the ''entire'' result of computation as if it is embedded in some larger result; however, a string result of computation is output directly, rather than formatted with delimiters.  If a value (barring oddball things like functions and patterns) is meant to be output from one evaluation and input to another, and may be a string, <code>write</code> gives it the proper output format.  For example, {{nowrap|<code>"foo""bar"</code>}} represents a string of length seven with one double-quote character in it, while {{nowrap|<code>(write "foo""bar")</code>}} would evaluate to a string of length ten with four double-quote characters in it; so {{nowrap|<code><nowiki>{{evalx|"foo""bar"}}</nowiki></code>}} would expand to <code>foo"bar</code>, while {{nowrap|<code><nowiki>{{evalx|(write "foo""bar")}}</nowiki></code>}} would expand to <code>"foo""bar"</code>.

* {{anchors|function urlencode|function anchorencode|function fullurl|function canonicalurl}} Functions '''<code>urlencode</code>''', '''<code>anchorencode</code>''', '''<code>fullurl</code>''', and '''<code>canonicalurl</code>''' provide substantially the magic words of the same names, per {{nowrap|[[mw:Help:Magic words]]}}.  Each takes one or, in some cases, two string operands.  Some examples: {{nowrap|<code>(urlencode "fo'o bar")</code>}} would evaluate to {{nowrap|{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(write (urlencode "fo'o bar"))}}}}, {{nowrap|<code>(urlencode "fo'o bar" "path")</code>}} to {{nowrap|{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(write (urlencode "fo'o bar" "path"))}}}}, {{nowrap|<code>(urlencode "fo'o bar" "wiki")</code>}} to {{nowrap|{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(write (urlencode "fo'o bar" "wiki"))}}}}; {{nowrap|<code>(anchorencode "fo'o bar")</code>}} to {{nowrap|{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(write (anchorencode "fo'o bar"))}}}}; {{nowrap|<code>(fullurl "foo bar")</code>}} to {{nowrap|{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(write (fullurl "foo bar"))}}}}; {{nowrap|<code>(canonicalurl "foo bar" "quux")</code>}} to {{nowrap|"h&zwj;{{evalx|test-eval={{PAGENAME:{{OBJECTPAGENAME}}}}|(get-substring (canonicalurl "foo bar" "quux") 2)}}"}}.

* Function '''<code>pattern</code>''' takes a string, taken to be a [[mw:Extension:Scribunto/Lua reference manual#Ustring patterns|pattern (in the Scribuntu sense)]], and returns a ''pattern'' object, a separate data type usable in some string-search functions.

* {{anchor|background split}} Function '''<code>split</code>''' takes two strings, and splits the first string into a list of its substrings separated by the second string.  {{nowrap|<code>(split "abba" "b")</code>}} would evaluate to ("a" "" "a").  Alternatively, the second string may be a pattern rather than a string; {{nowrap|<code>(split "foobar" (pattern "[ao]"))</code>}} would evaluate to ("f" "" "b" "r").  <code>split</code> also has more general forms described [[{{FULLPAGENAME}}#powerful split|in the next section]].

* {{anchor|background join}} Function '''<code>join</code>''' takes a list of strings and a string, and concatenates the strings from the list separated by the latter string.  {{nowrap|<code>(join (list "a" "b") ",")</code>}} would evaluate to "a,b".  <code>join</code> also has more general forms described [[{{FULLPAGENAME}}#powerful join|in the next section]].

* {{anchor|background get-substring}} Functions '''<code>get-substring</code>''' and '''<code>get-sublist</code>''' take a string or list, and one or two integers, and return the substring/sublist starting at the element with the first index (counting from 1), and continuing through the element with the second index if any.  {{nowrap|<code>(get-substring "abc" 2 2)</code>}} would evaluate to "b".  {{nowrap|<code>(get-sublist (list 1 2 3) 2)</code>}} would evaluate to (2 3).  <code>get-substring</code> also has more general forms described [[{{FULLPAGENAME}}#powerful get-substring|in the next section]].

* {{anchor|background set-substring}} Functions '''<code>set-substring</code>''' and '''<code>set-sublist</code>''' take four operands: a base string/list, two integers describing a segment of the base to be replaced (start/end indices, counting from 1), and a string/list to splice into that segment.  A new string/list is returned with the indicated splice.  {{nowrap|<code>(set-substring "foobar" 3 5 "z")</code>}} would evaluate to "fozr".  The second index is included in the segment; to splice between two characters of the base, the second index should be one less than the first: {{nowrap|<code>(set-substring "ab" 2 1 "123")</code>}} would evaluate to "a123b".  <code>set-substring</code> also has more general forms described [[{{FULLPAGENAME}}#powerful set-substring|in the next section]].

* {{anchor|function find}} Function '''<code>find</code>''' takes two operands, the first a target string or list in which to search, and returns a list of where matches occur in the target.  With a list, the second operand is a function, which is applied to each element of the list and must return a boolean; each matching position is an index into the list (counting from 1).  With a string, the second operand is either a string or pattern, and each matching position is a list of start/end indices (counting from 1).  {{nowrap|<code>(find (list 2 "b" 2) number?)</code>}} would evaluate to (1 3).  {{nowrap|<code>(find "foobar" "o"))</code>}} would evaluate to ((2 2) (3 3)).

* {{anchor|function member?}} Function '''<code>member?</code>''' usually takes two operands, the second of which is a list, and returns true if any member of the list is equal to the first operand (per function <code>equal?</code>, above), otherwise returns false.  If given just one operand, <code>member?</code> returns a function that takes a list as operand and returns true or false depending on whether any element of the list is equal to the operand passed to <code>member?</code>.  {{nowrap|<code>(member? 2 (list 1 2 3))</code>}} would evaluate to true, as would {{nowrap|<code>((member? 2) (list 1 2 3))</code>}}.

* {{anchor|function apply}} Function '''<code>apply</code>''' takes a function and a list, and calls the function with the operands on the list.  {{nowrap|<code>(apply + (list 1 2 3))</code>}} would evaluate to 6.

* {{anchor|function curry}} Function '''<code>curry</code>''' takes a function and one or more additional operands, and returns a function that takes zero or more operands, and calls the earlier operand function with all the operands together, both the earlier ones and the later ones.  {{nowrap|<code>((curry + 1 2 3) 4 5 6)</code>}} would evaluate to 21.  {{nowrap|<code>((curry + 1 2 3))</code>}} would evaluate to 6.

Special functions, whose operands are not automatically evaluated:

* {{anchor|special and?}} Special function '''<code>and?</code>''' can be used in two different ways.  Given operands that evaluate to booleans, it returns true if all the operands evaluate to true, false if one of them evaluates to false; if one of them evaluates to false, it doesn't evaluate later operands.  Given operands that evaluate to functions, it evaluates them all and returns a function that passes all its operands to each of those functions, expecting each of them to return a boolean; again, it returns true if they all return true, or stops and returns false if one of them returns false.  {{nowrap|<code>((and? number? le?) 2 5 11)</code>}} would evaluate to true, because {{nowrap|<code>(number? 2 5 11)</code>}} and {{nowrap|<code>(le? 2 5 11)</code>}} evaluate to true.  {{nowrap|<code>((and? number? le?) "foo")</code>}} would evaluate to false, because {{nowrap|<code>(number? "foo")</code>}} evaluates to false.

* {{anchor|special or?}} Special function '''<code>or?</code>''' is like <code>and?</code>, with change of form:  if all are false, returns false; if any is true, stops and returns true.  {{nowrap|<code>((or? string? ge?) 2 5 11)</code>}} would evaluate to false, because {{nowrap|<code>(string? 2 5 11)</code>}} and {{nowrap|<code>(ge? 2 5 11)</code>}} evaluate to false.  {{nowrap|<code>((or? string? le?) "foo")</code>}} would evaluate to true, because {{nowrap|<code>(string? "foo")</code>}} evaluates to true.

* {{anchor|special if}} Special function '''<code>if</code>''' takes three operands; as a special function, its operands are not automatically evaluated.  It evaluates its first operand, the result of which must be boolean, and then evaluates the second or third operand depending on whether the result from the first was true or false, and returns the result of the latter evaluation.  So {{nowrap|<code>(if (ge? 3 9) 3 9)</code>}} and {{nowrap|<code>(if (ge? 9 3) 9 3)</code>}} would both evaluate to 9.

* {{anchor|background \}} Special function '''<code>\</code>''' creates a function. It ordinarily takes two operands; the first is a symbol, which is not evaluated and is the name of the parameter to the new function; the second is the ''body'' of the new function.  When the function is called, its operand is evaluated, and the parameter is locally bound to the result of this evaluation; then the body of the function is evaluated locally, with the parameter bound to the function argument, and the result of this evaluation of the body is the result of the function call.  For example, {{nowrap|<code>((\x (* x x)) (+ 2 3))</code>}} would evaluate to 25.

* {{anchor|special let}} Special function '''<code>let</code>''' creates a temporary name for something.  It takes at least one (usually two or more) operands; the first operand is a list of a symbol and an expression.  The expression is evaluated, and the result becomes the temporary meaning of the symbol; the remaining operands are evaluated, from left to right, in the local environment so constructed, and the result of the last evaluation is returned (or if there was only the one operand, the empty list is returned).  For example, {{nowrap|<code>(let (x 3) (* x x))</code>}} would evaluate to 9, while {{nowrap|<code>(let (x 2) (let (y 3) (* x y)))</code>}} would evaluate to 6.

* {{anchor|special define}} Special function '''<code>define</code>''' modifies the current environment (whereas <code>let</code> creates a new environment for temporary use).  It takes two operands; the first is a symbol.  It evaluates its second operand, and then binds its first operand to the result in the environment.  For example, evaluating <code>(define x (+ 3 4))</code> would modify the environment so that <code>x</code> would evaluate to 7; thus, {{nowrap|<code><nowiki>{{evalx|(define x (+ 3 4)) (* x x)}}</nowiki></code>}} would expand to 49.

* {{anchor|special sequence}} Special function '''<code>sequence</code>''' evaluates its operands, in order from left to right, and returns the result of the last evaluation.  Given no operands, it returns the empty list.  Handy for conditionally doing a series of things for effect, such as in {{nowrap|<code>(if (gt? x 10) (sequence (define y (+ y 1)) (define x (- x 10)) true) false)</code>}} which would return true or false and might also change the local values of x and y.  The same thing ''could'' be accomplished using functions <code>list</code> and <code>nth</code>, or just <code>list</code> if you're just going to throw out the result anyway; but besides saving a left of nesting when you do want the result, the name "sequence" makes it clearer what you're doing.

=== Powerful stuff ===
These functions do the heavy lifting.

* {{anchors|function get-arg|function get-arg-expr|function get-args}} Function '''<code>get-arg</code>''' retrieves arguments to the module call.  It takes one operand, identifying the argument to retrieve; this may be an integer or a string.  Argument 1 is the sequence of s-expressions; thus, {{nowrap|<code><nowiki>{{evalx|'foobar' (get-arg 1)}}</nowiki></code>}} would expand to&nbsp; "'foobar' (get-arg 1)", while {{nowrap|<code><nowiki>{{#invoke:</nowiki>{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}<nowiki>|rep|"foobar" (get-arg "foobar")|foobar=quux}}</nowiki></code>}} would expand to "quux".  Function '''<code>get-arg-expr</code>''' also retrieves arguments, but instead of returning an argument as a string, it attempts to interpret the argument as an s-expression which it returns unevaluated.  If the argument is not a valid s-expression, the function returns the empty list.  This is handy for doing further computation on a data structure that was output from an earlier call to the interpreter, as perhaps in an earlier step of a [[Help:Dialog|dialog]].  {{nowrap|<code><nowiki>{{evalx|(get-arg-expr 2)|(* 2 3)}}</nowiki></code>}} would expand to&nbsp; (* 2 3).  Function '''<code>get-args</code>'''  retrieves a list of the names of all arguments to the module call.
*: If the module is invoked through alternative Lua function <code>trep</code> rather than <code>rep</code>, wikilisp functions {{nowrap|<code>get-arg</code>}} and {{nowrap|<code>get-arg-expr</code>}} access arguments of the template that invokes the module, instead of arguments of the invocation itself.  Template {{tl|evalx}} does this.

* {{anchors|function parse|function get-parts|function get-items}} Function '''<code>parse</code>''' takes one operand, which must be a text string and is interpreted as raw wiki markup (before template expansion).  The function returns a data structure describing the positions, within the text string, of wikilinks, template calls, and template parameters; and, within each such item, the positions of the parts of the item (which are separated from each other by the pipe character, "{{!}}").  Other tools can then use this data structure to locate particular kinds of structures within the wiki markup, and transform them in various ways.
*: The data structure is a list of "item" data structures; accessor functions can recover the string form of each item, the number of parts, the string form of each part, and a list of items within each part.
*:* Function '''<code>get-parts</code>''' takes one operand, an item descriptor as provided by <code>parse</code>, and returns a list of its parts.  Function '''<code>get-items</code>''' takes one operand, a part descriptor as provided by <code>parse</code>, and returns a list of items within it.

* {{anchors|function filter|function link?|function call?|function param?}} Function '''<code>filter</code>''' at its simplest takes two operands: a data structure such as produced by function <code>parse</code>, and a predicate to be applied to the entries in the structure for links, calls, and parameters.  It returns a pared-down data structure describing only those page elements that match the predicate.  Additional operands are additional predicates that must also be satisfied, as with special function <code>and?</code>.
*: If the predicate(s) reject an item, but accept some items within one of the rejected item's parts, the accepted items are promoted to the level of the rejected item.  For example, suppose a page contains a call to {{tl|xambox}}, and within the text message passed to the xambox are some calls to {{tl|w}}.  If the page is parsed and filtered for calls to {{tl|w}}, the calls within the xambox will end up at the top level of the filtered data structure.
*:* Functions '''<code>link?</code>''' '''<code>call?</code>''' and '''<code>param?</code>''' are predicates determining whether their operands are item data structures describing, respectively, wikilinks, template calls, and template parameters.
*: Function <code>filter</code> isn't designed for selecting some members of an ordinary list, but that can be done by building a new list out of small lists, where each small list either contains a particular element of the original list or is empty.  For example, given a list of numbers <code>ls</code>, one could select the ones strictly less than 10 with expression {{nowrap|<code>(apply (curry + ()) (map (\x (if (lt? x 10) (list x) ())) ls))</code>}}.  (Note the trick of <code>curry</code>ing <code>+</code> with the empty list before <code>apply</code>ing it; otherwise, if <code>ls</code> happened to be empty, <code>+</code> would be applied to the empty list, producing a number instead of a list.)

* {{anchor|powerful split}} Function '''<code>split</code>''' can take more general forms of its first operand, and can take either or both of two additional operands, beyond the string and string-or-pattern as [[{{FULLPAGENAME}}#background split|in the previous section]].
** There may be a second string-or-pattern operand; instead of listing substrings ''separated'' by a single string-or-pattern, the function then lists substrings ''delimited'' by the two strings-or-patterns.  For example, {{nowrap|<code>(split "a(b)c(d)e" "(" ")")</code>}} would evaluate to {{nowrap|("b" "d")}}.  The delimiters are assumed to be potentially ''nesting'', and at each point in the string the leftmost left-delimiter is chosen that has a matching right-delimiter.  For example, {{nowrap|<code>(split "(a(b(c)e)d(f(g(h)i)j" "(" ")")</code>}} would evaluate to {{nowrap|("b(c)e" "g(h)i")}}.
** There may be a final ''list'' operand, of 1&ndash;3 elements that could be the second-and-later operands to <code>split</code>; if this is present, instead of returning a list of substrings from the aforementioned operation, <code>split</code> recursively splits each of those substrings using this new set of second-and-later operands, and returns a list of the results of these splits.  For example, {{nowrap|<code>(split "a(b,c;d,e)f(g,h;i,j)k" "(" ")" (list ";" (list ",")))</code>}} would evaluate to {{nowrap|((("b" "c") ("d" "e")) (("g" "h") ("i" "j")))}}.
** The first operand, rather than simply a string, can in general be a tree of strings; that is, either a string or a list whose elements are themselves trees of strings.  The string operation specified by all the later operands is then applied recursively to each element of the tree.  For example, {{nowrap|<code>(split (list (list "a(b,c)d") () "e(f,)g") "(" ")" (list ","))</code>}} would evaluate to {{nowrap|(((("b" "c")))()(("f" "")))}}.

* {{anchor|powerful join}} Function '''<code>join</code>''' can take more general forms of its first operand, and can take either or both of two additional operands, beyond the list-of-strings and string as [[{{FULLPAGENAME}}#background join|in the previous section]].
** There may be a second string operand; then each of the listed strings is delimited by the two strings.  For example, {{nowrap|<code>(join (list "1" "2") "{" "}")</code>}} would evaluate to {{nowrap|"{1}{2}"}}.
** The first operand, rather than simply a list of strings, can in general be a nested list of strings; that is, either a list of strings or a list whose elements are themselves nested lists of strings.  The operation specified by the one or two string operands is then applied recursively to each element of the nested list.  For example, {{nowrap|<code>(join (list (list "a" "b") (list "c" "d")) ",")</code>}} would evaluate to {{nowrap|("a,b" "c,d")}}.
** There may be a final list operand, of 1&ndash;3 elements that could be the second-and-later operands to <code>join</code>; if this is present, <code>join</code> first operates on its first operand using the one or two string operands, then recursively operates on the result using the finally-listed set of operands.  For example, {{nowrap|<code>(join (list (list "a" "b") (list "c" "d")) "," (list "{" "}"))</code>}} would evaluate to {{nowrap|"{a,b}{c,d}"}}.  Thus <code>join</code> can restore nestings of separators and delimiters removed by <code>split</code>; for example, {{nowrap|<code>(join (split "a{b}c, d{e}f" (pattern ",%s*") (list "{" "}")) "{" "}" (list ","))</code>}} would evaluate to {{nowrap|"{b},{e}"}}.

* {{anchor|powerful get-substring}} Function '''<code>get-substring</code>''' can take a descriptor specifying a segment of the string, instead of integer indices as [[{{FULLPAGENAME}}#background get-substring|in the previous section]].  Three kinds of descriptors are accepted:  an item descriptor, which is an element of a list returned by <code>parse</code> or <code>get-items</code>; a part descriptor, which is an element of a list returned by <code>get-parts</code>; or a list of two integers, which are the 1-based indices of the starting and ending character of the substring within the string.  The resulting substring is returned.  For example, {{nowrap|<code>(get-substring "foobar" (list 3 5))</code>}} would evaluate to "oba".  Alternatively, the second operand can be a list of segment descriptors, and a list of substrings is returned; {{nowrap|<code>(get-substring "foobar" (list (list 2 2) (list 4 5)))</code>}} would evaluate to {{nowrap|("o" "ba")}}.

* {{anchor|powerful set-substring}} Function '''<code>set-substring</code>''' can take a segment-descriptor (as just described for get-substring) instead of integer indices for where to splice as [[{{FULLPAGENAME}}#background set-substring|in the previous section]].  Alternatively, it can take a list of such segment-descriptors, and a list of strings; the segments must be in order from left to right.  {{nowrap|<code>(set-substring "foobar" (list 3 5) "12345")</code>}} would evaluate to "fo12345r", {{nowrap|<code>(set-substring "abcd" (list (list 2 2) (list 4 3)) (list "123" "456"))</code>}} to "a123c456d".

* {{anchor|function get-coords}} Function '''<code>get-coords</code>''' takes a segment-descriptor (as just described for get-substring) and returns a list of two integers, the 1-based indices fo the starting and ending character of the segment.  This is useful for decoding item descriptors and part descriptors so that the coordinates can be manipulated directly for general purposes. For example, {{nowrap|<code><nowiki>(map get-coords (parse "a [[b]] [[c]] d"))</nowiki></code>}} would evaluate to ((3 7) (9 13)).

* {{anchor|function map}} Function '''<code>map</code>''' takes a function and one or more lists.  It calls the function repeatedly, with one operand from each of the lists, and returns a list of the results.  Usually it is used with just one list; for example, {{nowrap|<code>(map (\x (* x x)) (list 1 2 3))</code>}} would evaluate to (1 4 9).  With multiple lists, {{nowrap|<code>(map * (list 2 3) (list 5 7))</code>}} would evaluate to (10 21).  If some of the lists are longer than others, <code>map</code> stops when any of the lists runs out; for example, {{nowrap|<code>(map list (list 1 2) (list 3) (list 4 5 6))</code>}} would evaluate to ((1 3 4)).

* {{anchor|function merge}} Function '''<code>merge</code>''' takes a function and one or more lists.  The function should be a binary predicate, for ordering elements of the lists.  Each list is assumed already sorted by the predicate (i.e., the predicate would return true on any two elements of the same list in their order in the list).  The function merges the lists into a single list sorted by the predicate.  If there is only one list, it is simply returned.  For example, {{nowrap|<code>(merge lt? (list 1 3 5) (list 2 4 6))</code>}} would evaluate to (1 2 3 4 5 6).  This isn't meant to be used with a very large number of lists; it slows down as the square of the number of lists.

* {{anchor|function transformer}} Function '''<code>transformer</code>''' takes up to four optional operands, and generates a <code>map</code>-like function for acting on a tree, that is, a nested list.  The resulting function takes three operands: a function to apply to leaf nodes of the tree, a function to apply to parent nodes of the tree, and a tree.  In the simplest case, with no optional operands, if the tree is not a list then the leaf-function is applied to it and the result returned; while if the tree is a list, each element of the list is recursively transformed and the parent-function is applied to a list of the results.  For example, {{nowrap|<code>((transformer) (\x (* x x)) (\x x) (list 2 (list 3 4) 5))</code>}} would evaluate to (4 (9 16) 25), {{nowrap|<code>((transformer) (\x (* x x)) (\x (apply + x)) (list 2 (list 3 4) 5))</code>}} to 54.
:* The last optional operand is a positive integer, ''n''.  The first ''n'' elements of each parent-node list are left alone rather than recursively operated on.  For example, {{nowrap|<code>((transformer 2) (\x (* x x)) (\x x) (list 2 3 4 5))</code>}} would evaluate to (2 3 16 25).
:* The ''first'' optional operand is a predicate.  When the tree is a list, the predicate is applied to it, and if the result is false the tree is treated as a leaf instead of a parent, applying the leaf-function to it instead of recursing and passing a resultant list to the parent-function.  For example, {{nowrap|<code>((transformer (\x (gt? (length x) 1))) (\x "x") (\x x) (list (list 1 2) (list 3) (list 4 5)))</code>}} would evaluate to (("x" "x") "x" ("x" "x")).
:* Between these, the second and third optional operands, which must occur together, are a ''basis'' value and a ''successor'' function, used to generate an extra, ''depth'' operand for the leaf/parent functions: at the top-level node of the tree, this value is the basis, and at each level further down the tree, the value results from applying the successor function to the value used at the level above.  The depth operand is passed to the leaf/parent function as its first operand, before the tree-node operand.  For example, {{nowrap|<code>((transformer 2 (\x (+ x 1))) (\(n t) n) (\(n t) t) (list "a" (list "b" "c") "d"))</code>}} would evaluate to (3 (4 4) 3).  If the predicate operand is also provided, it receives only the tree-node, not the depth.

=== Advanced stuff ===
These things may help you better understand the inner workings of the interpreter, and occasionally help you do some unusual things that the more mundane features don't handle cleanly.  When you start actively using these exotica to do unusual things, it ''may'' be time to look for a way to amplify the ordinary tools so it won't be necessary to resort to these; but that may be a very difficult design problem, and meanwhile these things are available to take up the slack.

* {{anchor|advanced \}} Special function '''<code>\</code>''' can create functions that take different numbers of arguments, and evaluate a sequence of expressions.  For different numbers of arguments, instead of a symbol for the first operand, use a list of symbols; the list may be empty, so the function takes no arguments.  To evaluate a sequence of expressions, just specify all of them after the parameter-list.  When the function is called, the number of arguments to the call must be the same as the number of parameters; all the parameters are locally bound to the corresponding arguments, and the second and later operands to <code>\</code> are evaluated in this local environment from left to right.  The result of the last of these evaluations is the result of the function call, or if <code>\</code> was given only one operand, the result of the function call is the empty list.
: An esoteric point:  The local environment, in which the function's sequence of expressions are evaluated, is a child of the environment where <code>\</code> is called (technically, this is called ''[[w:lexical scope|lexical scope]]'').  So when a local environment needs to look up a symbol that isn't locally bound, this occurs where <code>\</code> was called rather than where the created function is called.  For example, {{nowrap|<code>(((\x (\y (+ (* x x) (* y y)))) 2) 3)</code>}} would evaluate to 13.

* {{anchors|function fn?|function op?}} Function '''<code>fn?</code>''' checks whether all the values passed to it are ordinary functions; function '''<code>op?</code>''' checks whether all the values passed to it are special functions.  {{nowrap|<code>(fn? if)</code>}} would evaluate to false, since <code>if</code> is not an ordinary function.  {{nowrap|<code>(op? +)</code>}} would evaluate to false since + is not a special function.

* {{anchor|advanced \ name}} When an ordinary function is displayed as output, it is shown as {{nowrap|<code>&lt;[op: </code>''name''<code>]&gt;</code>}}, where ''name'' is the name of the function.  For example, {{nowrap|<code><nowiki>{{evalx|length}}</nowiki></code>}} would expand to {{nowrap|<code>&lt;[op: length]&gt;</code>}}.  The angle-brackets mean that the operands to the function call are automatically evaluated; underneath is a special function whose operands are the ''results'' of evaluating the operands to the ordinary function call.  Evaluating {{nowrap|<code>(length (+ 1 2))</code>}} would not produce an error until after the operand has been evaluated to 3, at which point the special function underlying <code>length</code> would discover it doesn't know what to do with an integer operand, producing error message {{nowrap|<code>&lt;error: bad operand to [op: length]: expected list or string, got 3&gt;</code>}}.

: When special function <code>\</code> creates a function, it doesn't give it a name.  {{nowrap|<code><nowiki>{{evalx|(\x (* x x))}}</nowiki></code>}} would expand to <code>&lt;[op]&gt;</code>.  However, the first time an anonymous function is given a name in an environment, that name is attached to the function, and the function is known by that name thereafter.  So, {{nowrap|<code><nowiki>{{evalx|(define f (\x (* x x))) f}}</nowiki></code>}} would expand to {{nowrap|<code>&lt;[op: f]&gt;</code>}}.

* {{anchor|advanced \ depth}} There is a built-in limit on how deeply calls to <code>\</code>-defined functions can be nested.  At the current writing, the limit is 4.  That is, <code>(let {{nowrap|(g (\f (\x (f (f x)))))}} {{nowrap|((g (\x (+ 1 x))) 0))}}</code> would evaluate to 2, <code>(let {{nowrap|(g (\f (\x (f (f x)))))}} {{nowrap|((g (g (\x (+ 1 x)))) 0))}}</code> to 4, and <code>(let {{nowrap|(g (\f (\x (f (f x)))))}} {{nowrap|((g (g (g (\x (+ 1 x))))) 0))}}</code> to 8, but <code>(let {{nowrap|(g (\f (\x (f (f x)))))}} {{nowrap|((g (g (g (g (\x (+ 1 x)))))) 0))}}</code> would produce {{nowrap|<code>&lt;error: exceeded maximum call-nesting depth (4)&gt;</code>}}.

* {{anchor|advanced string syntax}} If you really need to embed a double-quote in a string literal delimited by double-quotes, use two double-quotes inside the literal.  <code>{{nowrap|""}}</code> is the empty string; <code>{{nowrap|""""}}</code> is a string of length one, containing a single double-quote.  There is no analogous way to embed a single-quote in a string literal delimited by single-quotes.

* {{anchor|function wikilisp-version}} Function '''<code>wikilisp-version</code>''' provides a string describing the current version of the module.  <code>{{nowrap|(list (wikilisp-version))}}</code> currently evaluates to {{nowrap|<code>{{#invoke:{{#ifeq:{{#titleparts:{{PAGENAME}}||-1}}|doc|{{#titleparts:{{PAGENAME}}|-1}}|{{PAGENAME}}}}|rep|(list (wikilisp-version))}}</code>}}.

=== Index of functions ===
{{hidden|Index|
Special functions are '''boldfaced'''.
* <code>*</code> &mdash; [[#function *|Background]]
* <code>+</code> &mdash; Background ([[#function + number|numeric]],  [[#function + overload|overloaded]])
* <code>-</code> &mdash; [[#function -|Background]]
* <code>/</code> &mdash; [[#function /|Background]]
* '''<code>\</code>''' &mdash; [[#background \|Background]], [[#advanced \|Advanced]] ([[#advanced \ name|name]], [[#advanced \ depth|depth]])
* <code>^</code> &mdash; [[#function ^|Background]]
* <code>abs</code> &mdash; [[#function abs|Background]]
* <code>anchorencode</code> &mdash; [[#function anchorencode|Background]]
* '''<code>and?</code>''' &mdash; [[#special and?|Background]]
* <code>apply</code> &mdash; [[#function apply|Background]]
* <code>boolean?</code> &mdash; [[#function boolean?|Background]]
* <code>call?</code> &mdash; [[#function call?|Powerful]]
* <code>canonicalurl</code> &mdash; [[#function canonicalurl|Background]]
* <code>ceil</code> &mdash; [[#function ceil|Background]]
* <code>curry</code> &mdash; [[#function curry|Background]]
* '''<code>define</code>''' &mdash; [[#special define|Background]]
* <code>equal?</code> &mdash; [[#function equal?|Background]]
* <code>filter</code> &mdash; [[#function filter|Powerful]]
* <code>find</code> &mdash; [[#function find|Background]]
* <code>floor</code> &mdash; [[#function floor|Background]]
* <code>fn?</code> &mdash; [[#function fn?|Advanced]]
* <code>fullurl</code> &mdash; [[#function fullurl|Background]]
* <code>ge?</code> &mdash; [[#function ge?|Background]]
* <code>get-arg</code> &mdash; [[#function get-arg|Powerful]]
* <code>get-arg-expr</code> &mdash; [[#function get-arg-expr|Powerful]]
* <code>get-args</code> &mdash; [[#function get-args|Powerful]]
* <code>get-coords</code> &mdash; [[#function get-coords|Powerful]]
* <code>get-items</code> &mdash; [[#function get-items|Powerful]]
* <code>get-parts</code> &mdash; [[#function get-parts|Powerful]]
* <code>get-substring</code> &mdash; [[#background get-substring|Background]], [[#powerful get-substring|Powerful]]
* <code>gt?</code> &mdash; [[#function gt?|Background]]
* '''<code>if</code>''' &mdash; [[#special if|Background]]
* <code>join</code> &mdash; [[#background join|Background]], [[#powerful join|Powerful]]
* <code>lc</code> &mdash; [[#function lc|Background]]
* <code>lcfirst</code> &mdash; [[#function lcfirst|Background]]
* <code>le?</code> &mdash; [[#function le?|Background]]
* <code>length</code> &mdash; [[#function length|Background]]
* '''<code>let</code>''' &mdash; [[#special let|Background]]
* <code>link?</code> &mdash; [[#function link?|Powerful]]
* <code>list</code> &mdash; [[#function list|Background]]
* <code>list?</code> &mdash; [[#function list?|Background]]
* <code>lt?</code> &mdash; [[#function lt?|Background]]
* <code>map</code> &mdash; [[#function map|Powerful]]
* <code>member?</code> &mdash; [[#function member?|Background]]
* <code>merge</code> &mdash; [[#function merge|Powerful]]
* <code>not?</code> &mdash; [[#function not?|Background]]
* <code>nth</code> &mdash; [[#function nth|Background]]
* <code>number?</code> &mdash; [[#function number?|Background]]
* <code>op?</code> &mdash; [[#function op?|Advanced]]
* '''<code>or?</code>''' &mdash; [[#special or?|Background]]
* <code>param?</code> &mdash; [[#function param?|Powerful]]
* <code>parse</code> &mdash; [[#function parse|Powerful]]
* '''<code>sequence</code>''' &mdash; [[#special sequence|Background]]
* <code>set-substring</code> &mdash; [[#background set-substring|Background]], [[#powerful set-substring|Powerful]]
* <code>split</code> &mdash; [[#background split|Background]], [[#powerful split|Powerful]]
* <code>string?</code> &mdash; [[#function string?|Background]]
* <code>to-entity</code> &mdash; [[#function to-entity|Background]]
* <code>to-number</code> &mdash; [[#function to-number|Background]]
* <code>to-string</code> &mdash; [[#function to-string|Background]]
* <code>transformer</code> &mdash; [[#function transformer|Powerful]]
* <code>trim</code> &mdash; [[#function trim|Background]]
* <code>uc</code> &mdash; [[#function uc|Background]]
* <code>ucfirst</code> &mdash; [[#function ucfirst|Background]]
* <code>urlencode</code> &mdash; [[#function urlencode|Background]]
* <code>wikilisp-version</code> &mdash; [[#function wikilisp-version|Advanced]]
* <code>write</code> &mdash; [[#function write|Background]]
}}

== Module tests ==
These aren't exhaustive.  They aspire to exercise all of the code in the module at least once (both branches of an if, etc.), though there would be merit to deskchecking all the code to determine what parts of it have been overlooked.
{{hidden|Module tests|
{{module test case|top=1}}
{{module test case|rep|expected=( )|description=No tokens}}
{{module test case|rep|-10|expected=-10|description=No whitespace}}
{{module test case|rep| (list 8 false true length) |expected=( 8 false true &lt;[op: length]&gt; )|description=Token classes (tok3)}}
{{module test case|rep| (list 2 ( () 4 5) |expected=&lt;error: unmatched left-paren&gt;|description=Unbalenced left paren}}
{{module test case|rep| (list 2 ()) 4 5) |expected=&lt;error: unmatched right-paren&gt;|description=Unbalenced right paren}}
{{module test case|rep| (list
(+ 1;
   ;2
   3)
(+ "a" ; "b
   'c' ; 'd
   ); foo
(+ "a;b" 'c;d')
) |expected=( 4 "ac" "a;bc;d" )|description=comments}}
{{module test case|rep| (list 1 2 3 (list 4 5 6 (list))) |expected=( 1 2 3 ( 4 5 6 ( ) ) )|description=Nested lists}}
{{module test case|rep| (list " ' ') |expected=&lt;error: mismatched string-literal delimiter (")&gt;|description=Unbalenced double-quote}}
{{module test case|rep| (list  ' " \" ") |expected=&lt;error: mismatched string-literal delimiter (')&gt;|description=Unbalenced single-quote}}
{{module test case|rep| (list "
'
" 2 '"\"\') |expected=( "
'
" 2 """\""\" )|description=String literals}}
{{module test case|rep| (list + if (\ ())) |expected=( &lt;[op: add]&gt; [op: if] &lt;[op]&gt; )|description=Write combiners}}
{{module test case|rep| 'foo bar " quux' |expected=foo bar " quux|description=Display string}}
{{module test case|rep| (list foo) | expected=&lt;error: undefined symbol: foo&gt;|description=Undefined symbol}}
{{module test case|rep| (()) | expected=&lt;error: called object is not a combiner: ( )&gt;|description=Eval nil; call non-combiner}}
{{module test case|rep| (let (g (\f (\x (f (f x)))))  ((g (g (g (g (\x (+ 1 x)))))) 0)) |expected=&lt;error: exceeded maximum call-nesting depth (4)&gt;|description=Call-nesting beyond depth limit of 4}}
{{module test case|rep| (+ +) |expected=&lt;error: bad operand to [op: add]: expected number, string, boolean, or list, got &lt;[op: add]&gt;&gt;|description=Ordinary operand type error}}
{{module test case|rep| (split "foo" 3) |expected=&lt;error: bad operand to [op: split]: expected string or pattern, got 3&gt;|description=Operand type error, multiple types for non-initial operand}}
{{module test case|rep| (set-substring ()) |expected=&lt;error: bad operand to [op: set-substring]: expected string, got ( )&gt;|description=Operand type error, redundantly listed type}}
{{module test case|rep| (/ 3 "3456789a123456789b123456789c123456789d123456789e123456789f12345") |expected=&lt;error: bad operand to [op: divide]: expected number, got string&gt;|description=Operand type error, verbose operand}}
{{module test case|rep| (- ()) |expected=&lt;error: too few operands to [op: subtract]: expected at least 2, got 1&gt;|description=Too few operands, open arity}}
{{module test case|rep| (if) |expected=&lt;error: wrong number of operands to [op: if]: expected 3, got 0&gt;|description=Too few operands, fixed arity}}
{{module test case|rep| (get-sublist ()) | expected=&lt;error: too few operands to [op: get-sublist]: expected at least 2, got 1&gt;|description=Too few operands, range arity}}
{{module test case|rep| (if 1 2 3 4) |expected=&lt;error: wrong number of operands to [op: if]: expected 3, got 4&gt;|description=Too many operands, fixed arity}}
{{module test case|rep| (get-substring "" 1 2 3) |expected=&lt;error: too many operands to [op: get-substring]: expected at most 3, got 4&gt;|description=Too many operands, range arity}}
{{module test case|rep| (list (le?) (le? 2) (le? 2 3) (le? 2 1) (le? 1 2 3) (le? 2 1 3) (le? 1 3 2)) |expected=( true true true false true false false )|description=Binary predicate}}
{{module test case|rep| (list (boolean?) (boolean? true) (boolean? false false) (boolean? true 7) (boolean? 3 false)) |expected=( true true true false false )|description=Unary predicate}}
{{module test case|rep| (\ 4) |expected=&lt;error: bad parameter-list operand to [op: \]: 4&gt;|description=Parameter list not a list}}
{{module test case|rep| (\ (() x y)) |expected=&lt;error: bad parameter-list operand to [op: \]: ( ( ) x y )&gt;|description=First parameter not a symbol}}
{{module test case|rep| (\ (x y ())) |expected=&lt;error: bad parameter-list operand to [op: \]: ( x y ( ) )&gt;|description=Last parameter not a symbol}}
{{module test case|rep| (list (\ ()) (\ x) (\ (x y))) |expected=( &lt;[op]&gt; &lt;[op]&gt; &lt;[op]&gt; )|description=Parameter lists}}
{{module test case|rep| (list ((\ ())) ((\x (* x x)) 2) ((\ (a b c) (list c a b)) 3 4 5) ) |expected=( ( ) 4 ( 5 3 4 ) )|description=Match parameters}}
{{module test case|rep| (list (list) (list (+) (+ 8) (+ 1 2) (+ "a" "b" "c") (+ () (list 1) (list 2 3))) (- 1 2) (*) (* 8) (* 2 3) (/ 6 3) (list (lt? 1 2) (lt? 2 2) (lt? 2 1) (lt? "a" "b") (lt? "b" "b") (lt? "b" "a")) (list (le? 1 2) (le? 2 2) (le? 2 1) (le? "a" "b") (le? "b" "b") (le? "b" "a")) (list (gt? 1 2) (gt? 2 2) (gt? 2 1) (gt? "a" "b") (gt? "b" "b") (gt? "b" "a")) (list (ge? 1 2) (ge? 2 2) (ge? 2 1) (ge? "a" "b") (ge? "b" "b") (ge? "b" "a")) (not? false)) |expected=( ( ) ( 0 8 3 "abc" ( 1 2 3 ) ) -1 1 8 6 2 ( true false false true false false ) ( true true false true true false ) ( false false true false false true ) ( false true true false true true ) true )|description=list + - * / lt? le? gt? ge? not?}}
{{module test case|rep| (list (^ 3 2) (^ 4 0.5) (map abs (list 2 0 -1)) (map ceil (list 3 1.3 -1.3)) (map floor (list 3 1.3 -1.3))) |expected=( 9 2 ( 2 0 1 ) ( 3 2 -1 ) ( 3 1 -2 ) )|description=^ abs ceil floor}}
{{module test case|rep| (list (list? ()) (list? 3) (string? "") (string? 3) (number? 3) (number? list) (symbol? ()) (boolean? true) (boolean? 3) (fn? list) (fn? 2) (op? if) (op? +)) |expected=( true false true false true false false true false true false true false )|description=list? string? number? symbol? boolean? fn? op?}}
{{module test case|rep| (if 1 2 3) |expected=&lt;error: bad test-result in [op: if]: 1&gt;|description=if non-boolean test result}}
{{module test case|rep| (list (length "foo") (length (list 3 3)) (if (lt? 1 2) (- 3 2) x) (if false x (+ 4 5)) ) |expected=( 3 2 1 9 )|description=length if}}
{{module test case|rep| (define (foo) 2) |expected=&lt;error: bad definiend to [op: define]: expected symbol, got ( foo )&gt;|description=define non-symbol definiend}}
{{module test case|rep| (define x 3) (define f (\ ())) (list x f (f))|expected=( 3 &lt;[op: f]&gt; ( ) )|description=define}}
{{module test case|rep| (define f (\ (+ -) (* 3 4) (list - +))) (list f (f 7 8)) |expected=( &lt;[op: f]&gt; ( 8 7 ) )|description=\ (realistically, most aspects of \ are exercised by earlier tests))}}
{{module test case|rep| (list (get-arg 1) (get-arg "2") (get-arg 3) (get-arg 4) (get-arg 5)) | second || fourth |expected=( " (list (get-arg 1) (get-arg ""2"") (get-arg 3) (get-arg 4) (get-arg 5)) " " second " "" " fourth " ( ) )|description=get-arg}}
{{module test case|rep| (list (parse (get-arg 2)) (parse (get-arg 3)) (parse "foo")) | {{!}} {{(*}}{{(*}}{{(*}}{{(*}}foo{{!}}{{!}}bar{{*)}}{{*)}} {{*)}}{{*)}} | {{(*}}{{(*}}{{(*}}{{(*}} [[]] {{*)}}{{*)}}{{*)}} |expected=( ( ( "call" ( 4 20 ) ( "part" ( 6 18 ) ( "call" ( 6 17 ) ( "part" ( 8 10 ) ) ( "part" ( 12 11 ) ) ( "part" ( 13 15 ) ) ) ) ) ) ( ( "param" ( 3 14 ) ( "part" ( 6 11 ) ( "link" ( 7 10 ) ( "part" ( 9 8 ) ) ) ) ) ) ( ) )|description=parse: leading non-left, non-final call, final call, multiple parts, consecutive pipes, new left-index; unused top-level entry, wikilink, parameter, featureless input}}
{{module test case|rep| (nth (list 3 5 7) 0) |expected=&lt;error: bad operand to [op: nth]: expected positive integer, got 0&gt;|description=nth index too low}}
{{module test case|rep| (nth (list 3 5 7) "foo") |expected=&lt;error: bad operand to [op: nth]: expected positive integer, got "foo"&gt;|description=nth index non-numeric}}
{{module test case|rep| (nth (list 1 (list 3 5 7)) 2 4) |expected=&lt;error: bad index to [op: nth]: asked for 4, list length is 3&gt;|description=nth index too high}}
{{module test case|rep| (nth (list 3 5 7) 1.1) |expected=&lt;error: bad operand to [op: nth]: expected positive integer, got 1.1&gt;|description=nth index fractional}}
{{module test case|rep| (nth (list "") 1 1) |expected=&lt;error: bad multi-index to [op: nth]: tree too shallow&gt;|description=nth tree too shallow}}
{{module test case|rep| (list (nth (list 3 5 7) 2) (nth (list (list 1 2 3) (list 4 5 6) (list 7 8 9)) 3 1)) |expected=( 5 7 )|description=nth}}
{{module test case|rep| (list (and?) (and? true false "foo") ((and? boolean? if) false false true) ((and? number? gt?) "foo")) |expected=( true false true false )|description=and?, non-error}}
{{module test case|rep| (and? "foo") |expected=&lt;error: bad operand to [op: and?]: expected boolean or combiner, got "foo"&gt;|description=and? first-order operand type error, leftmost}}
{{module test case|rep| (and? true number?) |expected=&lt;error: bad operand to [op: and?]: expected boolean, got &lt;[op: number?]&gt;&gt;|description=and? first-order operand type error, after boolean}}
{{module test case|rep| (and? number? true) |expected=&lt;error: bad operand to [op: and?]: expected combiner, got true&gt;|description=and? first-order operand type error, after combiner}}
{{module test case|rep| ((and? gt?) true) |expected=&lt;error: bad operand to [op: gt?]: expected number or string, got true&gt;|description=and? second-order operand type error}}
{{module test case|rep| (list (or?) (or? false true "foo") ((or? string? if) false "foo" true) ((or? string? gt?) "foo")) |expected=( false true true true )|description=or?, non-error}}
{{module test case|rep| (or? "foo") |expected=&lt;error: bad operand to [op: or?]: expected boolean or combiner, got "foo"&gt;|description=or? first-order operand type error, leftmost}}
{{module test case|rep| (or? false number?) |expected=&lt;error: bad operand to [op: or?]: expected boolean, got &lt;[op: number?]&gt;&gt;|description=or? first-order operand type error, after boolean}}
{{module test case|rep| (or? number? true) |expected=&lt;error: bad operand to [op: or?]: expected combiner, got true&gt;|description=or? first-order operand type error, after combiner}}
{{module test case|rep| ((or? gt?) false) |expected=&lt;error: bad operand to [op: gt?]: expected number or string, got false&gt;|description=or? second-order operand type error}}
{{module test case|rep| (filter (parse (get-arg 2)) nth) | [[foo]] |expected=&lt;error: too few operands to [op: nth]: expected at least 2, got 1&gt;|description=filter predicate reports error}}
{{module test case|rep| (filter (parse (get-arg 2)) length nth) | [[foo]] |expected=&lt;error: bad operand to [op: and?]: expected boolean, got 3&gt;|description=filter predicate returns non-boolean, later predicate would have reported error}}
{{module test case|rep| (define t (parse (get-arg 2))) (list (filter t (\x false) nth) (filter t (\x (equal? (nth x 1) "link")))) | [[foo]] {{(*}}{{(*}}foo{{*)}}{{*)}} [[foo{{!}} [[bar]] {{(*}}{{(*}}bar{{*)}}{{*)}} ]] {{(*}}{{(*}}foo{{!}} [[bar]] {{(*}}{{(*}}bar{{*)}}{{*)}} {{*)}}{{*)}} |expected=( ( ) ( ( "link" ( 2 8 ) ( "part" ( 4 6 ) ) ) ( "link" ( 18 42 ) ( "part" ( 20 22 ) ) ( "part" ( 24 40 ) ( "link" ( 25 31 ) ( "part" ( 27 29 ) ) ) ) ) ( "link" ( 51 57 ) ( "part" ( 53 55 ) ) ) ) )|description=filter: false predicate cutting off later error, items included or omitted with or without sub-items}}
{{module test case|rep| (filter (list 3 "foo" 4 "bar") string?) |expected=( "foo" "bar" )|description=filter: non-list items}}
{{module test case|rep| (list (link? 3) (call? 3) (param? 3) (link? ()) (call? ()) (param? ()) (link? (list 3)) (call? (list 3)) (param? (list 3)) (link? (list "param")) (call? (list "link")) (param? (list "call")) (link? (list "link")) (call? (list "call")) (param? (list "param"))) |expected=( false false false false false false false false false false false false true true true )|description=link? call? param?}}
{{module test case|rep| (get-parts (list "foo")) |expected=&lt;error: bad operand to [op: get-parts]: expected item, got ( "foo" )&gt;|description=get-parts list too short}}
{{module test case|rep| (get-items ()) |expected=&lt;error: bad operand to [op: get-items]: expected part, got ( )&gt;|description=get-items list too short}}
{{module test case|rep| (get-items (nth (get-parts (nth (parse (get-arg 2)) 1)) 2)) | {{{(*}}{{(*}}{foo [[]] {{!}} [[]] bar}{{*)}}{{*)}} |expected=( ( "link" ( 17 20 ) ( "part" ( 19 18 ) ) ) )|description=get-parts, get-items}}
{{module test case|rep| (define p (parse (get-arg 2))) (list (get-coords (nth p 1)) (get-coords (nth (get-parts (nth p 1)) 2))) | {{{(*}}{{(*}}{foo [[]] {{!}} [[]] bar}{{*)}}{{*)}} |expected=( ( 3 27 ) ( 16 24 ) )|description=get-coords}}
{{module test case|rep| (define s (get-arg 2)) (define t (parse s)) (list (get-substring s (nth t 1)) (get-substring s (nth (get-parts (nth t 1)) 2))) | {{{(*}}{{(*}}{foo [[]] {{!}} [[]] bar}{{*)}}{{*)}} |expected=( "{{(*}}{{(*}}{{(*}}foo [[]] {{!}} [[]] bar{{*)}}{{*)}}{{*)}}" " [[]] bar" )|description=get-substring items, parts}}
{{module test case|rep| (define s "foobar") (define s2 (get-substring s 2 5)) (list (get-substring s -2 1) (get-substring s (list 2 5)) (get-substring s (list (list -1 8))) (get-substring s2 (list (list 2 3) (list 1 8)))) |expected=( "f" "ooba" ( "foobar" ) ( "ob" "ooba" ) )|description=get-substring integers; coordinate-lists; lists of coordinate-lists}}
{{module test case|rep| (get-substring "foo" (list 2 2 2)) |expected=&lt;error: bad operand to [op: get-substring]: expected integer, coordinates descriptor, or list of coordinates descriptors, got ( 2 2 2 )&gt;|description=ipcs_tc coords list too long}}
{{module test case|rep| (get-substring "foo" (list 2 "x")) |expected=&lt;error: bad operand to [op: get-substring]: expected integer, coordinates descriptor, or list of coordinates descriptors, got ( 2 "x" )&gt;|description=ipcs_tc coords truncated item}}

{{module test case|rep| (set-substring "abc" 0 1 "123") |expected=&lt;error: bounds violation in [op: set-substring]: segment starts left of string start (0)&gt;|description=set-substring, segment starts before string}}
{{module test case|rep| (set-substring "abc" 3 4 "123") |expected=&lt;error: bounds violation in [op: set-substring]: segment ends right of string end (4, 3)&gt;|description=set-substring, segment ends after string}}
{{module test case|rep| (set-substring "abc" 3 1 "123") |expected=&lt;error: bounds violation in [op: set-substring]: segment starts right of its own end (3, 1)&gt;|description=set-substring, segments ends before starts}}
{{module test case|rep| (set-substring "abcdef" (list (list 2 4) (list 3 5)) (list "1" "2")) |expected=&lt;error: bounds violation in [op: set-substring]: segment ends right of next segment start (4, 3)&gt;|description=set-substring, segment ends after next begins}}
{{module test case|rep| (list (set-substring "123" 1 0 "a") (set-substring "12345" (list 2 2) "abc") (set-substring "abc" (list (list 2 2)) (list "1" "2")) (set-substring "abc" (list (list 2 2)) ()) (set-substring "ab" (list (list 2 1) (list 2 1)) (list "1" "2"))) |expected=( "a123" "1abc345" "a1c" "abc" "a12b" )|description=set-substring}}

{{module test case|rep| (list (split "1,2,3" ",") (split "foobar" "z") (split "abcdbc" "bc") (split "ab" "a") (split "foobar" (pattern "[oa]")) (split "foo)bar" "(" ")") (split "foo(b)a(r" "(" ")") (split "a(b(c(d)e)f)g(h(i()j" (pattern "%(") (pattern "%)")) (split "a(b(c)d(e)f)g(h)i" "(" ")" (list "(" ")")) (split (list (list) (list "c,d") "a,b") ",")) |expected=( ( "1" "2" "3" ) ( "foobar" ) ( "a" "d" "" ) ( "" "b" ) ( "f" "" "b" "r" ) ( ) ( "b" ) ( "b(c(d)e)f" "" ) ( ( "c" "e" ) ( ) ) ( ( ) ( ( "c" "d" ) ) ( "a" "b" ) ) )|description=split}}
{{module test case|rep| (list (get-sublist (list 1 2 3) 2) (get-sublist (list 1 2 3) 2 4)) |expected=( ( 2 3 ) ( 2 3 ) )|description=get-sublist}}
{{module test case|rep| (find (list 1 2 3) (\x ())) |expected=&lt;error: bad predicate result type to [op: find]: got list&gt;|description=find, predicate returns non-boolean}}
{{module test case|rep| (find (list true) lt?) |expected=&lt;error: bad operand to [op: lt?]: expected number or string, got true&gt;|description=find, predicate throws error}}
{{module test case|rep| (find ":" "") |expected=( )|description=find, empty string in nonempty string}}
{{module test case|rep| (find ":" (pattern "")) |expected=( )|description=find, empty pattern in nonempty string}}
{{module test case|rep| (list (find (list (list 1) 2 3 "d") number?) (find (list 1 2 3) string?) (find "foobar" "o") (find "foobar" (pattern "[ao]")) (find "quux" (pattern "[ao]"))) |expected=( ( 2 3 ) ( ) ( ( 2 2 ) ( 3 3 ) ) ( ( 2 2 ) ( 3 3 ) ( 5 5 ) ) ( ) )|description=find}}
{{module test case|rep| (list (set-sublist (list 1 2 3) -2 1 (list "a" "b")) (set-sublist (list 1 2 3) 2 0 (list "a")) (set-sublist (list 1 2 3 4) 2 3 ())) |expected=( ( "a" "b" 2 3 ) ( 1 "a" 2 3 ) ( 1 4 ) )|description=set-sublist}}
{{module test case|rep| (map + (list 1) (list "a")) |expected=&lt;error: bad operand to [op: add]: expected number, got "a"&gt;|description=map, error from mapped function}}
{{module test case|rep| (list (apply + (list 1 2)) (map (\x (* x x)) (list 2 3)) (map + (list 1 "a" (list 2)) (list 3 "b")) ((curry * 2 3) 4 5)) |expected=( 3 ( 4 9 ) ( 4 "ab" ) 120 )|description=apply, map, curry}}
{{module test case|rep| (list (member? 2 ()) ((member? 2) ()) (member? 1 (list 2 3)) ((member? 1) (list 2 3)) (member? 1 (list 2 1)) ((member? 1) (list 2 1))) |expected=( false false false false true true )|description=member?}}
{{module test case|rep| (list (trim " a b c ") (trim (list " 1 ")) (lc "abc") (lc "ABC") (lc (list "abc" "ABC")) (lcfirst "abc") (lcfirst "ABC") (lcfirst (list "abc" "ABC")) (uc "abc") (uc "ABC") (uc (list "abc" "ABC")) (ucfirst "abc") (ucfirst "ABC") (ucfirst (list "abc" "ABC"))) |expected=( "a b c" ( "1" ) "abc" "abc" ( "abc" "abc" ) "abc" "aBC" ( "abc" "aBC" ) "ABC" "ABC" ( "ABC" "ABC" ) "Abc" "ABC" ( "Abc" "ABC" ) )|description=trim, lc, lcfirst, uc, ucfirst}}
{{module test case|rep| (define ls (list "ABC" "DEF" "" "GHI")) (equal? (list "&#65;" "&#68;" "" "&#71;") (to-entity ls) (map to-entity ls)) |expected=true|description=to-entity}}
{{module test case|rep| (let (x 3) (+ x (let (x 4) x))) |expected=7|description=let}}
{{module test case|rep| (list (to-number "314.159265e-2") (to-number "foo") (to-number (get-substring "4567" 2 3)) (to-string 314.159265e-2)) |expected=( 3.14159265 ( ) 56 "3.14159265" )|description=to-number, to-string}}
{{module test case|rep| (define x 3) (sequence (define x 2)) (let (y 1) (define x 0)) (list x (sequence) (sequence 1) (sequence 1 2)) |expected=( 2 ( ) 1 2 )|description=sequence}}
{{module test case|rep| (define t (list 2 3 (list 4 5) 6 (list 7 8)))
  (list ((transformer) (\x (* x x)) (\x x) t)
        ((transformer 1) (\x (* x x)) (\x x) t)
        ((transformer (\x (and? (ge? (length x) 1) (le? (nth x 1) 4)))) (\x "x") (\x x) t)
        ((transformer (\x (and? (ge? (length x) 1) (le? (nth x 1) 4))) 1) (\x "x") (\x x) t)
        ((transformer 2 (\x (+ x 1))) (\(n x) n) (\(n x) x) t)
        ((transformer (\x (and? (ge? (length x) 1) (le? (nth x 1) 4))) 2 (\x (+ x 1))) (\(n x) n) (\(n x) x) t)
        ((transformer -3 (\x (+ x 1)) 1) (\(n x) n) (\(n x) x) t)
        ((transformer (\x (and? (ge? (length x) 1) (le? (nth x 1) 4))) -3 (\x (+ x 1)) 1) (\(n x) n) (\(n x) x) t)
  ) |expected=( ( 4 9 ( 16 25 ) 36 ( 49 64 ) ) ( 2 9 ( 4 25 ) 36 ( 7 64 ) ) ( "x" "x" ( "x" "x" ) "x" "x" ) ( 2 "x" ( 4 "x" ) "x" "x" ) ( 3 3 ( 4 4 ) 3 ( 4 4 ) ) ( 3 3 ( 4 4 ) 3 3 ) ( 2 -2 ( 4 -1 ) -2 ( 7 -1 ) ) ( 2 -2 ( 4 -1 ) -2 -2 ) )|description=transformer, non-error}}
{{module test case|rep| (transformer true 3) |expected=&lt;error: bad operand to [op: transformer]: expected fn, got 3&gt;|description=transformer, boolean parameter}}
{{module test case|rep| (transformer list? true) |expected=&lt;error: too few operands to [op: transformer]: expected at least 3, got 2&gt;|description=transformer, fn-boolean parameters}}
{{module test case|rep| ((transformer (\x (* x x))) list? list? ()) |expected=&lt;error: bad operand to [op: multiply]: expected number, got ( )&gt;|description=transformer, predicate error}}
{{module test case|rep| ((transformer (\x "")) list? list? ()) |expected=&lt;error: bad predicate result type to [op transform]: string&gt;|description=transformer, non-boolean predicate result}}
{{module test case|rep| ((transformer) list? (\x (- x x)) ()) |expected=&lt;error: bad operand to [op: subtract]: expected number, got ( )&gt;|description=transformer, error from recursive call}}
{{module test case|rep| (list (get-arg-expr 2) (get-arg-expr 3)) | (* 2 3) | ( |expected=( ( * 2 3 ) ( ) )|description=get-arg-expr, non-error}}
{{module test case|rep| (list (write "foo""bar") (urlencode "fo'o bar") (urlencode "fo'o bar" "path") (urlencode "fo'o bar" "wiki") (anchorencode "fo'o bar") (fullurl "fo'o bar" "qu'ux baz") (canonicalurl "fo'o bar")) |expected=( """foo""""bar""" "fo%27o+bar" "fo%27o%20bar" "fo%27o_bar" "fo&#039;o_bar" "//en.{{lc:{{SITENAME}}}}.org/w/index.php?title=Fo%27o_bar&qu%27ux+baz" "https://en.{{lc:{{SITENAME}}}}.org/wiki/Fo%27o_bar" )|description=write, urlencode, anchorencode, fullurl, canonicalurl}}
{{module test case|rep| (list (join () ",") (join () "(" ")") (join (list "a") ",") (join (list "a") "(" ")") (join (list (list "a" "b")) ",") (join (list (list "a" "b")) "(" ")") (join (list (list (list "a" "b") (list "c" "d")) (list (list "e" "f") (list "g" "h"))) "," (list "(" ")" (list ";")))) |expected=( "" "" "a" "(a)" ( "a,b" ) ( "(a)(b)" ) "(a,b)(c,d);(e,f)(g,h)" )|description=join, non-error}}
{{module test case|rep| (join (list "a" "b") "," (list "(" ")")) |expected=&lt;error: bad target for [op: join]: tree not deep enough&gt;|description=join, not-deep-enough error}}
{{module test case|rep| (join (list (list "a" ())) "," (list "(" ")")) |expected=&lt;error: bad target for [op: join]: uneven tree depth&gt;|description=join, uneven-depth error: sep, string first; nested}}
{{module test case|rep| (join (list (list () "a")) ",") |expected=&lt;error: bad target for [op: join]: uneven tree depth&gt;|description=join, uneven-depth error: sep, list first}}
{{module test case|rep| (join (list (list "a" ())) "(" ")") |expected=&lt;error: bad target for [op: join]: uneven tree depth&gt;|description=join, uneven-depth error: delim, string first}}
{{module test case|rep| (join (list (list () "a")) "(" ")") |expected=&lt;error: bad target for [op: join]: uneven tree depth&gt;|description=join, uneven-depth error: delim, string first}}
{{module test case|rep| (list (merge le? (list)) (merge le? (list 1 3 2)) (merge le? (list 2 4 6) (list 1 5 3)) (merge le? (list 1 5 7 12 14 18) (list 2 4 9 10 15 17) (list 3 6 8 11 13 16)) (merge le? (list 1 7 8) (list 6 9) (list 2 5 10) (list 4) (list 3 11))) |expected=( ( ) ( 1 3 2 ) ( 1 2 4 5 3 6 ) ( 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ) ( 1 2 3 4 5 6 7 8 9 10 11 ) )|description=merge}}
{{module test case|trep| (list (get-arg "description") (get-arg 1) (get-arg-expr 2) (get-arg-expr 3)) | (+ 1 2 3) |expected=( "trep" "trep" ( list ( get-arg "description" ) ( get-arg 1 ) ( get-arg-expr 2 ) ( get-arg-expr 3 ) ) ( + 1 2 3 ) )|description=trep}}
{{module test case|rep| (map (\x (list x (get-arg x))) (get-args)) |foobar|expected=( ( 1 " (map (\x (list x (get-arg x))) (get-args)) " ) ( 2 "foobar" ) ( 3 "" ) ( 4 "" ) )|description=get-args (rep)}}
{{module test case|trep| (get-args) |foobar|expected=( 1 2 3 "description" "expected" )|description=get-args (trep)}}
{{module test case|bottom=1}}
}}

<noinclude>
[[Category:Module documentation]]
</noinclude><includeonly>
[[Category:Dialog required support templates]]
</includeonly>