typed-racket/collects/typed-scheme/scribblings
Stevie Strickland 78214ab410 Correct with-type so it handles result types of the form (values t ...).
svn: r18531

original commit: 7b831e86a6e70edafb2993f3169d891d27fa5d77
2010-03-14 02:32:20 +00:00
..
begin.scrbl update docs to use `define-type' 2010-03-10 00:17:33 +00:00
more.scrbl update docs to use `define-type' 2010-03-10 00:17:33 +00:00
quick.scrbl Add types for unsafe fixnum operations. This allows support for some sequences; in particular in-range now works in some cases (though still requires type annotations). 2010-02-25 11:48:33 +00:00
ts-guide.scrbl update docs to use `define-type' 2010-03-10 00:17:33 +00:00
ts-reference.scrbl Correct with-type so it handles result types of the form (values t ...). 2010-03-14 02:32:20 +00:00
types.scrbl update docs to use `define-type' 2010-03-10 00:17:33 +00:00
utils.ss work on new guide 2010-01-25 15:36:56 +00:00
varargs.scrbl Add types for unsafe fixnum operations. This allows support for some sequences; in particular in-range now works in some cases (though still requires type annotations). 2010-02-25 11:48:33 +00:00