suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,857 Commits 17 Branches 54 Tags 278 MiB
40c6593a36
Commit Graph

3145 Commits

Author SHA1 Message Date
Eli Barzilay
4229e29035 * memory-limit also forbids large allocations now, remove warning 
* rename `current-run-status' -> `set-run-status'
* coverage should work fine with non-textual submissions
* added `current-error-message-tweaker', "checker.ss"-based checkers now use it
  to show which expression caused an error ("handin-server.ss" uses
  `tweak-error-message').  (This feature is a hack, and currently undocumented)

svn: r5415
 2007-01-19 10:03:54 +00:00
Eli Barzilay
fd4a4abe36 Welcome to a new PLT day. 
svn: r5414
 2007-01-19 08:50:04 +00:00
Matthew Flatt
f2285ef04a fix read and read-syntax 
svn: r5411
 2007-01-19 03:03:57 +00:00
Matthew Flatt
028891aa51 same WXME regexp bug 
svn: r5410
 2007-01-19 02:50:27 +00:00
Matthew Flatt
24bc2eb636 correct regexp for magic, again 
svn: r5409
 2007-01-19 02:48:52 +00:00
Matthew Flatt
943e9f1ae0 change reader path in magic 
svn: r5407
 2007-01-19 02:05:41 +00:00
Matthew Flatt
f7e85c5045 clean up and add test-case support 
svn: r5406
 2007-01-19 02:05:17 +00:00
Matthew Flatt
4baff4e975 more WXME tests 
svn: r5405
 2007-01-19 02:03:57 +00:00
Matthew Flatt
906f03dcd1 merge duplicate page-setup items 
svn: r5404
 2007-01-19 01:51:47 +00:00
Matthew Flatt
dbaccc2d5c fix cert problem when internal and external names are provided, but no initial value is provided 
svn: r5403
 2007-01-19 01:50:17 +00:00
Matthew Flatt
75f0d2ea8c change #reader path 
svn: r5402
 2007-01-18 22:28:06 +00:00
Eli Barzilay
b35c1ab25f code cleanup etc 
svn: r5401
 2007-01-18 19:36:43 +00:00
Matthew Flatt
33f9bc68db correct paths in compat 
svn: r5400
 2007-01-18 14:28:51 +00:00
Matthew Flatt
00d745bd5e wxme belongs outside of mred, obviously 
svn: r5399
 2007-01-18 14:26:29 +00:00
Matthew Flatt
2b78c44c4c commit changed before moving (I really should have done this on a branch) 
svn: r5398
 2007-01-18 14:23:41 +00:00
Matthew Flatt
8fd3137117 better wxme organization 
svn: r5396
 2007-01-18 14:06:30 +00:00
Matthew Flatt
ca93f4e358 support for cache-image 
svn: r5395
 2007-01-18 13:47:48 +00:00
Matthew Flatt
298db5ef07 reverse accidental commit of compiled subdir 
svn: r5394
 2007-01-18 12:21:39 +00:00
