suzanne.soy/typed-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 
original commit: fa5846cb0c32b11e15cbfb0ca6e1fa2aadbd876e
This commit is contained in:
Sam Tobin-Hochstadt 2012-10-26 11:05:53 -07:00
parent bde8ebbef0
commit 45bc44e686
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
(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))
@ -44,8 +44,7 @@
[(? (lambda (e)
(or (number? e) (string? e) (char? e) (symbol? e)
(null? e) (regexp? e) (eq? undef e) (path? e)
(flvector? e) (flvector? e) (regexp? e)
(keyword? e) (bytes? e) (boolean? e) (void? e))))
(regexp? e) (keyword? e) (bytes? e) (boolean? e) (void? e))))
v]
[(cons x y) (cons (t x) (t y))]
[(? vector? (? immutable?))