suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8802b83c0a
racket/collects/typed-scheme/private
History
Sam Tobin-Hochstadt 8802b83c0a typed-scheme 
- use syntax classes for tc-literal
 - remove one-armed if
 - fix comments
 - use syntax classes for find-annotation
 - unit contracts for inference unit and typechecker unit
 - macro to enable/disable unit contracts
 - correct fold/free-var calculation for latent effects
 - documentation improvements
 - add bindings for additional special type forms
 - U and Un are the same binding, same with Tuple and List
 - fix types for integer?, exact-integer?
 - write not-yet-enabled syntax-class based type parser

svn: r13440
2009-02-04 23:39:38 +00:00
..
base-env.ss take out work on paths, now compiles 2009-02-04 20:57:28 +00:00
base-special-env.ss Add `current-continuation-marks' 2008-12-08 03:10:12 +00:00
base-types-extra.ss commit work to new branch, doesn't work yet 2009-02-04 20:19:41 +00:00
base-types.ss commit work to new branch, doesn't work yet 2009-02-04 20:19:41 +00:00
env-lang.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
extra-procs.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
mutated-vars.ss Add eof and read-accept-reader. 2008-09-11 09:01:49 -04:00
parse-type.ss commit work to new branch, doesn't work yet 2009-02-04 20:19:41 +00:00
prims.ss Enable require-typed-struct with substructures. 2008-12-05 00:25:02 +00:00
remove-intersect.ss Store contract in Base type representation. 2008-11-03 23:58:29 +00:00
require-contract.ss commit work to new branch, doesn't work yet 2009-02-04 20:19:41 +00:00
resolve-type.ss reorg 2008-09-09 17:40:26 -04:00
stxclass-util.ss commit work to new branch, doesn't work yet 2009-02-04 20:19:41 +00:00
subtype.ss take out work on paths, now compiles 2009-02-04 20:57:28 +00:00
type-annotation.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
type-comparison.ss reorg 2008-09-09 17:40:26 -04:00
type-contract.ss Enable require-typed-struct with substructures. 2008-12-05 00:25:02 +00:00
type-effect-convenience.ss typed-scheme 2009-02-04 23:39:38 +00:00
type-effect-printer.ss take out work on paths, now compiles 2009-02-04 20:57:28 +00:00
type-env-lang.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
type-utils.ss Catch error before internal error, more informative internal error. 2008-09-22 18:35:24 +00:00
union.ss reorg 2008-09-09 17:40:26 -04:00