Commit Graph

12969 Commits

Author SHA1 Message Date
Stevie Strickland
df409ae42f Fixes some bad references in the mzlib scribble documentation that refer to
things that have moved away from the base contract file.

svn: r16127
2009-09-25 14:57:36 +00:00
Matthew Flatt
ccb20d1be6 fix ordering problem between initial and later imports for certain cases leading to module->namespace
svn: r16126
2009-09-25 14:44:37 +00:00
Matthew Flatt
be2c552788 fix cleanse-path security-guard test
svn: r16125
2009-09-25 14:16:44 +00:00
Eli Barzilay
5abe0a4a7a Welcome to a new PLT day.
svn: r16124
2009-09-25 07:50:30 +00:00
Eli Barzilay
cee0e5f326 fix optional argument to number<->string functions
svn: r16123
2009-09-24 15:26:13 +00:00
Matthew Flatt
eab6803895 change sandbox to allow read from the planet directory; delay some path calculations in other libraries to avoid sandbox prohibitions (but the ones in Scribble seem like too much)
svn: r16122
2009-09-24 14:54:15 +00:00
Matthew Flatt
26f99d3fa4 remove security-guard check from cleanse-path, because it does not consult the filesystem
svn: r16121
2009-09-24 14:49:59 +00:00
Matthew Flatt
a8f50e76a7 fix typos (could merge to 4.2.2)
svn: r16120
2009-09-24 14:49:17 +00:00
Eli Barzilay
f624a90955 Welcome to a new PLT day.
svn: r16119
2009-09-24 07:50:26 +00:00
Matthias Felleisen
d39c717b69 fixed argmax doc bug; please propagate
svn: r16118
2009-09-23 22:27:13 +00:00
Matthew Flatt
f25e8976b5 doc slideshow/play (merge to 4.2.2)
svn: r16116
2009-09-23 10:53:56 +00:00
Robby Findler
d8c206531d current-load-relative-directory is now just set to #f
svn: r16115
2009-09-23 10:09:18 +00:00
Eli Barzilay
8f371c7bc2 Welcome to a new PLT day.
svn: r16114
2009-09-23 07:50:27 +00:00
Ryan Culpepper
68e805029f syntax/parse: added disappeared-use properties
svn: r16113
2009-09-23 04:27:14 +00:00
Kevin Tew
4ad24edba4 Removed unused code
svn: r16112
2009-09-22 19:19:47 +00:00
Robby Findler
6ac7ad9a3c svn: r16110 2009-09-22 10:10:46 +00:00
Jon Rafkind
ded3dc04ba export mzlib/trace from the scheme collection
svn: r16106
2009-09-22 04:39:20 +00:00
Robby Findler
5fb6d5ef47 brought test suites up to date
svn: r16105
2009-09-21 22:43:39 +00:00
Matthias Felleisen
725708e7a7 removed superfluous printf; please propagategrep printf *!
svn: r16103
2009-09-21 17:46:57 +00:00
Matthias Felleisen
c15885ca6c fixed weak contract for real numbers; no need to propagate
svn: r16102
2009-09-21 14:11:43 +00:00
Kathy Gray
8daec2e15d Removed tests/profj. Moved the test-engine test file out of the profj tests into its own directory
svn: r16101
2009-09-21 12:42:27 +00:00
Ryan Culpepper
68667c15a6 syntax/parse: removed tests/stxclass to tests/stxparse
svn: r16098
2009-09-20 23:57:56 +00:00
Ryan Culpepper
5ababfac9c syntax/parse: added ~parse action pattern
svn: r16097
2009-09-20 23:49:41 +00:00
Eli Barzilay
95f81d4b50 restored collects/tests/profj, since kathy needs to get the profj tests out, and since it also includes the test-engine tests
svn: r16095
2009-09-20 22:29:02 +00:00
Robby Findler
8b73819d72 removed profj
svn: r16094
2009-09-20 22:23:36 +00:00
Eli Barzilay
56f53ebd7f removed htdc reference
svn: r16092
2009-09-20 21:29:16 +00:00
Eli Barzilay
45a56841e5 Moved teachpack/htdc out to the graveyard
svn: r16091
2009-09-20 21:28:28 +00:00
Ryan Culpepper
491808e717 syntax/parse:
separated ~!, ~bind, ~fail as "action patterns", documented
  docs use eg "single-term pattern" instead of "S-pattern" in text

