From 5f6aeb364ff0007914809017a4e14f4f3bc65a53 Mon Sep 17 00:00:00 2001 From: Noel Welsh Date: Wed, 17 Mar 2010 15:26:30 +0000 Subject: [PATCH] Check that the FlVector type is exported. Currently this test fails. svn: r18557 --- collects/tests/typed-scheme/succeed/flvector.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/tests/typed-scheme/succeed/flvector.ss b/collects/tests/typed-scheme/succeed/flvector.ss index 22f141176d..9643c148c3 100644 --- a/collects/tests/typed-scheme/succeed/flvector.ss +++ b/collects/tests/typed-scheme/succeed/flvector.ss @@ -17,6 +17,9 @@ #t (error (format "Check (~a ~a ~a) failed" f a b)))) +;; Check the FlVector type is exported +(define: v : FlVector (flvector 1. 2. 3.)) + (check equal? (flvector 1. 2. 3. 4.) (flvector 1. 2. 3. 4.)) (check equal? (flvector? (flvector 1. 2. 3.)) #t) (check equal? (make-flvector 3 3.0) (flvector 3. 3. 3.))