typed-racket

Typed Racket

Go to file

Asumu Takikawa 82fa4808d6 Fix `make-predicate` at the top-level This solves the immediate problem, but more generally the handling of ignored syntax at the top-level seems very fishy. There is a complicated protocol involving the top-level type-checker returning #<void> for cases with no obvious return type, but it's unclear if it actually works. That code in tc-toplevel.rkt should be revamped in the future. Closes PR 14030 Please merge into 6.0 original commit: f292a9c0f277bc07d0932ed67f893ca1cb022a43	2013-11-20 18:07:51 -05:00
pkgs/typed-racket-pkgs	Fix `make-predicate` at the top-level	2013-11-20 18:07:51 -05:00

Asumu Takikawa 82fa4808d6 Fix make-predicate at the top-level

This solves the immediate problem, but more generally the
handling of ignored syntax at the top-level seems very fishy.
There is a complicated protocol involving the top-level
type-checker returning #<void> for cases with no obvious
return type, but it's unclear if it actually works. That
code in tc-toplevel.rkt should be revamped in the future.

Closes PR 14030

Please merge into 6.0

original commit: f292a9c0f277bc07d0932ed67f893ca1cb022a43

2013-11-20 18:07:51 -05:00

pkgs/typed-racket-pkgs Fix make-predicate at the top-level 2013-11-20 18:07:51 -05:00