Noel Welsh 2545da16a9 Add scheme/fixnum to the list of require'd modules, meaning the type declarations for fixnum operations are actually bound to the correct functions and so Typed Scheme programs using fixnum ops will actually compile. ... svn: r18522 original commit: a8b5f4275ac3118b027dbf679b5c4e024280c6f5		2010-03-12 10:58:26 +00:00
..
env	Add `with-type' for defintions, add #:result keyword.	2010-03-01 22:31:24 +00:00
infer	Use `current-contract-region' appropriately.	2010-03-01 23:43:15 +00:00
lang	use the new facility for the typed-scheme reader	2008-09-01 04:26:54 +00:00
no-check/lang	svn: r11773	2008-09-16 04:14:03 +00:00
private	Add scheme/fixnum to the list of require'd modules, meaning the type declarations for fixnum operations are actually bound to the correct functions and so Typed Scheme programs using fixnum ops will actually compile.	2010-03-12 10:58:26 +00:00
rep	Add `define-predicate'	2010-03-10 00:10:03 +00:00
scribblings	update docs to use `define-type'	2010-03-10 00:17:33 +00:00
typecheck	fix some unfortunate bugs	2010-03-02 20:37:36 +00:00
types	Null does not overlap with structs.	2010-03-10 23:43:47 +00:00
utils	Use `current-contract-region' appropriately.	2010-03-01 23:43:15 +00:00
info.ss	work on new guide	2010-01-25 15:36:56 +00:00
main.ss	Add `unregister-type'	2010-02-27 01:26:16 +00:00
minimal.ss	start on typed/scheme	2009-11-19 19:47:51 +00:00
no-check.ss	whoops	2010-02-26 21:04:00 +00:00
typed-reader.ss	Remove unneccessary requires.	2008-05-06 00:42:28 +00:00
typed-scheme.ss	Add `unregister-type'	2010-02-27 01:26:16 +00:00