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

reduce racket/undefined to just undefined

Browse Source 
original commit: 4c947f188dd2701ccca7a8dc2c8146647c9eba57
This commit is contained in:
Matthew Flatt 2014-04-08 11:24:40 -06:00
parent 8e300317ee
commit 6e17926ba7
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
View File

@ -25,6 +25,7 @@
(for-template
racket/base
racket/contract/base
racket/undefined
(only-in racket/pretty pretty-print-style-table?)
(only-in racket/udp udp?)
(only-in racket/tcp tcp-listener?)
@ -92,8 +93,8 @@
(define/decl -Boolean (Un -False -True))
(define/decl -Undefined
(make-Base 'Undefined
#'undefined? ; initial value of letrec bindings
undefined?))
#'(lambda (x) (eq? x undefined))
(lambda (x) (eq? x undefined))))
(define/decl -Bytes (make-Base 'Bytes #'bytes? bytes?))
(define/decl -Base-Regexp (make-Base 'Base-Regexp
#'(and/c regexp? (not/c pregexp?))

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt
View File

@ -10,7 +10,7 @@
(define (base-val? e)
(or (number? e) (string? e) (char? e) (symbol? e)
(null? e) (regexp? e) (undefined? e) (path? e)
(null? e) (regexp? e) (eq? undefined e) (path? e)
(regexp? e) (keyword? e) (bytes? e) (boolean? e) (void? e)
;; Base values because you can only store flonums/fixnums in these
;; and not any higher-order values. This isn't sound if we ever