suzanne.soy/anaphoric
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Documentation changes suggested by O. Andreescu. Thanks!

Browse Source
This commit is contained in:
Georges Dupéron 2016-08-15 01:20:57 +02:00
parent c08e971977
commit da9a4441dc
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
scribblings/anaphoric.scrbl
View File

@ -3,7 +3,7 @@
racket/base]] racket/base]]
@title{Anaphoric conditionals} @title{Anaphoric conditionals}
@author+email["georges.duperon@gmail.com"]{Georges Dupéron} @author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]]
@defmodule[anaphoric] @defmodule[anaphoric]
@ -28,9 +28,10 @@ condition expression.
In the @racket[else] clause of @racket[acond] and in the In the @racket[else] clause of @racket[acond] and in the
else branch of @racket[aif], the @racket[it] syntax else branch of @racket[aif], the @racket[it] syntax
parameter keeps its value. This meeans it keeps the value parameter keeps its value. This means it keeps the value
bound by the surrounding conditionnal, if any. Otherwise it acts just bound by the surrounding conditional, if any. Otherwise it
like when it is used at the top-level, and raises a syntax error. acts exactly as when it is used at the top-level, and raises
a syntax error.
@racketblock[(aif 'first @racketblock[(aif 'first
(aif (eq? 'second 'no) (aif (eq? 'second 'no)
@ -40,8 +41,8 @@ like when it is used at the top-level, and raises a syntax error.
In the example above, @racket[(displayln it)] prints In the example above, @racket[(displayln it)] prints
@racket['first]. In the example below, @racket['first]. In the example below,
@racket[(displayln it)] will raises a syntax error, as it @racket[(displayln it)] raises a syntax error, as it appears
appears in a sequence of else branches: in a sequence of else branches:
@racketblock[(aif (eq? 'first 'no) @racketblock[(aif (eq? 'first 'no)
'not-executed 'not-executed
@ -117,7 +118,7 @@ using @racket[it].
The last two variants are shorthands for using the same The last two variants are shorthands for using the same
@racket[identifier] in all cases (except the @racket[else] @racket[identifier] in all cases (except the @racket[else]
case) case).
Each @racket[conditionᵢ] is evaluated at most once Each @racket[conditionᵢ] is evaluated at most once
(evaluation stops at the first successful (evaluation stops at the first successful