From 6e17926ba74980476e8d6fd6eb765e05872ab997 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 Apr 2014 11:24:40 -0600 Subject: [PATCH] reduce `racket/undefined` to just `undefined` original commit: 4c947f188dd2701ccca7a8dc2c8146647c9eba57 --- .../typed-racket-lib/typed-racket/types/abbrev.rkt | 5 +++-- .../typed-racket-lib/typed-racket/utils/any-wrap.rkt | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt index 258d0983..2f5c8e59 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt @@ -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?)) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt index 18d9c29d..887bfb11 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/any-wrap.rkt @@ -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