fix the types fo LVof (#99)

change those types to be forward-compatible with TR's upcoming changes where
polymorphic types are no longer replacements of type constructors

Author: capfredf

plot-lib/plot/private/plot2d/arrows.rkt

@@ -44,7 +44,9 @@
 
 ;(Sequenceof (Sequence (Sequenceof Real))) does not work because (sequence? 5) = #t
 ;and so the contract can not know if '((2 2)) is three or two nested sequences
-(define-type LVof (All (A) (U (Listof A) (Vectorof A))))
+(define-type (LVof A)
+  (U (Listof A) (Vectorof A)))
+
 (:: arrows
     (->* [(U (LVof (LVof Real))
              (LVof (LVof (LVof Real))))]
@@ -113,7 +115,7 @@
              [v2 (in-list (cdr S1*))])
             (cons v1 v2))]
          [else S2]))
-     
+
      ;; calculate bound and pick right render-fun
      (define rvs
        (let ()
@@ -139,4 +141,4 @@
   (values (if x-min x-min (apply min* rxs))
           (if x-max x-max (apply max* rxs))
           (if y-min y-min (apply min* rys))
-          (if y-max y-max (apply max* rys))))
+          (if y-max y-max (apply max* rys))))

plot-lib/plot/private/plot3d/arrows.rkt

@@ -31,7 +31,9 @@
        (send area put-arrow (car x) (cdr x) #t))))
 
 
-(define-type LVof (All (A) (U (Listof A)(Vectorof A))))
+(define-type (LVof A)
+  (U (Listof A) (Vectorof A)))
+
 (:: arrows3d
     (->* [(U (LVof (LVof Real))
              (LVof (LVof (LVof Real))))]
@@ -74,7 +76,7 @@
         'arrows3d
         "(U (Sequenceof (Sequence Real Real Real)) (Sequenceof (Sequence (Sequence Real Real Real) (Sequence Real Real Real))))"
         vs))
-     
+
      ;; check if we have head/tail or pair vectors, and put in standard format
      (define-values (S1 S2)
        (for/fold ([S1 : (Listof (Vectorof Real)) '()]
@@ -135,4 +137,4 @@
           (if y-min y-min (apply min* rys))
           (if y-max y-max (apply max* rys))
           (if z-min z-min (apply min* rzs))
-          (if z-max z-max (apply max* rzs))))
+          (if z-max z-max (apply max* rzs))))