Commit Graph

11401 Commits

Author SHA1 Message Date
Eli Barzilay
b2959e3308 Welcome to a new PLT day.
svn: r14434
2009-04-06 07:50:29 +00:00
Sam Tobin-Hochstadt
d57f1a68a4 Fix static struct info
svn: r14433
2009-04-06 06:18:06 +00:00
Eli Barzilay
e6277e92ac foldl/foldr output type typo
svn: r14432
2009-04-06 05:49:57 +00:00
Robby Findler
83a1a5a812 svn: r14431 2009-04-06 00:44:37 +00:00
Eli Barzilay
2337f5e447 Welcome to a new PLT day.
svn: r14429
2009-04-05 17:59:46 +00:00
Eli Barzilay
45d58a377f move to user directory
svn: r14428
2009-04-05 17:58:56 +00:00
Eli Barzilay
c0a8a01222 Changed @itemize{...} to @itemize[...] (done after comparing the doc
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)

svn: r14427
2009-04-05 17:46:20 +00:00
Jay McCarthy
ceee79e07f mjadud bug
svn: r14426
2009-04-05 13:50:02 +00:00
Eli Barzilay
06636c1813 added in-sequences and in-cycle
svn: r14424
2009-04-05 08:29:17 +00:00
Eli Barzilay
9af9210aa2 added hash-ref! and hash-has-key?
svn: r14423
2009-04-05 04:35:12 +00:00
Eli Barzilay
50ec8211e2 reformat hash tests
svn: r14422
2009-04-05 02:43:47 +00:00
Eli Barzilay
cb2c85956b removed unnecessary hash-ref passing in implementation of hash-update
svn: r14421
2009-04-05 00:24:47 +00:00
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