Stevie Strickland
e1d5ced45e
Only apply a single contract wrapping to a value contracted through unit
...
exporting/importing. Also add some more unit contract tests.
svn: r13203
2009-01-18 10:38:52 +00:00
Eli Barzilay
5f08629bcd
Welcome to a new PLT day.
...
svn: r13202
2009-01-18 08:50:08 +00:00
Stevie Strickland
e6999c8184
Just to ensure that nothing wonky goes on, change these to function names that
...
aren't in scheme/base.
svn: r13201
2009-01-18 05:54:58 +00:00
Stevie Strickland
ffa59b4548
Fix with-contract so that it expands slowly into a series of begins instead
...
of erroneously attempting to head expand all the expressions before it does
any work.
Remove an extra verify-contract call in define/contract while we're at it.
svn: r13198
2009-01-18 05:21:29 +00:00
Stevie Strickland
16507c6fed
Syncing up to trunk.
...
svn: r13197
2009-01-18 05:08:16 +00:00
Stevie Strickland
16700ed8fc
Now that I know what's going on, we no longer have to shift all the
...
generated defines towards the bottom (which didn't help anyway).
Notice how marker-f is now defined -- that's the solution Matthew presented
to me.
svn: r13196
2009-01-18 05:00:43 +00:00
Robby Findler
e7f8cce469
added another capability to redex's traces function
...
svn: r13195
2009-01-17 23:36:33 +00:00
Stevie Strickland
f25df85485
Syncing up.
...
svn: r13192
2009-01-17 22:48:32 +00:00
Stevie Strickland
46bcdf9924
I thought I'd already made this change to the documentation, but perhaps I
...
didn't commit it after all.
svn: r13191
2009-01-17 22:44:09 +00:00
Stevie Strickland
9142823419
Forgot to remove a paren from my quick edit on the command line there.
...
svn: r13190
2009-01-17 19:49:13 +00:00
Stevie Strickland
0401130784
Here, let's store this change I was working on to fix up the expansion of
...
with-contract (since I can't head-expand-all like I was erroneously thinking).
svn: r13189
2009-01-17 19:44:28 +00:00
Matthew Flatt
c33a201c43
fix splicing-syntax-parameterize with begin (patch from Stevie) --- should be merged to 4.1.4
...
svn: r13187
2009-01-17 12:27:06 +00:00
Eli Barzilay
e54e5cf6d6
Welcome to a new PLT day.
...
svn: r13186
2009-01-17 08:50:23 +00:00
Stevie Strickland
654a70ff90
Adding with-contract from sstrickl/with-contract, with a slight nudge to
...
the recent unit contract work to use the same syntax parameter as this
work.
svn: r13185
2009-01-16 22:59:48 +00:00
Stevie Strickland
3c9cef3d82
Last sync before this goes live.
...
svn: r13184
2009-01-16 22:23:15 +00:00
Stevie Strickland
92fa69c387
Add some tests that check interaction between with-contract (here
...
through define/contract) and unit contracts.
svn: r13183
2009-01-16 22:21:18 +00:00
Stevie Strickland
f6d571db40
Add a test that involves blame on a non-unit entity.
...
svn: r13182
2009-01-16 20:46:39 +00:00
Stevie Strickland
39d9cfbb0a
Now that we're in with-contract land, use the same syntax parameter for units
...
as well as with-contract and define/contract.
svn: r13181
2009-01-16 20:41:51 +00:00
Matthew Flatt
5c4193fd31
fix make-derived-parameter
...
svn: r13180
2009-01-16 20:04:12 +00:00
Robby Findler
e8f7fe9501
clarification in reponse to comment on plt-scheme
...
svn: r13179
2009-01-16 19:38:28 +00:00
Stevie Strickland
0fcf609e2b
Syncing again
...
svn: r13178
2009-01-16 19:11:18 +00:00
Stevie Strickland
cc9925dd6b
Add unit contracts from branches/sstrickl/unit-contracts.
...
svn: r13177
2009-01-16 19:03:11 +00:00
Matthew Flatt
2ef432d1bf
benchmark tabulation option
...
svn: r13176
2009-01-16 18:31:03 +00:00
Stevie Strickland
b29b08dec0
Adding tests, because we should.
...
svn: r13175
2009-01-16 18:24:59 +00:00
Stevie Strickland
4fd8753c66
Start of a testing framework for unit contracts.
...
svn: r13173
2009-01-16 17:50:05 +00:00
Casey Klein
220380fd1b
Fixed a bug in which the "check" forms failed to reinitialize the
...
"preferred productions" before each attempt.
svn: r13172
2009-01-16 17:09:51 +00:00
Stevie Strickland
768117b201
Sync to trunk in preparation of merging (though unit-contracts will go first).
...
svn: r13171
2009-01-16 16:59:20 +00:00
Stevie Strickland
c04baf6d83
Sync to trunk in preparation of merging.
...
svn: r13170
2009-01-16 16:59:09 +00:00
Eli Barzilay
c0bdc22085
bleh
...
svn: r13169
2009-01-16 16:36:51 +00:00
Eli Barzilay
c5f8c43dbf
better code order
...
svn: r13168
2009-01-16 16:29:53 +00:00
Jay McCarthy
9e305c79e3
over-limit
...
svn: r13167
2009-01-16 16:24:23 +00:00
Eli Barzilay
b7ccf49ecc
Welcome to a new PLT day.
...
svn: r13166
2009-01-16 12:27:17 +00:00
Eli Barzilay
f725d00fed
update version numbers for the v4.1.4 release
...
svn: r13164
2009-01-16 10:08:59 +00:00
Eli Barzilay
856a91865b
avoid using force/delay (see comment)
...
svn: r13162
2009-01-16 08:42:17 +00:00
Eli Barzilay
99592959b8
fix display/write swap, use ~s for exn-messages
...
svn: r13161
2009-01-16 05:49:16 +00:00
Eli Barzilay
a76cdc248f
added promise-forced? and promise-running?
...
svn: r13160
2009-01-16 05:46:07 +00:00
Eli Barzilay
b81ea02cab
add more tests, mainly for catching exceptions and other raised values
...
svn: r13159
2009-01-16 05:18:37 +00:00
Eli Barzilay
cac38f95cb
use the test expression as the source for the whole expression, so it is all shown as uncovered until executed
...
svn: r13158
2009-01-15 23:53:51 +00:00
Eli Barzilay
822a536b7f
fix check-expect-maker contract, reorganize code
...
svn: r13157
2009-01-15 23:41:39 +00:00
Eli Barzilay
76657082d9
better errorage
...
svn: r13156
2009-01-15 23:12:32 +00:00
Robby Findler
a4799be53c
added support for customizing the edge label font to the graph library and propogated that argument to the redex traces and traces/ps functions
...
svn: r13155
2009-01-15 21:29:26 +00:00
Stevie Strickland
6672638df1
Syncing up.
...
svn: r13154
2009-01-15 17:57:25 +00:00
Stevie Strickland
9abbdce906
Syncing up.
...
svn: r13153
2009-01-15 17:57:20 +00:00
Ryan Culpepper
b75dfb878a
macro stepper: fixed documentation build
...
(removed dependence on mred-kernel)
svn: r13152
2009-01-15 14:40:52 +00:00
Matthew Flatt
7f4c069ab6
document style collapsing of find-or-create-style
...
svn: r13151
2009-01-15 13:49:41 +00:00
Matthew Flatt
6aea96cb5c
improve name of class field accessors/mutators
...
svn: r13150
2009-01-15 13:49:04 +00:00
Matthias Felleisen
00604ab789
svn: r13149
2009-01-15 13:43:18 +00:00
Matthias Felleisen
69b59c111a
svn: r13148
2009-01-15 13:40:50 +00:00
Stevie Strickland
3aedb21b8f
Syncing here also.
...
svn: r13147
2009-01-15 09:19:20 +00:00
Stevie Strickland
f72060a72b
Yep, another sync.
...
svn: r13146
2009-01-15 09:15:20 +00:00
