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

Make flvectors and fxvectors subtypes of sequences.

Browse Source
This commit is contained in:
Vincent St-Amour 2014-02-11 11:14:21 -05:00
parent 9ca0aa5225
commit 1e591a5124
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt
View File

@ -316,6 +316,10 @@
(subtypes* A0 ts (map (λ (_) t*) ts))]
[((Vector: t) (Sequence: (list t*)))
(subtype* A0 t t*)]
[((Base: 'FlVector _ _ _) (Sequence: (list t*)))
(subtype* A0 -Flonum t*)]
[((Base: 'FxVector _ _ _) (Sequence: (list t*)))
(subtype* A0 -Fixnum t*)]
[((Base: 'String _ _ _) (Sequence: (list t*)))
(subtype* A0 -Char t*)]
[((Base: 'Bytes _ _ _) (Sequence: (list t*)))

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
View File

@ -80,6 +80,10 @@
[(-val 6) -Number]
[(-val 'hello) -Symbol]
[(-set -Number) (make-Sequence (list -Number))]
[-FlVector (make-Sequence (list -Flonum))]
[-FlVector (make-Sequence (list -Number))]
[-FxVector (make-Sequence (list -Fixnum))]
[-FxVector (make-Sequence (list -Number))]
[((Un -Symbol -Number) . -> . -Number) (-> -Number -Number)]
[(-poly (t) (-> -Number t)) (-mu t (-> -Number t))]
;; not subtypes