Commit Graph

3783 Commits

Author SHA1 Message Date
Matthew Flatt
c1cb5e34c0 fix wasn't right for interaction between continuation shortcut and stack overflow
svn: r5367
2007-01-16 21:57:43 +00:00
Matthew Flatt
87c0d5754e 369.5
svn: r5366
2007-01-16 20:55:13 +00:00
Eli Barzilay
e51405b682 use system type for suffix
svn: r5365
2007-01-16 10:57:26 +00:00
Eli Barzilay
94ee1e0116 Welcome to a new PLT day.
svn: r5364
2007-01-16 08:50:23 +00:00
Eli Barzilay
58c15c32da fixed namespace+eventspace tricky bug
svn: r5363
2007-01-16 06:41:30 +00:00
Eli Barzilay
237506faed fixed bug with evaluation of uncovered exprs
svn: r5362
2007-01-16 06:18:04 +00:00
Eli Barzilay
d570c1c0bd typo
svn: r5361
2007-01-16 04:34:13 +00:00
Eli Barzilay
3dae5ee445 typo
svn: r5360
2007-01-16 04:30:10 +00:00
Eli Barzilay
f0a958e45b misc
svn: r5359
2007-01-16 04:28:32 +00:00
Eli Barzilay
cf67b9672a Made it easier to use `get-uncovered-expressions', fix use in checker.ss
svn: r5358
2007-01-16 02:35:15 +00:00
Eli Barzilay
6df2f54ac6 * rename with-limits -> call-with-limits
* add a with-limits macro

svn: r5357
2007-01-16 02:28:48 +00:00
Eli Barzilay
c98b4a15b2 * Factored out and generalized sandbox code for standalone testing
* Renamed "extra-utils.ss" to "checker.ss"

svn: r5356
2007-01-16 02:21:29 +00:00
Matthew Flatt
0a36385258 alloc buffer for getcwd
svn: r5355
2007-01-15 07:05:31 +00:00
Matthew Flatt
32ec113ed1 fix public-final-name-localized bug
svn: r5354
2007-01-15 05:58:28 +00:00
Matthew Flatt
51720e3cc9 fix WaitNextEvent call so that it doesn't request a negative sleep time (which is apparently ok for PPC but not x86)
svn: r5353
2007-01-14 05:08:09 +00:00
Eli Barzilay
3cf7d2a55e no need for mk-args
svn: r5352
2007-01-14 04:24:44 +00:00
Matthew Flatt
e4bf3d4f47 make namespace-require/copy replace import and syntax bindings
svn: r5351
2007-01-13 21:28:36 +00:00
Mike Sperber
47cca352ab Synch with latest.
svn: r5350
2007-01-13 13:38:55 +00:00
Eli Barzilay
4154726b7b Welcome to a new PLT day.
svn: r5349
2007-01-13 08:50:20 +00:00
Eli Barzilay
ade44ab9c5 removed more test-boxes code
svn: r5348
2007-01-13 05:03:39 +00:00
Eli Barzilay
4162d15249 forgot to actually comment the tool lines, done now
svn: r5347
2007-01-13 05:01:16 +00:00
Matthew Flatt
775a3f2b2e simpler cygwin support install
svn: r5345
2007-01-13 00:17:00 +00:00
Matthew Flatt
27e5516214 allow only one of --3m and --cgc
svn: r5344
2007-01-13 00:02:54 +00:00
Eli Barzilay
9711964d4f fix property & file format mess
svn: r5343
2007-01-12 23:55:37 +00:00
Greg Cooper
441a48c33b adding kim's optimizer
svn: r5342
2007-01-12 23:47:08 +00:00
Matthew Flatt
ba1305ba3b fix using Cygwin to create extensions for MSVC build
svn: r5341
2007-01-12 23:30:12 +00:00
Matthew Flatt
40110e35cc use .dll for cygwin so suffix
svn: r5340
2007-01-12 23:29:33 +00:00
Matthew Flatt
872f557610 pieces to build windows extensions with cygwin
svn: r5339
2007-01-12 23:24:05 +00:00
Ryan Culpepper
0b35093018 Macro stepper preserves position when hiding policy changed, etc
svn: r5338
2007-01-12 22:56:21 +00:00
Jens Axel Soegaard
8acfe2bdfa Fixed typo.
svn: r5337
2007-01-12 20:33:14 +00:00
Eli Barzilay
1a2cd87dd4 doc improvements, added an optional environment variable for the server root directory
svn: r5336
2007-01-12 19:34:55 +00:00
Matthew Flatt
827ef4deb7 use regexp-quote to turn extension into a pattern
svn: r5335
2007-01-12 13:07:10 +00:00
Matthew Flatt
06a069763a support for building 3m extensions with cygwin
svn: r5334
2007-01-12 12:40:11 +00:00
Matthew Flatt
9171695fc5 fix typo
svn: r5333
2007-01-12 12:32:37 +00:00
Matthew Flatt
258d1908cb use (system-type so-suffix) for dynext/file.ss utils
svn: r5332
2007-01-12 12:05:53 +00:00
Eli Barzilay
812997204f * Main change: added active-dirs' and inactive-dirs' as configuration options
instead of moving directories.
* Don't show solutions in active assignments, also check that when downloading
  files.
* Improved (no `suffix:') error messages for errors that users should
  eventually see.

svn: r5331
2007-01-12 07:40:24 +00:00
Matthew Flatt
f6047d1bff add missing 369.4 notes
svn: r5329
2007-01-12 07:13:51 +00:00
Matthew Flatt
bc1f25bc30 remove debugging check
svn: r5328
2007-01-12 07:13:12 +00:00
Matthew Flatt
91add0453f 369.4
svn: r5327
2007-01-12 07:09:56 +00:00
Eli Barzilay
4d57d7b6be better error reports
svn: r5324
2007-01-12 05:35:22 +00:00
Eli Barzilay
89ce220ed9 use bytes->string/locale to translate paths-as-bytes to strings
svn: r5318
2007-01-12 00:52:23 +00:00
Jens Axel Soegaard
2589d4fc0d Added
head-pure-port,   delete-pure-port,   put-pure-port,
  head-impure-port, delete-impure-port, put-impure-port
to (lib "url.ss" "net").
Updated doc.txt.

  

svn: r5317
2007-01-11 23:57:01 +00:00
Ryan Culpepper
9330d96ad7 Macro stepper:
simplified match patterns, eliminated old dollar-sign patterns
  added derivs to reductions; prep for jump-to and zoom-in
  changed step-note to step-type

svn: r5316
2007-01-11 23:16:58 +00:00
Eli Barzilay
26a4bca1b6 handin-client disabled by default
svn: r5315
2007-01-11 20:46:02 +00:00
Eli Barzilay
c72d6f4170 newer-and-still-ugly-in-robbys-opinion icon
svn: r5314
2007-01-11 20:08:50 +00:00
Eli Barzilay
636c39afa7 Welcome to a new PLT day.
svn: r5312
2007-01-11 08:50:04 +00:00
Ryan Culpepper
c5b19a52a9 New macro stepper option: show one term per step rather than term->term
svn: r5308
2007-01-11 00:10:02 +00:00
Matthew Flatt
1967a2fdbf allow centering, though broken for Mac OS X with a parent frame
svn: r5306
2007-01-10 21:13:45 +00:00
Matthias Felleisen
dc725487cb testing + docs
svn: r5305
2007-01-10 20:14:24 +00:00
Matthias Felleisen
6537365672 small fixes to English in testing.scm
svn: r5304
2007-01-10 19:14:12 +00:00