Handle latent filter of LBot in values->tc-results when there are no formals.
Use check-below properly in tc/mono-lambda/type
svn: r14935
original commit: 2ee1d2b5962343cd86e520879e88b7e092cf3bb7
Use `needs-resolving?' in subtype.
Make resolve-{app,name} handle not-yet-bound names.
svn: r14890
original commit: c4762078e32003f60402872f27ce94f2561f7b15
Use resolve-once more.
Improve `overlap', in particular use keys.
Resolve names and apps before doing structure comparison.
svn: r14884
original commit: 19c4aa6ba450fdbcaf927fd6391987cc4deca69e
Fix bug in struct type creation.
Add ability to disable printing dynamically.
Fix recursion into objects & paths.
svn: r14747
original commit: dbe5556b45a036e0457dc2f5ae6abcfad31d2947
Accessors now have appropriate latent objects
Handle function application for unions, error, mu, parameters
svn: r14724
original commit: 07341c605b9660333444665265a4fb3104efdc6e
Remove useless code.
`combine-filter' now handles producing the new type/object in appropriate cases.
Move student expansion later in pattern match.
Print out top-level tc-results.
svn: r14721
original commit: 6b89062d6a2e6b35fb24c71d7f0fb839d49546b1
Fix values->tc-results for ValuesDots
Don't generate problematic nested lists.
Fix stupid typo.
Parsing of tc-results now doesn't use parsing of values, which does something different.
svn: r14713
original commit: 9c538764dcd499d9b8a04b415a88835ccd55f1c9
Remove printfs.
More metafunctions to handle splitting and merging filter sets.
Handle `delay', `list', `list*'
Implement tc/funapp for the simple case.
Make `id-from' a stxclass.
Shuffle code around so that it compiles.
Type parsing now handles multiple values properly, and has a values and results entry point.
svn: r14680
original commit: b4d100d60cb99e714374d2db3c75a36167b109cc
Use Type/c instead fo Type? in contracts
New if typechecking.
match expanders for tc-result.
svn: r13996
original commit: 2dbd82e587a87663afacefc5524553c4fc2246ed
Fix some requires.
Start implementing metafunctions.
Strengthen contracts on filter-sets.
Rename N B Sym.
svn: r13988
original commit: 6c30e2d9e7c9d983f97092ad3aad8268e0560cb5
Fix fold on Result.
Add comments.
New -struct constructor with opt args.
Fix tests to agree with contracts.
svn: r13934
original commit: 9d0ee637c74b0d7705d7b9fc60ee0712cac6b0f9
everything that doesn't use Un out of convenience.ss
added -out form for requires
svn: r13931
original commit: f05fcfcf13ccb0e8f57edc86191fdaa6fef4da91