Matthew Flatt
208d160a1b MrEd-less reading of WXME files (work in progress, but it's mostly there) 
svn: r5393
 2007-01-18 12:20:57 +00:00
Matthew Flatt
05faf4f7d3 fix read-to-peek port so that it calls special-value procs only once for both peek and read 
svn: r5392
 2007-01-18 12:17:45 +00:00
Matthew Flatt
02131575f6 rename original media file to include right version 
svn: r5391
 2007-01-18 12:16:54 +00:00
Matthew Flatt
01866bcfb4 get rid of file numbered 2 instead of 8 
svn: r5390
 2007-01-18 12:16:05 +00:00
Matthew Flatt
9b2426be7f text-box class name changed to a lib path (not completely backward compatible) 
svn: r5389
 2007-01-18 12:15:32 +00:00
Matthew Flatt
4fe1f82d1b WXME version-8 examples 
svn: r5388
 2007-01-18 12:13:33 +00:00
Matthew Flatt
3f2f0e3ab9 rename prog to include format version 
svn: r5387
 2007-01-18 09:16:27 +00:00
Matthew Flatt
b2d9b73fb4 added program, corrected media6 
svn: r5386
 2007-01-18 09:15:42 +00:00
Matthew Flatt
f77e70643f some test graphical files in the v209 format (WXME version 6) 
svn: r5385
 2007-01-18 09:11:00 +00:00
Eli Barzilay
ccea02899c Welcome to a new PLT day. 
svn: r5384
 2007-01-18 08:50:04 +00:00
Eli Barzilay
16db731ca2 PR8492 
svn: r5383
 2007-01-18 07:59:56 +00:00
Robby Findler
08367229df added page setup dialog 
svn: r5381
 2007-01-17 14:54:50 +00:00
Matthew Flatt
8ce6c48afa add placeholders for new string constants 
svn: r5380
 2007-01-17 13:14:56 +00:00
Robby Findler
c817beb86b added page setup dialog 
svn: r5379
 2007-01-17 11:07:24 +00:00
Eli Barzilay
d9370fb7d6 Welcome to a new PLT day. 
svn: r5378
 2007-01-17 08:50:03 +00:00
Matthew Flatt
7c153c3248 fix conversion of pathnames to module names 
svn: r5376
 2007-01-17 07:02:16 +00:00
Eli Barzilay
19c33a8e2a no need for string->immutable-string when creating exceptions 
svn: r5372
 2007-01-17 01:18:50 +00:00
Matthew Flatt
58e05fbd65 fix typo 
svn: r5369
 2007-01-17 00:13:11 +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
32ec113ed1 fix public-final-name-localized bug 
svn: r5354
 2007-01-15 05:58:28 +00:00
Eli Barzilay
3cf7d2a55e no need for mk-args 
svn: r5352
 2007-01-14 04:24:44 +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
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
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
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
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
Eli Barzilay
8af562f7a1 use configuration keys dynamically 
svn: r5303
 2007-01-10 18:16:51 +00:00
Eli Barzilay
9e78a08d6e removed test-suite related code 
svn: r5302
 2007-01-10 17:47:13 +00:00
Eli Barzilay
76773d289e * poll & re-read configuration file 
* cache configuration values

svn: r5301
 2007-01-10 17:02:58 +00:00
Robby Findler
f9d2874b71 commented out some code that triggers an error for me -- things don't get centerd now, but at least drscheme starts up ... 
svn: r5300
 2007-01-10 16:00:56 +00:00
Eli Barzilay
5876ed8e3b fix PR8428, and also paths with an initial "~" 
svn: r5294
 2007-01-10 10:33:54 +00:00
Eli Barzilay
4e284a04b9 Welcome to a new PLT day. 
svn: r5293
 2007-01-10 09:31:52 +00:00
Eli Barzilay
95a1888c8f Misc improvements, the main two: 
* No need to define `collection' in info.ss
* Catches connection error when using the management dialog (so it is
  still possible to uninstall)

svn: r5292
 2007-01-10 09:19:31 +00:00
Eli Barzilay
c56394a0fc fix for PR8480 
svn: r5291
 2007-01-10 08:27:12 +00:00
Ryan Culpepper
f546667d50 Fixed alignment of syntax-snips, separate controllers, props icon 
svn: r5285
 2007-01-10 00:17:17 +00:00
Robby Findler
6c02b499fb changed drs so that definitions window programs abort at first error (also fixes bug in error message reporting in the module language) 
svn: r5284
 2007-01-09 22:10:54 +00:00
Eli Barzilay
560fbd4d88 generic icon 
svn: r5283
 2007-01-09 18:59:53 +00:00
Eli Barzilay
08602ea72f Welcome to a new PLT day. 
svn: r5280
 2007-01-09 08:50:03 +00:00
Eli Barzilay
f286073792 typo 
svn: r5269
 2007-01-08 23:19:24 +00:00
Ryan Culpepper
7d0d3da0dc Fixed macro-stepper to work with #%top-interaction 
svn: r5268
 2007-01-08 22:16:35 +00:00
Eli Barzilay
4bd2d14b7c prefix -> require only image? 
svn: r5267
 2007-01-08 22:12:33 +00:00
Robby Findler
cd2f2ee56b fixed a part of PR 8471 
svn: r5265
 2007-01-08 17:02:00 +00:00
Eli Barzilay
f4ee5579a8 Welcome to a new PLT day. 
svn: r5258
 2007-01-08 05:30:53 +00:00
Eli Barzilay
be0c68af4b free readline results 
svn: r5255
 2007-01-08 04:15:53 +00:00
Eli Barzilay
737d3d5782 warning 
svn: r5254
 2007-01-08 02:10:37 +00:00
Eli Barzilay
a0af57c0b2 warn if did not get a terminal input 
svn: r5253
 2007-01-08 00:46:04 +00:00
Matthew Flatt
e307901c1d finish fix for frame centering under Mac OS X 
svn: r5251
 2007-01-08 00:14:27 +00:00
Matthew Flatt
e4eb97cff6 adjust help msg to fit in 80 columns 
svn: r5250
 2007-01-08 00:13:45 +00:00
Eli Barzilay
60df2ebab2 fix --all-users explanation 
svn: r5249
 2007-01-07 23:55:20 +00:00
Robby Findler
9b56738700 added a little more info to message 
svn: r5248
 2007-01-07 20:29:09 +00:00
Eli Barzilay
ff2769ad95 typo 
svn: r5247
 2007-01-07 20:14:16 +00:00
Robby Findler
58444b904d fixed bug in debug handler 
svn: r5246
 2007-01-07 20:13:44 +00:00
Eli Barzilay
1e1ae2714a better conditions for usage 
svn: r5245
 2007-01-07 19:13:10 +00:00
Eli Barzilay
28c8966c85 Welcome to a new PLT day. 
svn: r5244
 2007-01-07 13:15:38 +00:00
Eli Barzilay
9984b48d88 parse url schemes properly (some test reformatting) 
svn: r5241
 2007-01-07 09:09:27 +00:00
Eli Barzilay
5f1c8da8f5 test-suite is no longer maintained, profjBoxes are RIP too 
svn: r5240
 2007-01-07 03:48:22 +00:00
Eli Barzilay
f2a8dbbb53 test-suite is no longer maintained, RIP (hopefully for the last time) 
svn: r5239
 2007-01-07 03:47:27 +00:00
Eli Barzilay
33ac0ea439 removed dependency on test-suite 
svn: r5238
 2007-01-07 03:44:26 +00:00
Robby Findler
d3f0e20191 remove test-suite reference 
svn: r5237
 2007-01-07 01:08:18 +00:00
Matthew Flatt
4b7e38feaf MrEd bridge to GIF-writing library 
svn: r5236
 2007-01-06 23:34:36 +00:00
Matthew Flatt
4fba4a4edf new library for writing GIF files 
svn: r5235
 2007-01-06 23:33:50 +00:00
Eli Barzilay
7f26385727 Welcome to a new PLT day. 
svn: r5233
 2007-01-06 08:50:05 +00:00
Matthias Felleisen
ef8befa249 small fixes to testing 
svn: r5231
 2007-01-05 17:02:50 +00:00
Eli Barzilay
c8ea629bd5 Welcome to a new PLT day. 
svn: r5230
 2007-01-05 08:50:04 +00:00
Matthew Flatt
51f9cba62a fix expand-path Windows test 
svn: r5229
 2007-01-05 07:10:37 +00:00
Matthew Flatt
71f0a99be1 fix pretty-print cycle detection for vectors 
svn: r5228
 2007-01-05 07:01:15 +00:00
Chongkai Zhu
5c6821ec24 Chinese strings 
svn: r5227
 2007-01-05 03:23:11 +00:00
Kathy Gray
5db137cf05 Committing a change to display lists in a pretty-printed box 
svn: r5225
 2007-01-05 02:25:38 +00:00
Jay McCarthy
6973ffde78 gurnell 
svn: r5224
 2007-01-05 00:44:27 +00:00
Matthias Felleisen
0a89612920 removed printf line 
svn: r5223
 2007-01-04 23:27:22 +00:00
Matthias Felleisen
271897e467 testing added 
svn: r5222
 2007-01-04 22:31:35 +00:00
Eli Barzilay
5cc51c18dd Restoring, for now. 
svn: r5221
 2007-01-04 18:00:31 +00:00
Matthew Flatt
6b60d57a86 359.3 
svn: r5219
 2007-01-04 11:14:58 +00:00
Eli Barzilay
32af18a5a9 Welcome to a new PLT day. 
svn: r5216
 2007-01-04 08:50:03 +00:00
Eli Barzilay
c7f03f1047 Moving the test suite to the graveyard, RIP. 
svn: r5213
 2007-01-04 04:45:31 +00:00
Eli Barzilay
333c003382 resurrecting test-suite briefly 
svn: r5212
 2007-01-04 04:43:56 +00:00
Robby Findler
c2b478b0ef bye bye 
svn: r5211
 2007-01-04 03:33:40 +00:00
Robby Findler
d8b61030bd added start-with-after string constant for use in Chinese 
svn: r5209
 2007-01-03 16:58:58 +00:00
Eli Barzilay
005e2285a9 Welcome to a new PLT day. 
svn: r5208
 2007-01-03 08:50:04 +00:00
Eli Barzilay
8305afe8d5 use regexp-match?, fix a defclass bug 
svn: r5207
 2007-01-03 08:14:07 +00:00
Eli Barzilay
41cb5beb36 Welcome to a new PLT day. 
svn: r5205
 2007-01-02 08:50:04 +00:00
Chongkai Zhu
261c8d3d08 Chinese strings 
svn: r5204
 2007-01-01 18:57:27 +00:00
Eli Barzilay
d7e97ca17f Welcome to a new PLT day. 
svn: r5202
 2007-01-01 08:50:06 +00:00
Eli Barzilay
ddc068c52b 2006->2007 
svn: r5201
 2006-12-31 10:05:55 +00:00
Eli Barzilay
7b5a104643 Welcome to a new PLT day. 
svn: r5200
 2006-12-31 08:50:03 +00:00
Eli Barzilay
80bbaa419e Welcome to a new PLT day. 
svn: r5197
 2006-12-30 08:50:04 +00:00
Greg Cooper
d2bb69fdb9 fix for debugger crashing 
svn: r5196
 2006-12-30 02:40:38 +00:00
Eli Barzilay
dc004f725b Welcome to a new PLT day. 
svn: r5194
 2006-12-29 08:50:06 +00:00
Matthias Felleisen
36c8deb65c re-organized docs for world and image 
svn: r5192
 2006-12-28 16:25:06 +00:00
Eli Barzilay
8f1abdaf86 Welcome to a new PLT day. 
svn: r5191
 2006-12-28 08:50:07 +00:00
Robby Findler
548bbd2e38 PR 8449 
svn: r5190
 2006-12-28 02:39:08 +00:00
Eli Barzilay
a55fc507d4 Welcome to a new PLT day. 
svn: r5189
 2006-12-27 08:50:05 +00:00
Eli Barzilay
4123ddd4ad Welcome to a new PLT day. 
svn: r5185
 2006-12-26 08:50:07 +00:00
Chongkai Zhu
19dd2b96f6 svn: r5184 2006-12-26 05:58:24 +00:00
Robby Findler
d2ad6d985c fixed a bug: top-interaction was put around modules in the module language ... dug 
svn: r5182
 2006-12-25 11:16:42 +00:00
Eli Barzilay
0c36bc39f7 Welcome to a new PLT day. 
svn: r5181
 2006-12-25 08:50:03 +00:00
Matthew Flatt
a3fb51d8d2 try to fix quiet.ss 
svn: r5180
 2006-12-25 06:41:29 +00:00
Robby Findler
3e679de9a5 adapted repl to new prompt stuff, fixed minor other things along the way 
svn: r5179
 2006-12-24 20:55:33 +00:00
Eli Barzilay
8baf2c76b2 Welcome to a new PLT day. 
svn: r5178
 2006-12-24 08:50:04 +00:00
Matthew Flatt
91d68735fa fix prompt for MrEd load handler 
svn: r5177
 2006-12-24 02:14:19 +00:00
Eli Barzilay
33d655d8ed Welcome to a new PLT day. 
svn: r5170
 2006-12-23 08:50:04 +00:00