Commit Graph

21880 Commits

Author SHA1 Message Date
Robby Findler
01fe366e8c fix standard-fish when the mouth is to the right 2011-07-24 23:26:14 -04:00
Robby Findler
7d06ae80f4 do a better job putting the right info into the struct id for provide/contract's struct clauses
closes PR 12053
2011-07-24 23:25:39 -04:00
Robby Findler
899b339a16 improved the expansion of struct/c 2011-07-24 23:24:20 -04:00
Stephen Bloch
764f356fdc Added some tests for map-image/extra and build-image/extra. 2011-07-24 21:50:39 -04:00
Stephen Bloch
9a24e66df0 Fixed an off-by-one bug in "myflip", an example for build-image. Now it passes its tests :-) 2011-07-24 21:50:38 -04:00
Stephen Bloch
ab01d563ca Changed error messages in test case to match corrected error messages in
2htdp.
2011-07-24 21:50:38 -04:00
Jay McCarthy
3fca28c68f Adding documentation for servlet testing system 2011-07-24 16:59:00 -04:00
Jay McCarthy
6e59cbf1d7 Adding documentation and tests for xml/path 2011-07-24 16:58:59 -04:00
Jay McCarthy
75631c6f2a Repairing tests 2011-07-24 16:58:59 -04:00
Jay McCarthy
bc5846d40e Small typo in error usage 2011-07-24 16:58:59 -04:00
Jay McCarthy
df0e35b213 Adding the basics of the servlet testing library, but then discovered a weird error, and took a sidetrack to catch it. I'm making a commit to be able see if there were any real problems or if it is just broken tests 2011-07-24 16:58:59 -04:00
Stephen Chang
7e933ee8a4 fix stepper test-engine unclosed input-port (in windows) problem 2011-07-24 12:19:05 -04:00
Stephen Chang
8956364387 change recon-val in stepper to use render-to-sexpr for non-lazy lists 2011-07-24 12:18:09 -04:00
Matthew Flatt
c9d4e0fb8c win32: fix `copy-file' handling of file-exists error
The specific error reported by CopyFileW doesn't seem
to be documented. It's unclear whether Racket's old test
for ERROR_EXISTS_ALREADY was the wrong choice (as opposed
to ERROR_FILE_EXISTS) or whether some Windows versions
use it; we test for both for now.

Also, improve error reporting when an errno or
GetLastError() value is available.

Closes PR 12074

Merge to 5.1.2
2011-07-23 22:15:18 -04:00
Matthew Flatt
42f41d868a fix compiler/zo-parse for sequence splice
Merge to 5.1.2
2011-07-22 22:19:58 -04:00
Vincent St-Amour
c085f51aa2 Fix for empty case-lambdas. 2011-07-22 17:24:14 -04:00
Vincent St-Amour
df0ae80a7f Display ellipses even if the :print-type message was already displayed. 2011-07-22 17:07:49 -04:00
Vincent St-Amour
93787f6215 Change :print-type message. 2011-07-22 17:05:03 -04:00
Vincent St-Amour
dcff8854fb Only suggest using :print-type once per REPL session. 2011-07-22 17:03:43 -04:00
Vincent St-Amour
3ba93cb165 Add a heuristic for case-lambda type simplification.
Makes simplification _much_ faster for types that have a single most
general case. That includes most numeric functions.
2011-07-22 16:55:21 -04:00
Vincent St-Amour
86490943a3 Remove stale comment. 2011-07-22 16:46:10 -04:00
Vincent St-Amour
02b76d7741 Omit a redundant pass. 2011-07-22 16:40:11 -04:00
Vincent St-Amour
84931448b5 Flip order of type simplification passes. 2011-07-22 16:38:15 -04:00
Vincent St-Amour
5b6d0ae167 Refactoring. 2011-07-22 16:22:36 -04:00
Vincent St-Amour
f7be12d313 Typecheck pregexp literals correctly. 2011-07-22 16:22:36 -04:00
Vincent St-Amour
27cd6aca6f Use set coverage for union printing. 2011-07-22 16:22:36 -04:00
Matthias Felleisen
b4d091438d revised history, push to release branch 2011-07-22 15:30:39 -04:00
Jon Rafkind
23e907aa5c add printf. recognize strings as atoms 2011-07-22 14:43:45 -04:00
Jon Rafkind
d4ea3b5d79 parse multiple call arguments 2011-07-22 14:43:45 -04:00
Vincent St-Amour
10e79ba2ec Clean up printing of unions that involve numeric types. 2011-07-22 11:41:27 -04:00
Vincent St-Amour
96eee2b317 Refactor. 2011-07-22 11:41:27 -04:00
Matthias Felleisen
ed7f16c872 fixed a totally misleading error message in big-bang; MUST GO INTO RELEASE 2011-07-22 10:34:26 -04:00
Matthew Flatt
8711aa6c5d work around win64 drawing problem
Merge to 5.1.2
2011-07-22 07:51:01 -06:00
Robby Findler
56b82ba83c fix the png conversion code for 2htdp/image images
closes PR 12061
  please merge to the release branch
2011-07-22 08:09:17 -05:00
Robby Findler
f7f3971d15 add version number to release notes
please merge to release branch
2011-07-21 21:48:39 -05:00
Stevie Strickland
01396784c9 Fix set/c to conform to hash/c-like restrictions.
Since sets are implemented using the elements as the domain of a hash table,
the following must be true:
 * element contracts for (seteq ...) must be flat
 * element contracts for (seteqv ...) must be flat
 * element contracts for (set ...) must be chaperones, and the resulting
   contract is a chaperone contract

Also, change higher-order set/c contracts to be chaperone contracts
due to the new restrictions.
2011-07-21 18:49:06 -04:00
Vincent St-Amour
19ce4d44a5 Don't block DrRacket if expansion exits abnormally. 2011-07-21 17:14:05 -04:00
Vincent St-Amour
58fbd8ba75 Report errors during expansion in the interactions window, not as internal errors. 2011-07-21 17:06:04 -04:00
Vincent St-Amour
b305ea9c62 Use DrRacket's program-expansion mechanisms instead of directly calling expand. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
860feb30ae Unitize performance report, to get access to some DrRacket internals. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
30146b7b8c Expose more of the TR opt logging. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
73140544ce Clean up. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
b068e4a53b Add a lower-level interface to unstable/logging. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
fe58048844 Remove stale comment. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
fae966146f Handle desired types being outside of the function's range. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
59027c6b40 Moved handling of empty pruned case-lambdas. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
c0d0211ebb Add a function to query how to get a given return type from a function. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
51b98138d5 Fix :print-type to use tc-setup. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
a71db7c15c Document how to start a TR REPL from the command line. 2011-07-21 17:06:03 -04:00
Vincent St-Amour
4735ad3523 Refactoring. 2011-07-21 17:06:03 -04:00