From aef4f3905cd7484af50c3081716a4770ebb23761 Mon Sep 17 00:00:00 2001 From: Jon Rafkind Date: Tue, 15 Sep 2009 01:18:33 +0000 Subject: [PATCH] add prompt/control examples svn: r16016 --- collects/scribblings/reference/control-lib.scrbl | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/collects/scribblings/reference/control-lib.scrbl b/collects/scribblings/reference/control-lib.scrbl index 6676148825..2af91d9930 100644 --- a/collects/scribblings/reference/control-lib.scrbl +++ b/collects/scribblings/reference/control-lib.scrbl @@ -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)))))) ]} @; ----------------------------------------------------------------------