From ae99d4e5bc81b5b75f0bb234ff2e154b84e7401f Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Wed, 21 Jul 2010 08:45:54 -0500
Subject: [PATCH] Adds a `apply-reduction-relation*' example to the docs

---
 collects/redex/redex.scrbl | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 278a5405fe..e165eaeb60 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -875,6 +875,19 @@ sequences that do not repeat, this function will not
 terminate (it does terminate if the only infinite reduction paths are cyclic).
 }
 
+@examples[
+#:eval redex-eval
+       (define-language empty-lang)
+       (define R
+         (reduction-relation
+          empty-lang
+          (--> 0 1)
+          (--> 0 2)
+          (--> 2 3)
+          (--> 3 3)))
+       (apply-reduction-relation R 0)
+       (apply-reduction-relation* R 0)]                        
+                        
 @defidform[-->]{ Recognized specially within
   @racket[reduction-relation]. A @racket[-->] form is an
   error elsewhere.  }