From 11f0e1021bc589e72998683f5ed029ff97db1cac Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 19 Jun 2014 05:55:30 +0100 Subject: [PATCH] unbreak build I have no idea whether the change is generally right, but it allows the build to complete and DrRacket to start. original commit: 5b028396df6b80ab0a4333b8fc929f1f8d1f15b3 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 673c4bdb..c6a7001f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2768,7 +2768,7 @@ [assert (-poly (a b) (cl->* (Univ (make-pred-ty (list a) Univ b) . -> . b) (-> (Un a (-val #f)) a)))] -[defined? (->* (list Univ) -Boolean : (-FS (-not-filter -Undefined 0 null) (-filter -Undefined 0 null)))] +[defined? (->* (list Univ) -Boolean : (-FS (-not-filter -Undefined 0) (-filter -Undefined 0)))] ;; Syntax Manual ;; Section 2.1 (syntax/stx)