Commit Graph

15880 Commits

Author SHA1 Message Date
Vincent St-Amour
61f6a2579b Documented the typed benchmarks. 2010-05-26 19:48:31 -04:00
Vincent St-Amour
e3b994abff Typed Scheme's optimizer now recognizes specialized (safe) float
operations.
2010-05-26 19:48:30 -04:00
Vincent St-Amour
762f108c04 Fixed a bug in typed Scheme's optimizer when using binary arithmetic
operators in a unary fashion with floats.
2010-05-26 19:48:30 -04:00
Vincent St-Amour
664ef2c0a3 Extended the type signatures of bitwise operations to be closed on naturals. 2010-05-26 19:48:29 -04:00
Vincent St-Amour
5213f54f56 Added the for:, for/list:, etc macros. 2010-05-26 19:48:15 -04:00
Vincent St-Amour
23f30af459 Rewrote do: to expand into do. 2010-05-26 19:20:32 -04:00
Matthew Flatt
7442f14305 fix problems with raco exe
Merge to v5.0
2010-05-26 17:07:09 -06:00
Matthew Flatt
923ff555d9 Fix problems with DESTDIR patching
Merge to v5.0
2010-05-26 17:07:09 -06:00
Matthew Flatt
64089c4488 add --disable-docs configure option 2010-05-26 17:07:09 -06:00
Matthew Flatt
f85b25f59f fix another typo like the one in dynext
Merge to v5.0
2010-05-26 17:07:08 -06:00
Jay McCarthy
7c294fd108 Accidentally killed the responsibility 2010-05-26 15:01:37 -06:00
Jay McCarthy
47f6b264a0 Specifying when R5RS is required for a benchmark and enabling running from other directories
Enabling running all benchmarks in DrDr
2010-05-26 14:53:15 -06:00
Jay McCarthy
225c08312a Commenting out time display I don't understand 2010-05-26 14:53:15 -06:00
Matthew Flatt
a8130eb7c3 fix typo in unixstyle-install 2010-05-26 14:27:37 -06:00
Matthew Flatt
51dfbe6bc2 fix starter app's collect path on install 2010-05-26 14:19:30 -06:00
Matthew Flatt
d346575d36 fix typo in dynext linker spec for x86_64 Darwin 2010-05-26 14:19:30 -06:00
Eli Barzilay
8675dc69af The uninstaller is called "uninstall-racket", a few more "plt" leftovers. 2010-05-26 15:47:08 -04:00
Eli Barzilay
920870966f Fix the starter executable too. 2010-05-26 15:44:12 -04:00
Eli Barzilay
5c702976c2 A few more stray "racunit"s. 2010-05-26 15:21:55 -04:00
Jay McCarthy
28dce6996a Forgot one place 2010-05-26 13:18:02 -06:00
Jay McCarthy
c3d07af8d3 Fixing sloppy rename. Include in release. 2010-05-26 13:16:36 -06:00
Jay McCarthy
016a4fa12c Setting responsible 2010-05-26 10:09:01 -06:00
dvanhorn
c9d0bd10a1 Added remf to unstable/list.
Signed-off-by: Jay McCarthy <jay@racket-lang.org>
2010-05-26 10:08:29 -06:00
Jay McCarthy
7c5973cb94 Fixing graph display 2010-05-26 10:06:08 -06:00
Jay McCarthy
3619b5b2d8 Fixing typo 2010-05-26 10:06:08 -06:00
Eli Barzilay
c9a7baaffa Change file references 2010-05-25 23:51:59 -04:00
Robby Findler
31b507aa51 Rackety 2htdp/image 2010-05-25 21:35:04 -05:00
Robby Findler
03a3270811 closes PR 10927 2010-05-25 21:35:03 -05:00
Robby Findler
48d793b099 closes PR 10929 2010-05-25 21:35:03 -05:00
Robby Findler
bae79dda0b closes PR 10930 2010-05-25 21:35:03 -05:00
Matthew Flatt
451961e596 fix `for' to track inlined sequence generators via 'disappeared-use 2010-05-25 20:27:03 -06:00
Eli Barzilay
2240e54660 Rename "plt-installer-header" -> "installer-header" 2010-05-25 22:09:52 -04:00
Eli Barzilay
af07701590 updated config path snapshot 2010-05-25 22:09:51 -04:00
Vincent St-Amour
c11a88f888 Added some indexes to the reference to make open-output-nowhere easier
to find.
2010-05-25 17:30:54 -04:00
Robby Findler
8c98f9d979 made a start on the image-core library's documentation 2010-05-25 16:10:23 -05:00
Robby Findler
0c1afebb5a made a start on the image-core library's documentation 2010-05-25 16:10:23 -05:00
Jay McCarthy
a797de8f9d Finalizing house call 2010-05-25 14:58:04 -06:00
Jay McCarthy
f9ca17aa2b Getting DrDr at home ready 2010-05-25 14:58:03 -06:00
Eli Barzilay
3aa192944b Get rid of the generic "plt-" prefix 2010-05-25 15:42:31 -04:00
Eli Barzilay
72b1a3aafa Racketified windows installer 2010-05-25 15:42:31 -04:00
Eli Barzilay
49949a8421 Deal with a "~/" prefix.
A few additional improvements to the script.
2010-05-25 15:42:31 -04:00
Eli Barzilay
3ddeb6df17 Racketified unix installer. 2010-05-25 15:42:31 -04:00
Kevin Tew
4d23b11d8f No shared symbols 2010-05-25 11:15:00 -06:00
Stevie Strickland
24c5a9aed8 Fix for optional keyword contracts used on make-keyword-procedure results.
This fix should go into the 5.0 release.
2010-05-25 13:01:42 -04:00
Matthew Flatt
e8fe67991e fix problem using both #:doc and #:tag-prefixes for secref
Merge to v5.0
2010-05-25 09:20:03 -06:00
Sam Tobin-Hochstadt
85b59a2f4c Fix Typed Scheme printing of types.
Merge to 5.0.
2010-05-25 07:58:06 -07:00
Jay McCarthy
2df8fac233 Fixing a bug reported by 张虎成. Original and small test case were added. I reimplemented Knuth-Morris-Pratt because I couldn't debug the existing implementation.
Please include in 5.0
2010-05-25 07:47:23 -06:00
Matthew Flatt
23617b08bd change default Unix-style installation to use racket in path
Merge to v5.0
2010-05-25 06:58:00 -06:00
Jay McCarthy
50fd0278ba Fixing an innoculous test case failure I introduced, by override the platform's time zone.
Relaxing the contract on date->string to accord with previous documentation.

Changing web-server example to use more restrictive contract

Please include in 5.0
2010-05-25 06:54:28 -06:00
Sam Tobin-Hochstadt
3885ba4f54 Remove `define-struct' from typed/racket.
Closes PR 10619.
2010-05-25 00:09:04 -07:00