| .. |
|
base-env.ss
|
Add filter-map to base-env.ss
|
2008-07-15 00:33:14 -04:00 |
|
base-types.ss
|
* Newlines at EOFs
|
2008-07-09 07:18:06 +00:00 |
|
check-subforms-unit.ss
|
|
|
|
constraint-structs.ss
|
logging
|
2008-07-14 08:48:14 -04:00 |
|
constraints.ss
|
Revert last change.
|
2008-06-20 15:47:56 -04:00 |
|
def-binding.ss
|
|
|
|
defstruct-unit.ss
|
* Newlines at EOFs
|
2008-07-09 07:18:06 +00:00 |
|
dmap.ss
|
* Added code to check that substitution gets rid of all appropriate
|
2008-06-20 13:07:08 -04:00 |
|
effect-rep.ss
|
* Newlines at EOFs
|
2008-07-09 07:18:06 +00:00 |
|
extra-procs.ss
|
values with dots
|
2008-07-07 11:01:42 -04:00 |
|
free-variance.ss
|
Switch these over to for/for*. Avoid the hash-copy calls as well, since
|
2008-07-13 12:14:15 -04:00 |
|
infer-dummy.ss
|
* Fixed calls to infer that didn't give must-vars argument
|
2008-06-20 14:48:47 -04:00 |
|
infer-unit.ss
|
I'm not sure if this is correct, but this handles the cases where we're
|
2008-07-12 22:30:00 -04:00 |
|
infer.ss
|
* Newlines at EOFs
|
2008-07-09 07:18:06 +00:00 |
|
init-envs.ss
|
|
|
|
internal-forms.ss
|
|
|
|
interning.ss
|
|
|
|
lexical-env.ss
|
|
|
|
mutated-vars.ss
|
|
|
|
parse-type.ss
|
Add the forall Unicode symbol as an acceptable replacement for the
|
2008-07-16 17:37:05 +00:00 |
|
planet-requires.ss
|
|
|
|
prims.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
promote-demote.ss
|
* Fixed calls to infer that didn't give must-vars argument
|
2008-06-20 14:48:47 -04:00 |
|
provide-handling.ss
|
|
|
|
remove-intersect.ss
|
|
|
|
rep-utils.ss
|
|
|
|
require-contract.ss
|
|
|
|
resolve-type.ss
|
|
|
|
restrict.ss
|
* Fixed calls to infer that didn't give must-vars argument
|
2008-06-20 14:48:47 -04:00 |
|
signatures.ss
|
|
|
|
subtype.ss
|
|
|
|
syntax-traversal.ss
|
|
|
|
tables.ss
|
* Newlines at EOFs
|
2008-07-09 07:18:06 +00:00 |
|
tc-app-unit.ss
|
Add printing if a starred type was substituted in as well.
|
2008-07-14 09:42:45 -04:00 |
|
tc-dots-unit.ss
|
|
|
|
tc-expr-unit.ss
|
We have to be careful here -- for example, one of the test cases was failing
|
2008-07-12 22:11:23 -04:00 |
|
tc-if-unit.ss
|
|
|
|
tc-lambda-unit.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
tc-let-unit.ss
|
make-Values now checks its argument for having only 1 element
|
2008-07-07 14:58:22 -04:00 |
|
tc-structs.ss
|
Fix handling of mutable structs (setters != getters)
|
2008-07-13 17:31:58 -04:00 |
|
tc-toplevel.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
tc-utils.ss
|
Just tried the following program:
|
2008-07-13 21:47:36 -04:00 |
|
type-alias-env.ss
|
|
|
|
type-annotation.ss
|
logging
|
2008-07-14 08:48:14 -04:00 |
|
type-comparison.ss
|
|
|
|
type-contract.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
type-effect-convenience.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
type-effect-printer.ss
|
Finally found a nasty bug involving variables not appearing in the hash table.
|
2008-07-07 19:21:42 -04:00 |
|
type-env.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
|
type-environments.ss
|
|
|
|
type-name-env.ss
|
|
|
|
type-rep.ss
|
I'm not sure if this is correct, but this handles the cases where we're
|
2008-07-12 22:30:00 -04:00 |
|
type-utils.ss
|
make-Values now checks its argument for having only 1 element
|
2008-07-07 14:58:22 -04:00 |
|
typechecker.ss
|
|
|
|
union.ss
|
|
|
|
unit-utils.ss
|
|
|
|
utils.ss
|
Merging in the following code:
|
2008-07-15 19:03:59 +00:00 |
