Commit Graph

11389 Commits

Author SHA1 Message Date
Eli Barzilay
dbc196c246 make (values x) return just x
svn: r14420
2009-04-04 18:41:57 +00:00
Eli Barzilay
ae73ae1fd4 Welcome to a new PLT day.
svn: r14419
2009-04-04 07:50:15 +00:00
Sam Tobin-Hochstadt
2aab576237 Report more information for untyped imported identifiers
svn: r14418
2009-04-03 22:42:29 +00:00
Kathy Gray
d999a7c3ba Putting check ... inspect ... in part ii --- a working subset, sufficient for a demo
svn: r14417
2009-04-03 21:00:25 +00:00
Sam Tobin-Hochstadt
6d302a9304 Require that `require/typed' uses the contracted version of typed identifiers.
svn: r14415
2009-04-03 18:42:38 +00:00
Casey Klein
e9cf5787c1 Fixed bugs related to `cross' patterns.
svn: r14414
2009-04-03 10:47:42 +00:00
Eli Barzilay
b79a2ae792 Welcome to a new PLT day.
svn: r14413
2009-04-03 07:50:17 +00:00
Eli Barzilay
daa582291c typo
svn: r14410
2009-04-03 00:26:59 +00:00
Jay McCarthy
5b1ff07428 running help
svn: r14409
2009-04-02 21:02:25 +00:00
Jay McCarthy
57ebe66905 jc
svn: r14408
2009-04-02 21:01:55 +00:00
Jay McCarthy
0d7285a925 clarify
svn: r14406
2009-04-02 15:35:13 +00:00
Eli Barzilay
b4e15dd433 Welcome to a new PLT day.
svn: r14405
2009-04-02 07:50:33 +00:00
Sam Tobin-Hochstadt
6d07cf9128 Fix subtyping, printing, inference for refinement types.
svn: r14403
2009-04-02 03:03:44 +00:00
Eli Barzilay
810035ff52 added profile tests to nightly cycle
svn: r14398
2009-04-01 08:23:02 +00:00
Eli Barzilay
28d35ebb6a typo
svn: r14397
2009-04-01 06:10:22 +00:00
Ryan Culpepper
eb349682c3 scheme/signature: fixed to recognize scheme require forms
svn: r14396
2009-04-01 03:14:34 +00:00
Ryan Culpepper
a2ebc93bd8 macro stepper:
fixed bug with opaque result of syntax-local-expand-expression
  fixed debug-file support

svn: r14395
2009-04-01 02:15:09 +00:00
Robby Findler
2c85b7a795 improved performance of the teaching languages
svn: r14394
2009-04-01 00:15:20 +00:00
Matthew Flatt
3528308dfb avoid PS region bug
svn: r14393
2009-03-31 21:25:39 +00:00
Matthew Flatt
682d76d577 r6rs reader: delay number & symbol regexp construction
svn: r14392
2009-03-31 21:25:20 +00:00
Matthew Flatt
0db0fefba5 inline vector ops where index is a constant; fix modle-rename shortcut table for symbolic module paths
svn: r14391
2009-03-31 21:24:01 +00:00
Matthew Flatt
2eb5fb2a55 remove openssl constraint that attempting to read must lead to an actual read
svn: r14390
2009-03-31 19:35:08 +00:00
Jay McCarthy
21b2e76489 fixing scrbl error
svn: r14389
2009-03-31 19:21:09 +00:00
Eli Barzilay
0adc7a50f2 clarification
svn: r14388
2009-03-31 14:56:55 +00:00
Eli Barzilay
23a26f320c disable set-flip-labels?
svn: r14387
2009-03-31 14:55:12 +00:00
Eli Barzilay
c5d2342999 added set-flip-labels?
svn: r14386
2009-03-31 14:54:40 +00:00
Robby Findler
03ef481766 svn: r14385 2009-03-31 14:03:49 +00:00
Eli Barzilay
a58ba38c52 added remove-links
svn: r14383
2009-03-31 12:22:29 +00:00
Eli Barzilay
3d04c4ce10 set-links-label! -> set-link-label
svn: r14382
2009-03-31 12:16:39 +00:00
Eli Barzilay
33c30e7dd7 document set-links-label!
svn: r14381
2009-03-31 12:13:47 +00:00
Eli Barzilay
345e84eb31 Welcome to a new PLT day.
svn: r14375
2009-03-31 07:50:29 +00:00
Eli Barzilay
202134e45c added set-links-label! to change a link label
svn: r14374
2009-03-31 05:57:44 +00:00
Eli Barzilay
fb3846cb43 always keep the lables right-side-up
svn: r14373
2009-03-31 04:53:23 +00:00
Sam Tobin-Hochstadt
cd4305ca4f Add refinement types.
Add `parse-commmand-line'

svn: r14372
2009-03-31 03:33:04 +00:00
Kathy Gray
c733d6c748 Turning check ... inspect ... on: step one.
svn: r14369
2009-03-30 22:44:43 +00:00
Kathy Gray
72e2049f96 First step in implementing updated probability model ---
modification to P(error)

svn: r14368
2009-03-30 22:44:06 +00:00
Matthew Flatt
2969412c87 fix problem with 'continuation-marks' on a suspended thread
svn: r14367
2009-03-30 21:53:42 +00:00
Jay McCarthy
fd835e9c37 Reorganizing documentation
svn: r14366
2009-03-30 21:44:51 +00:00
Eli Barzilay
1fca4a4a49 more common looking title
svn: r14365
2009-03-30 21:12:33 +00:00
Eli Barzilay
c880b1297c sort only for each edge, so related nodes will be closer to each other
svn: r14364
2009-03-30 21:10:16 +00:00
Eli Barzilay
85cbee30e2 added an option of giving create-sampler the super custodian
svn: r14363
2009-03-30 19:42:55 +00:00
Eli Barzilay
a68c38b6d7 document and comment last change
svn: r14362
2009-03-30 17:44:03 +00:00
Eli Barzilay
bab1558e02 fix the topological sort and make it use a sorter to resolve nodes at the same level
svn: r14361
2009-03-30 17:42:09 +00:00
Eli Barzilay
6964e5745d avoid divisions by zero when no work is observed
svn: r14360
2009-03-30 17:00:31 +00:00
Eli Barzilay
ff689a376b Welcome to a new PLT day.
svn: r14347
2009-03-30 07:50:21 +00:00
Mike Sperber
5efef6aa90 Back out rev rev 14072.
This had broken printing of image snips in the REPL.

svn: r14346
2009-03-30 07:27:10 +00:00
Eli Barzilay
14f71a8531 * added `periodic-renderer'
* set svn:ignore

svn: r14345
2009-03-30 05:59:20 +00:00
Eli Barzilay
1fe2cee5c6 type
svn: r14344
2009-03-30 05:24:07 +00:00
Eli Barzilay
e2f50949be remove debugging code, add provide
svn: r14342
2009-03-30 01:07:06 +00:00
Eli Barzilay
96d7291bfb statistical profiler, core and text interface part done
svn: r14340
2009-03-30 00:15:38 +00:00