From 99e9bd95433b19412535aca4b32613e29f792a77 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 22 Mar 2011 19:26:19 -0500
Subject: [PATCH] exported arrow->pict

---
 collects/redex/pict.rkt         | 1 +
 collects/redex/private/pict.rkt | 3 ++-
 collects/redex/redex.scrbl      | 4 ++++
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/collects/redex/pict.rkt b/collects/redex/pict.rkt
index 652cdd5cc3..04ce663440 100644
--- a/collects/redex/pict.rkt
+++ b/collects/redex/pict.rkt
@@ -114,6 +114,7 @@
 
 (provide/contract
  [set-arrow-pict! (-> symbol? (-> pict?) void?)]
+ [arrow->pict (-> symbol? pict?)]
  
  [lw->pict
   (-> (or/c (listof symbol?) compiled-lang?) lw? pict?)]
diff --git a/collects/redex/private/pict.rkt b/collects/redex/private/pict.rkt
index 3f84098778..2e1c563091 100644
--- a/collects/redex/private/pict.rkt
+++ b/collects/redex/private/pict.rkt
@@ -55,7 +55,8 @@
          metafunction-cases
          compact-vertical-min-width
          extend-language-show-union
-         set-arrow-pict!)
+         set-arrow-pict!
+         arrow->pict)
 (provide/contract
  [linebreaks (parameter/c (or/c #f (listof boolean?)))])
 
diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index dece84125a..006f8cd95f 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -2223,6 +2223,10 @@ some part of a grammar, reduction relation, or
 metafunction. It defaults to slideshow's @racket[text] function.
 }
 
+@defproc[(arrow->pict [arrow symbol?]) pict?]{
+  Returns the pict corresponding to @racket[arrow].                                             
+}
+
 @defproc[(set-arrow-pict! [arrow symbol?] [proc  (-> pict?)]) void?]{
 
 This functions sets the pict for a given reduction-relation