Handle these properly in check-below (with test).
Use NoFilter and NoObject to make if typechecking work properly with filters.
Reject mismatched filters/objects (with test).
New version of require/typed that handles opaque and struct requires.
Reorganize docs around this.
svn: r15155
original commit: 7b82069fa0805e3de16c9a49d6c303789fc75419
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
Check values length before using for/and.
Add back ormap/andmap special case for ... args.
svn: r14930
original commit: 7e6c1be6b0886bcd73e308930f313341eaa73add
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 typo in valuesdots handling in values->tc-results
Handle ValuesDots in do-ret.
Don't try to construct silly wrappers for `apply values'
Don't use rest as list extension if it's #f
Fix tc-result handling for check-subforms/check
Add stronger contracts for Scope
Always generate substitution for infer/dots.
Fix type of `time-apply'
svn: r14815
original commit: 1047f7625d2dfa53d2896fa44fde732873d86ba4
Use correct pattern.
Return the appropriate types from apply, not the Values struct in the rng.
svn: r14756
original commit: 1444c07c0af3f1ebfffe8db7e3782e96711ea2ef
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
