Changeset 39330 in project for wiki/eggref/5/srfi-87

Timestamp:

11/21/20 03:34:02 (2 months ago)

Author:

gnosis

Message:

tagged syntax in SRFI-87 documentation

File:

• wiki/eggref/5/srfi-87 (modified) (1 diff)

wiki/eggref/5/srfi-87

@@ -24 +24 @@
 === Specification
 ==== (Based on R5RS section 4.2.1 Conditionals)
-library syntax: case <key> <clause1> <clause2> ...
+library syntax:
+
+<syntax>case <key> <clause1> <clause2> ...</syntax>
 ===== Syntax
 {{<Key>}} may be any expression. Each {{<clause>}} should have the form
 
-<enscript highlight="scheme">
-((<datum1> ...) <expression1> <expression2> ...),
-</enscript>
+<syntax>((<datum1> ...) <expression1> <expression2> ...)</syntax>
 
 where each {{<datum>}} is an external representation of some object. All the {{<datum>}}s must be distinct. The last {{<clause>}} may be an "else clause," which has the form
 
-<enscript highlight="scheme">
-(else <expression1> <expression2> ...).
-</enscript>
+<syntax>(else <expression1> <expression2> ...)</syntax>
 
 Alternatively, a {{<clause>}} may be of the form
 
-<enscript highlight="scheme">
-((<datum1> ...) => <expression>)
-</enscript>
+<syntax>((<datum1> ...) => <expression>)</syntax>
 
 and the last {{<clause>}} may be of the form
 
-<enscript highlight="scheme">
-(else => <expression>)
-</enscript>
+<syntax>(else => <expression>)</syntax>
 ===== Semantics
 A {{case}} expression is evaluated as follows. {{<Key>}} is evaluated and its result is compared against each {{<datum>}}. If the result of evaluating {{<key>}} is equivalent (in the sense of {{eqv?}}; see section see section [[http://www.swiss.ai.mit.edu/~jaffer/r5rs_8.html#SEC49|6.1 Equivalence predicates]]) to a {{<datum>}}, then the expressions in the corresponding {{<clause>}} are evaluated from left to right and the result(s) of the last expression in the {{<clause>}} is(are) returned as the result(s) of the {{case}} expression. If the result of evaluating {{<key>}} is different from every {{<datum>}}, then if there is an else clause its expressions are evaluated and the result(s) of the last is(are) the result(s) of the {{case}} expression; otherwise the result of the {{case}} expression is unspecified. If the selected {{<clause>}} uses the => alternate form, then the {{<expression>}} is evaluated. Its value must be a procedure that accepts one argument; this procedure is then called on the value of {{<Key>}} and the value(s) returned by this procedure is(are) returned by the {{case}} expression.