suzanne.soy/typed-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.

original commit: 5b028396df6b80ab0a4333b8fc929f1f8d1f15b3
This commit is contained in:
Matthew Flatt 2014-06-19 05:55:30 +01:00
parent 2ee4c7a086
commit 11f0e1021b
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->*
(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)