From f7cb175ee873691700c1571cc801ba3b9356df0c Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Thu, 20 Aug 2015 20:11:07 -0400
Subject: [PATCH] lens/c contract names

---
 lens/base/contract.rkt | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/lens/base/contract.rkt b/lens/base/contract.rkt
index 52c38ac..aae3889 100644
--- a/lens/base/contract.rkt
+++ b/lens/base/contract.rkt
@@ -3,6 +3,7 @@
 (provide lens/c)
 
 (require racket/contract/base
+         unstable/contract
          "gen-lens.rkt"
          )
 (module+ test
@@ -13,10 +14,12 @@
            ))
 
 (define (lens/c target/c view/c)
-  (gen-lens/c
-   [lens-view (or/c #f [lens? target/c . -> . view/c])]
-   [lens-set (or/c #f [lens? target/c view/c . -> . target/c])]
-   [focus-lens (or/c #f [lens? target/c . -> . (values view/c [view/c . -> . target/c])])]))
+  (rename-contract
+   (gen-lens/c
+    [lens-view (or/c #f [lens? target/c . -> . view/c])]
+    [lens-set (or/c #f [lens? target/c view/c . -> . target/c])]
+    [focus-lens (or/c #f [lens? target/c . -> . (values view/c [view/c . -> . target/c])])])
+   `(lens/c ,(contract-name target/c) ,(contract-name view/c))))
 
 (module+ test
   (check-exn exn:fail:contract?