[racket] another weird typed racket error

From: Alexander D. Knauth (alexander at knauth.org)
Date: Sat Apr 19 23:34:02 EDT 2014


Here’s the program:
#lang typed/racket

(require plot/typed plot/typed/utils)

(: vsum ((Listof (Vectorof Real)) -> (Vectorof Real)))
(define (vsum vs)
  (apply vector-map + vs))

It’s giving me this error:
. Type Checker: Bad arguments to polymorphic function in apply:
Domain: (a b ... b -> c) (Vectorof a) (Vectorof b) ... b
Arguments: (case-> (-> Zero) (Zero Zero -> Zero) (One Zero -> One) (Zero One -> One) (Positive-Byte Zero -> Positive-Byte) (Zero Positive-Byte -> Positive-Byte) (Byte Zero -> Byte) (Zero Byte -> Byte) (Positive-Index Zero -> Positive-Index) (Zero Positive-Index -> Positive-Index) (Index Zero -> Index) (Zero Index -> Index) (Positive-Fixnum Zero -> Positive-Fixnum) (Zero Positive-Fixnum -> Positive-Fixnum) (Nonnegative-Fixnum Zero -> Nonnegative-Fixnum) (Zero Nonnegative-Fixnum -> Nonnegative-Fixnum) (Negative-Fixnum Zero -> Negative-Fixnum) (Zero Negative-Fixnum -> Negative-Fixnum) (Nonpositive-Fixnum Zero -> Nonpositive-Fixnum) (Zero Nonpositive-Fixnum -> Nonpositive-Fixnum) (Fixnum Zero -> Fixnum) (Zero Fixnum -> Fixnum) (Positive-Byte Positive-Byte -> Positive-Index) (Byte Byte -> Index) (Positive-Byte Positive-Byte Positive-Byte -> Positive-Index) (Byte Byte Byte -> Index) (Positive-Index Index -> Positive-Fixnum) (Index Positive-Index -> Positive-Fixnum) (Positive-Index Index Index -> Positive-Fixnum) (Index Positive-Index Index -> Positive-Fixnum) (Index Index Positive-Index -> Positive-Fixnum) (Index Index -> Nonnegative-Fixnum) (Index Index Inde in: (apply vector-map + vs)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140419/060beacf/attachment-0001.html>

Posted on the users mailing list.