suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Check that the FlVector type is exported. Currently this test fails.

Browse Source 
svn: r18557

original commit: 5f6aeb364ff0007914809017a4e14f4f3bc65a53
This commit is contained in:
Noel Welsh 2010-03-17 15:26:30 +00:00
parent 9cf45f3392
commit ba3d01e519
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/succeed/flvector.ss
View File

@ -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.))