typed-racket/typed-racket-test/succeed/pr14374.rkt
2014-12-16 10:07:25 -05:00

12 lines
239 B
Racket

#lang typed/racket
;; Test for PR 14374. Ensure that flvector is okay for Any
(require typed/rackunit
racket/fixnum
racket/flonum)
(check-equal? (flvector 0.0) (flvector 0.0))
(check-equal? (fxvector 0) (fxvector 0))