svn: r16089
2009-09-20 20:47:54 +00:00
Eli Barzilay
6387797aa4 removed collects/tests/profj
svn: r16088
2009-09-20 20:37:14 +00:00
Eli Barzilay
926ee24e27 Welcome to a new PLT day.
svn: r16081
2009-09-20 07:50:38 +00:00
Ryan Culpepper
69e1a3fec8 syntax/parse: reorganized docs
svn: r16080
2009-09-20 06:27:50 +00:00
Ryan Culpepper
5db475cab2 syntax/parse: documented ~var, ~literal, ~not, head ~and
Do not commit to release branch.

svn: r16079
2009-09-19 23:09:20 +00:00
Ryan Culpepper
fdc2eaa646 syntax/parse: fixed bug in #:when parsing
Please commit to release branch.

svn: r16078
2009-09-19 23:07:51 +00:00
Ryan Culpepper
282d36e363 syntax/parse: added explicit ~var and ~literal forms (no docs yet)
svn: r16077
2009-09-19 20:04:00 +00:00
Mike Sperber
3ce1ce4c73 Don't let the stepper snoop inside `for-all'.
svn: r16076
2009-09-19 18:01:30 +00:00
Mike Sperber
65119301e6 Better error messages for `for-all'.
svn: r16075
2009-09-19 17:55:59 +00:00
Mike Sperber
4c70a14d7e Unbreak the stepper wrt. the new `define-record-procedures' syntax.
svn: r16074
2009-09-19 17:46:19 +00:00
Mike Sperber
e4ed07ce73 Typo fix.
svn: r16073
2009-09-19 17:26:19 +00:00
Mike Sperber
ec0175bd48 Add missing `contract'.
svn: r16072
2009-09-19 17:23:04 +00:00
Matthias Felleisen
4ad2d25e1d error takes just a string
svn: r16071
2009-09-19 17:20:34 +00:00
Ryan Culpepper
a58389ad20 syntax/parse: added ~and H-patterns, ~not S-patterns (no docs yet)
svn: r16070
2009-09-19 15:48:07 +00:00
Mike Sperber
e2bf9883cb Sync German string constants with latest.
svn: r16069
2009-09-19 15:32:31 +00:00
Matthew Flatt
90c31e3afc fix sirmail unicode header handling
svn: r16068
2009-09-19 14:03:45 +00:00
Eli Barzilay
f3613ade6f Welcome to a new PLT day.
svn: r16067
2009-09-19 07:50:28 +00:00
Sam Tobin-Hochstadt
f64fe4a2e2 Fix bug in reader examples for keywords. Push to 4.2.2.
svn: r16066
2009-09-19 00:00:21 +00:00
Kathy Gray
f300ba967a Changed syntax of check-member-of so that it will work in htdp-beginner
Updated docs to reflect this

svn: r16065
2009-09-18 14:19:50 +00:00
Kathy Gray
e3c2721052 Adding check-member-of and check-range to the htdp languages and updating the docs.
svn: r16064
2009-09-18 12:37:18 +00:00
Eli Barzilay
8cf13c8c0e Welcome to a new PLT day.
svn: r16063
2009-09-18 07:50:35 +00:00
Eli Barzilay
05a937a334 no need for this hack yet
svn: r16062
2009-09-18 06:12:28 +00:00
Eli Barzilay
182f89d580 add with-writer-change (all of this is still uncertain and undocumented)
svn: r16061
2009-09-18 05:56:41 +00:00