Noel Welsh a8b5f4275a 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		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
no-check/lang
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
typed-scheme.ss	Add `unregister-type'	2010-02-27 01:26:16 +00:00