Stevie Strickland
|
40b35a2b73
|
Now that we have a way of marking procedures as methods at runtime,
fix up all projection applications and uncomment out the tests for
appropriate method arity errors.
svn: r18504
|
2010-03-10 04:07:00 +00:00 |
|
Matthew Flatt
|
a94e6f2ea9
|
fix (_bytes o n) as an FFI result type
svn: r18502
|
2010-03-10 02:18:05 +00:00 |
|
Stevie Strickland
|
14d1760abe
|
Add procedure->method for a runtime version of the 'method-arity-error
syntax property.
svn: r18501
|
2010-03-10 01:25:57 +00:00 |
|
Stevie Strickland
|
86a26d7947
|
Sync up to trunk.
svn: r18500
|
2010-03-10 01:11:31 +00:00 |
|
Stevie Strickland
|
b917d99ce0
|
This didn't appropriately adjust for is_method.
svn: r18499
|
2010-03-10 01:10:13 +00:00 |
|
Sam Tobin-Hochstadt
|
24b9078560
|
update docs to use `define-type'
document `define-predicate'
svn: r18498
|
2010-03-10 00:17:33 +00:00 |
|
Sam Tobin-Hochstadt
|
c24daa5dbb
|
Add `define-predicate'
svn: r18497
|
2010-03-10 00:10:03 +00:00 |
|
Stevie Strickland
|
0982626a67
|
Add test cases, which let us see where we're failing at the moment.
svn: r18496
|
2010-03-09 23:56:20 +00:00 |
|
Stevie Strickland
|
cd3499dea5
|
Initial cut at documentation.
svn: r18495
|
2010-03-09 23:22:35 +00:00 |
|
Stevie Strickland
|
ef90b0f91d
|
Remove unused var, take Matthew's advice in scheme_extract_struct_procedure.
svn: r18494
|
2010-03-09 23:22:15 +00:00 |
|
Stevie Strickland
|
fcbcf0bb6f
|
Sync up to trunk.
svn: r18493
|
2010-03-09 22:51:00 +00:00 |
|
Stevie Strickland
|
0ea1814b6b
|
extend the reduced_proc struct to contain info on method wrapping
svn: r18492
|
2010-03-09 22:47:00 +00:00 |
|
Eli Barzilay
|
89aa9b6ed5
|
Welcome to a new PLT day.
svn: r18491
|
2010-03-09 08:50:28 +00:00 |
|
Matthias Felleisen
|
46d66b4542
|
bug report 10816
svn: r18490
|
2010-03-09 02:06:32 +00:00 |
|
Stevie Strickland
|
7aa99ae28a
|
Branch for adding a procedure->method primitive.
svn: r18489
|
2010-03-08 21:48:25 +00:00 |
|
Matthew Flatt
|
911d80a144
|
scribble: use 'attributes' properties when rendering table cells
svn: r18488
|
2010-03-08 21:31:31 +00:00 |
|
Matthew Flatt
|
5f8e4b46fe
|
redex: combine picts with htl-append instead of hbl-append for metafunction rendering
svn: r18487
|
2010-03-08 21:31:02 +00:00 |
|
Robby Findler
|
99638b8853
|
got rid of loa, since I can no longer remember what it was and it does not run
svn: r18486
|
2010-03-08 12:13:41 +00:00 |
|
Eli Barzilay
|
afa3790620
|
Welcome to a new PLT day.
svn: r18485
|
2010-03-08 08:50:28 +00:00 |
|
Eli Barzilay
|
0d4c9cd350
|
Welcome to a new PLT day.
svn: r18484
|
2010-03-07 08:50:35 +00:00 |
|
Robby Findler
|
9c88dc49b2
|
minor cleanup to make parsing the docs easier
svn: r18483
|
2010-03-06 14:08:25 +00:00 |
|
Robby Findler
|
3bcea5bbe0
|
made another method final
svn: r18482
|
2010-03-06 12:54:30 +00:00 |
|
Mike Sperber
|
ee16c70c41
|
Synch German string constants with latest.
svn: r18481
|
2010-03-06 11:09:25 +00:00 |
|
Eli Barzilay
|
ece4ecd49c
|
Welcome to a new PLT day.
svn: r18480
|
2010-03-06 08:50:35 +00:00 |
|
Matthew Flatt
|
4673b36dcf
|
adjust inlining heuristics again
svn: r18479
|
2010-03-06 03:44:07 +00:00 |
|
Robby Findler
|
7c3025ecde
|
fixed some more bugs found by random testing
svn: r18478
|
2010-03-06 01:35:19 +00:00 |
|
Sam Tobin-Hochstadt
|
87f978e59e
|
Fix PR 10813
svn: r18477
|
2010-03-05 21:52:54 +00:00 |
|
Robby Findler
|
c2d9b0dc3e
|
set the locked state flags during the initialization of a text% object (this bug found by random test case generation)
svn: r18475
|
2010-03-05 19:43:50 +00:00 |
|
Matthew Flatt
|
1cbb303594
|
avoid optimizer imprecision for inlining
svn: r18474
|
2010-03-05 13:50:40 +00:00 |
|
Eli Barzilay
|
e03a56995d
|
Welcome to a new PLT day.
svn: r18473
|
2010-03-05 08:50:27 +00:00 |
|
Ryan Culpepper
|
68c4c11514
|
macro-debugger:
fixed bug re eval'd top-level forms that cause errors
fixed bug re lazy phase 1 init and #%top-interaction unwrapping
svn: r18472
|
2010-03-05 01:40:42 +00:00 |
|
Matthew Flatt
|
62a53f3de7
|
add 'where/hidden' and 'side-condition/hidden' to redex; adjust typesetting to keep metafunction side conditions in original order
svn: r18471
|
2010-03-04 23:20:52 +00:00 |
|
Sam Tobin-Hochstadt
|
e703d52b94
|
fix PR10810
svn: r18470
|
2010-03-04 21:42:55 +00:00 |
|
Stevie Strickland
|
bf60da75e1
|
Refactor out new has-contract?/value-contract functionality so that it's
the responsibility of the (higher-order) contract to add the contract
(plus possibly more in the future) to the wrapped value.
svn: r18469
|
2010-03-04 21:10:44 +00:00 |
|
Robby Findler
|
0d8fbe6d06
|
made the docs match the implementation
svn: r18468
|
2010-03-04 19:31:03 +00:00 |
|
Robby Findler
|
2cfd1f423c
|
removed unimplemented stuff
svn: r18467
|
2010-03-04 17:19:34 +00:00 |
|
Robby Findler
|
6d4a546ca8
|
tightened up the contract in the docs for key-event%s methods so they limit the symbols to just the legal ones
svn: r18466
|
2010-03-04 17:14:59 +00:00 |
|
Casey Klein
|
ff0eb1757a
|
Fixed bugs found with random testing.
svn: r18465
|
2010-03-04 16:37:12 +00:00 |
|
Sam Tobin-Hochstadt
|
80fcee2577
|
Fix PR 10806.
svn: r18464
|
2010-03-04 13:45:25 +00:00 |
|
Matthew Flatt
|
82af25486e
|
one more doc fix for PR 10803
svn: r18463
|
2010-03-04 13:16:46 +00:00 |
|
Eli Barzilay
|
28948c723a
|
typos (most of PR10803)
svn: r18462
|
2010-03-04 09:08:14 +00:00 |
|
Eli Barzilay
|
d9791aeb26
|
Welcome to a new PLT day.
svn: r18461
|
2010-03-04 08:50:35 +00:00 |
|
Robby Findler
|
07f280419a
|
added has-contract? and get-contract
svn: r18460
|
2010-03-04 03:58:33 +00:00 |
|
Casey Klein
|
cd2fc95d4e
|
Fixes typos in r18451
svn: r18459
|
2010-03-04 00:14:40 +00:00 |
|
Stevie Strickland
|
5fe0a790c1
|
Change how contracts for multiple values are handled to be a little cleaner
syntactically.
svn: r18458
|
2010-03-04 00:04:07 +00:00 |
|
Stevie Strickland
|
f2788561d3
|
Add the ability to contract more than one value returned from a with-contract
block in expression position.
svn: r18456
|
2010-03-03 21:54:18 +00:00 |
|
Kevin Tew
|
636526d6f1
|
Places docs edits
svn: r18455
|
2010-03-03 21:42:24 +00:00 |
|
Kevin Tew
|
bf71d2a8af
|
refactored gc marked to clearly show fallthrough
svn: r18454
|
2010-03-03 21:42:14 +00:00 |
|
Robby Findler
|
6fc4add369
|
corrected a bug in the docs
svn: r18453
|
2010-03-03 21:15:13 +00:00 |
|
Stevie Strickland
|
3404c0e27a
|
Factor out _all_ the first-order checks into a single procedure, and rework
that procedure so that you feed it #f instead of a (no longer possible) dummy
blame value for the first-order case.
svn: r18452
|
2010-03-03 20:49:37 +00:00 |
|