The Racket repository
Go to file
Sam Tobin-Hochstadt 7b82069fa0 Add NoFilter and NoObject to represent no information about filter/object.
Handle these properly in check-below (with test).
Use NoFilter and NoObject to make if typechecking work properly with filters.
Reject mismatched filters/objects (with test).

New version of require/typed that handles opaque and struct requires.
Reorganize docs around this.

svn: r15155
2009-06-12 19:04:39 +00:00
collects Add NoFilter and NoObject to represent no information about filter/object. 2009-06-12 19:04:39 +00:00
doc 4.2 release 2009-05-24 18:19:06 +00:00
man/man1 2008 -> 2009 2009-01-04 15:34:50 +00:00
src safe-for-space fixes for the interepreter; syntax-local-lift-provide 2009-06-12 17:46:25 +00:00