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
Ryan Culpepper
92a938dc6d
macro stepper tests: updated
...
svn: r13133
2009-01-15 00:07:47 +00:00
Matthias Felleisen
01b980f97e
doc typos
...
svn: r13132
2009-01-14 23:31:20 +00:00
Eli Barzilay
3418b1404e
plural
...
svn: r13131
2009-01-14 22:58:06 +00:00
Eli Barzilay
559363bc2b
remove #:from from error message, a little clearer code
...
svn: r13130
2009-01-14 22:57:52 +00:00
Matthew Flatt
9e341c4e0d
correct syntax-error message for 'help'
...
svn: r13129
2009-01-14 22:52:06 +00:00
Matthew Flatt
fd2136071a
document 'help' change
...
svn: r13128
2009-01-14 22:45:46 +00:00
Eli Barzilay
62ed5ba3ad
make it require one or more strings, just in case
...
svn: r13127
2009-01-14 22:39:17 +00:00
Eli Barzilay
ac5dcae9e6
make (help "foo") run a search for "foo"
...
svn: r13126
2009-01-14 22:35:39 +00:00
Stevie Strickland
a4165d14b4
Change this to match how the error messages now come across.
...
svn: r13125
2009-01-14 21:39:43 +00:00
Stevie Strickland
c7ee5b600c
Change this more to how it should be.
...
svn: r13124
2009-01-14 21:35:07 +00:00
Stevie Strickland
d3f703b043
Fixing these back up to how they were before.
...
svn: r13123
2009-01-14 21:31:46 +00:00
Stevie Strickland
8ef9977f57
Change contract error reporting back to how it was (at least how it is on
...
unit-contracts, which avoids the spacing issue), and just change the blame
notation so that we can still report the region/definition stuff.
svn: r13122
2009-01-14 21:21:59 +00:00
Stevie Strickland
9facb3ffaf
Forgot a quote-syntax here, so unprotected ids weren't being transformed
...
correctly.
svn: r13121
2009-01-14 20:58:38 +00:00
Matthew Flatt
cf2e98eb92
size-cache-invalid for editor<%>
...
svn: r13120
2009-01-14 20:29:37 +00:00
Robby Findler
074be235b4
fixed a bug
...
svn: r13119
2009-01-14 19:26:03 +00:00
Stevie Strickland
5ac3135cd6
Syncing up here as well.
...
svn: r13118
2009-01-14 18:27:06 +00:00
Robby Findler
8f3547e311
added code to remove the graph-pb from the canvas while printing
...
svn: r13117
2009-01-14 18:21:55 +00:00
Robby Findler
ae1e6ca263
fixed an x/y reversal bug and improved the #:layout function so it isn't called as much
...
svn: r13116
2009-01-14 18:05:21 +00:00
Stevie Strickland
4ca79e31ff
Syncing up to trunk.
...
svn: r13115
2009-01-14 16:45:50 +00:00
Robby Findler
d1f65ae6c9
fixed a bunch of bugs in layout things in order to make traces/ps work better
...
svn: r13114
2009-01-14 15:53:29 +00:00
Matthew Flatt
e2751633f0
fix set-max-width, etc. docs
...
svn: r13113
2009-01-14 15:39:24 +00:00
Casey Klein
286ef262c7
Fixed contract for `check-reduction-relation'
...
svn: r13112
2009-01-14 14:09:13 +00:00
Matthew Flatt
4759e25019
fix vector-copy! bug (PR 10026)
...
svn: r13111
2009-01-14 13:02:03 +00:00
Eli Barzilay
a1f7e3caa2
Welcome to a new PLT day.
...
svn: r13110
2009-01-14 08:50:12 +00:00
Ryan Culpepper
502edfb02f
macro stepper: fixed interface bugs
...
svn: r13109
2009-01-14 06:11:59 +00:00
Ryan Culpepper
2aeb50134d
macro stepper: converted more classes to use iop
...
svn: r13108
2009-01-14 06:04:57 +00:00
Stevie Strickland
12fc114993
Let's just make some differently painted identifiers so that some
...
error messages won't reveal the non-similarly-named ids behind the
curtain.
(I have my hammer, and damn if I won't use it.)
svn: r13107
2009-01-14 03:14:26 +00:00
Eli Barzilay
d1a0086471
newlines at EOFs
...
svn: r13105
2009-01-14 03:10:47 +00:00
Stevie Strickland
5e325a6552
Syncing on up, hopefully fixing the macro stepper in the process (but perhaps
...
not).
svn: r13104
2009-01-14 03:04:37 +00:00
Eli Barzilay
0a51fa26e6
set svn:eol-style
...
svn: r13103
2009-01-14 03:01:36 +00:00
Robby Findler
c600eedb32
svn: r13101
2009-01-14 01:43:30 +00:00
Robby Findler
c5d99507c3
PR 10024
...
svn: r13100
2009-01-14 01:39:32 +00:00
Stevie Strickland
61ed9d9bf4
Syncing up to trunk, including Matthew's fix.
...
svn: r13099
2009-01-14 01:17:48 +00:00
Stevie Strickland
b5efb99548
Going to try switching this back, but need to sync from trunk to get Matthew's
...
changes to see if it works.
svn: r13098
2009-01-14 01:12:52 +00:00
Matthew Flatt
678f6773aa
fix problem in local-expand and references to not-yet-bound identifiers
...
svn: r13097
2009-01-13 23:28:34 +00:00
Stevie Strickland
37b2272ecf
Move away from using the error-syntax to grab the unit name wherever we want
...
it -- just use a syntax parameter.
svn: r13096
2009-01-13 23:08:47 +00:00
Stevie Strickland
455999eadd
Add first-order contract checking at definition time.
...
svn: r13095
2009-01-13 20:52:58 +00:00
Casey Klein
5ca04f3497
Randomized testing forms no longer report exceptions as
...
counterexamples or return #t when unable to find a counterexample.
svn: r13094
2009-01-13 20:50:36 +00:00
Stevie Strickland
4899d91b97
Lacked unprotected ids, and c should have never been false here anyway.
...
svn: r13093
2009-01-13 20:40:36 +00:00
