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
Stevie Strickland
8b5b007a51
We want to cover the marked version of the identifier (which has the proper
...
value), not the "regular" version that's now a transformer to a contracted
version of the marked identifier (and thus double-contracting here).
svn: r13145
2009-01-15 09:11:50 +00:00
Eli Barzilay
8308cf0b73
Welcome to a new PLT day.
...
svn: r13144
2009-01-15 08:50:27 +00:00
Ryan Culpepper
10297fa579
macro stepper: added "factor common context" option
...
svn: r13143
2009-01-15 07:30:08 +00:00
Stevie Strickland
9df50b125a
Missed a case. Oops.
...
svn: r13142
2009-01-15 05:37:23 +00:00
Stevie Strickland
bd802748e0
Okay, let's try using the "internal" names instead of the "external", which
...
might make some errors more obvious.
svn: r13141
2009-01-15 05:32:46 +00:00
Stevie Strickland
6e86da95e6
Actually make this used specifically for blame, not the unit name.
...
We might end up collapsing this and what's introduced in with-contract.
svn: r13140
2009-01-15 05:17:27 +00:00
Eli Barzilay
873fe865cd
another tweak to the error message
...
svn: r13139
2009-01-15 03:24:04 +00:00
Matthias Felleisen
fe36315ca5
a few typos in universe.scrbl fixed
...
svn: r13138
2009-01-15 02:59:47 +00:00
Stevie Strickland
f739d7a8d3
Syncing here also.
...
svn: r13137
2009-01-15 02:38:49 +00:00
Stevie Strickland
ea3879fd8f
Syncing again, whee.
...
svn: r13136
2009-01-15 02:35:34 +00:00
Stevie Strickland
dbe366c6a0
Add error checking for contracted form, also added documentation in reference
...
svn: r13135
2009-01-15 00:42:49 +00:00
Ryan Culpepper
b91874f41c
macro stepper: more iop
...
svn: r13134
2009-01-15 00:10:09 +00:00
