Fix the types for pin-over and pin-under in typed/pict

2015-03-13 16:25:33 -07:00 · 2015-03-13 16:25:33 -07:00 · 193f3c49c6
commit 193f3c49c6
parent 8106d318f1
1 changed files with 4 additions and 2 deletions
--- a/typed-racket-more/typed/pict.rkt
+++ b/typed-racket-more/typed/pict.rkt
@ -166,15 +166,17 @@

 [pin-over
  (cl->*
-    (-> -pict -Real -Real -pict)
+    (-> -pict -Real -Real -pict -pict)
    (-> -pict -pict-path
        (-> -pict -pict-path (-values (list -Real -Real)))
+        -pict
        -pict))]
 [pin-under
  (cl->*
-    (-> -pict -Real -Real -pict)
+    (-> -pict -Real -Real -pict -pict)
    (-> -pict -pict
        (-> -pict -pict (-values (list -Real -Real)))
+        -pict
        -pict))]

 [table