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

Fix a problem generating contracts for FlVector exports. Add test for problem.

Browse Source 
svn: r18603
This commit is contained in:
Noel Welsh 2010-03-23 10:30:24 +00:00
parent fb37601b55
commit cf017110a9
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,6 +19,7 @@
;; Check the FlVector type is exported
(define: v : FlVector (flvector 1. 2. 3.))
(define-struct: Foo ([vec : FlVector]) #:transparent)
(check equal? (flvector 1. 2. 3. 4.) (flvector 1. 2. 3. 4.))
(check equal? (flvector? (flvector 1. 2. 3.)) #t)

2
collects/typed-scheme/types/abbrev.ss
View File

@ -11,7 +11,7 @@
scheme/flonum
(prefix-in c: scheme/contract)
(for-syntax scheme/base syntax/parse)
(for-template scheme/base scheme/contract scheme/promise scheme/tcp))
(for-template scheme/base scheme/contract scheme/promise scheme/tcp scheme/flonum))
(provide (all-defined-out)
(rename-out [make-Listof -lst]))