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

Flvectors and Fxvectors are higher-order if we give them restricted float types.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-10-26 11:05:53 -07:00
parent c6dc1e6ece
commit fa5846cb0c
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-racket/utils/any-wrap.rkt
View File

@ -1,6 +1,6 @@
#lang racket/base #lang racket/base
(require racket/match racket/contract/base racket/contract/combinator racket/flonum racket/fixnum) (require racket/match racket/contract/base racket/contract/combinator)
(define undef (letrec ([x x]) x)) (define undef (letrec ([x x]) x))
@ -44,8 +44,7 @@
[(? (lambda (e) [(? (lambda (e)
(or (number? e) (string? e) (char? e) (symbol? e) (or (number? e) (string? e) (char? e) (symbol? e)
(null? e) (regexp? e) (eq? undef e) (path? e) (null? e) (regexp? e) (eq? undef e) (path? e)
(flvector? e) (flvector? e) (regexp? e) (regexp? e) (keyword? e) (bytes? e) (boolean? e) (void? e))))
(keyword? e) (bytes? e) (boolean? e) (void? e))))
v] v]
[(cons x y) (cons (t x) (t y))] [(cons x y) (cons (t x) (t y))]
[(? vector? (? immutable?)) [(? vector? (? immutable?))