From b71e372c49d6518eaf8a3eb55f4050ad69745cab Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 14 Sep 2006 21:47:32 +0000
Subject: [PATCH] added contracts

svn: r4340
---
 collects/texpict/utils.ss | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/collects/texpict/utils.ss b/collects/texpict/utils.ss
index f72c8729ea..a8a3eef616 100644
--- a/collects/texpict/utils.ss
+++ b/collects/texpict/utils.ss
@@ -41,10 +41,6 @@
 	   desktop-machine
 	   standard-fish
            
-	   pin-line
-	   pin-arrow-line
-           pin-arrows-line
-
 	   add-line
 	   add-arrow-line
 	   add-arrows-line
@@ -64,6 +60,25 @@
            clip
 
 	   hyperlinkize)
+  
+  (provide/contract 
+   [pin-line (opt-> (pict?
+                     pict? (-> pict? pict? (values number? number?))
+                     pict? (-> pict? pict? (values number? number?)))
+                    (number? string? boolean?)
+                    pict?)]
+   [pin-arrow-line (opt-> (number? pict?
+                           pict? (-> pict? pict? (values number? number?))
+                           pict? (-> pict? pict? (values number? number?)))
+                          (number? string? boolean? boolean?)
+                          pict?)]
+   [pin-arrows-line (opt-> (number? pict?
+                           pict? (-> pict? pict? (values number? number?))
+                           pict? (-> pict? pict? (values number? number?)))
+                          (number? string? boolean? boolean?)
+                          pict?)])
+
+
 
   (define (re-pict box naya)
     (let ([w (pict-width box)]