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

add prompt/control examples

Browse Source 
svn: r16016
This commit is contained in:
Jon Rafkind 2009-09-15 01:18:33 +00:00
parent 93a2302bf3
commit aef4f3905c
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
collects/scribblings/reference/control-lib.scrbl
View File

@ -87,6 +87,19 @@ The essential reduction rules are:
(prompt _E[(control _k _expr)]) => (prompt ((lambda (_k) _expr)
(lambda (_v) _E[_v])))
(code:comment @#,t{where @scheme[_E] has no @scheme[prompt]})
]
@examples[#:eval control-eval
(prompt
(+ 2 (control k (k 5))))
(prompt
(+ 2 (control k 5)))
(prompt
(+ 2 (control k (+ 1 (control k1 (k1 6))))))
(prompt
(+ 2 (control k (+ 1 (control k1 (k 6))))))
(prompt
(+ 2 (control k (control k1 (control k2 (k2 6))))))
]}
@; ----------------------------------------------------------------------