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

unbreak build

Browse Source 
I have no idea whether the change is generally right, but it allows
the build to complete and DrRacket to start.
This commit is contained in:
Matthew Flatt 2014-06-19 05:55:30 +01:00
parent 54c9057e1d
commit 5b028396df
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -2768,7 +2768,7 @@
[assert (-poly (a b) (cl->* [assert (-poly (a b) (cl->*
(Univ (make-pred-ty (list a) Univ b) . -> . b) (Univ (make-pred-ty (list a) Univ b) . -> . b)
(-> (Un a (-val #f)) a)))] (-> (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 ;; Syntax Manual
;; Section 2.1 (syntax/stx) ;; Section 2.1 (syntax/stx)