suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
14,541 Commits 17 Branches 54 Tags 278 MiB
e946fffe90
Commit Graph

14541 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eli Barzilay
e946fffe90 Welcome to a new PLT day. 
svn: r18260
 2010-02-22 08:50:35 +00:00
Carl Eastlund
1d6111c532 Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract. 
svn: r18259
 2010-02-22 02:51:16 +00:00
Matthew Flatt
ed2010bd70 fix text renderer 
svn: r18255
 2010-02-21 13:04:06 +00:00
Robby Findler
1d378bc6d7 fixed a broken reference 
svn: r18254
 2010-02-21 12:37:06 +00:00
Eli Barzilay
cbb86e58c2 Welcome to a new PLT day. 
svn: r18253
 2010-02-21 08:50:54 +00:00
Ryan Culpepper
48ea3224f8 schemeunit: fixed some properties and dangling requires 
svn: r18252
 2010-02-21 04:49:09 +00:00
Stevie Strickland
d3a280501f Merge in branches/sstrickl/cc-phase1, which includes the first phase of 
my class contracts work.

This adds the following features:
  * class/c, a contract combinator for classes.
  * set-field!, which was conspicuously missing from the class library.
  * ->m and ->*m, shorthand arrow contracts for methods.

svn: r18251
 2010-02-21 04:47:34 +00:00
Stevie Strickland
6f3b676fa5 Syncing up. 
svn: r18249
 2010-02-21 03:37:21 +00:00
Stevie Strickland
a0769da5ea Add the contract shorthands for -> and ->* to use for methods where we don't 
care about properties of this.

svn: r18248
 2010-02-21 02:54:06 +00:00
Robby Findler
71b4df4a29 removed some more one-of/c's in favor of or/c 
svn: r18247
 2010-02-21 02:29:12 +00:00
Robby Findler
ad352387c9 added string constants for the menus added in the previous commit 
svn: r18246
 2010-02-21 02:09:25 +00:00
Robby Findler
95debe6353 added keyboard shortcuts for the first 9 tabs to the windows menu (on the mac) 
svn: r18245
 2010-02-21 02:06:57 +00:00
Robby Findler
5ad04e3b2c changed some defconstructor/make's into defconstructor's 
svn: r18244
 2010-02-21 02:06:28 +00:00
Ryan Culpepper
3b630af6f9 schemeunit: 
moved internal modules to schemeunit/private
  moved tests to tests/schemeunig
  added schemeunit/gui

drscheme:
  fixed bug in show-backtrace-window

svn: r18243
 2010-02-21 01:03:42 +00:00
Stevie Strickland
e72928d444 Yeah, I should add augride here. 
svn: r18242
 2010-02-21 00:26:58 +00:00
Stevie Strickland
c6e671581f Want to call this something more generic, as method contracts have specific 
restrictions, but contracts on fields do not.

svn: r18241
 2010-02-21 00:22:37 +00:00
Stevie Strickland
ffa34e1f7d Add augride, which is like augment but enables the contract writer to give 
subclasses an idea of whether a method can be augmented (augment) or whether
a method augmentation can be overridden (augride).

svn: r18240
 2010-02-21 00:17:42 +00:00
Stevie Strickland
5df617e4d4 Forgot to add this to the literals list. 
svn: r18239
 2010-02-20 23:45:55 +00:00
Stevie Strickland
d67058c1ac Document inherit. 
svn: r18238
 2010-02-20 22:58:21 +00:00
Stevie Strickland
f72ca7bb1b Now inherit works (and tests!) 
svn: r18237
 2010-02-20 22:54:11 +00:00
Stevie Strickland
370792b881 Refactoring done, and I think that's actually cleaned up things a bit. Now 
to handle inherit.

svn: r18236
 2010-02-20 22:44:53 +00:00
Stevie Strickland
b589c3c230 More preparation to move all the int-method/dynamic-proj expansion into 
class/c-proj instead of compose-class.

svn: r18235
 2010-02-20 22:00:45 +00:00
Stevie Strickland
66ce493ede Adding original class field (we'll see what this is for in a sec.) 
svn: r18234
 2010-02-20 21:48:00 +00:00
Stevie Strickland
a0fdeff509 First order checks. 
svn: r18233
 2010-02-20 21:34:57 +00:00
Stevie Strickland
a4d6252d16 Start inherit contracts (which are useful for mixins). Tests, plus parsing. 
svn: r18232
 2010-02-20 21:28:20 +00:00
Stevie Strickland
6ae1a713df One more small edit. 
svn: r18231
 2010-02-20 21:06:59 +00:00
Stevie Strickland
50482d7016 Small fixes, go back to the original section title. 
svn: r18230
 2010-02-20 21:06:22 +00:00
Stevie Strickland
7e5e4a50fa Check in an initial cut of class/c documentation. 
svn: r18229
 2010-02-20 20:32:17 +00:00
Stevie Strickland
a169105ed0 Sync up to trunk, because keeping up to date is the right thing to do (and 
hopefully it'll get rid of the issues in tests/future/future.ss).

svn: r18228
 2010-02-20 19:36:15 +00:00
Robby Findler
92717e0f0b used stderr when tests fail 
svn: r18226
 2010-02-20 17:16:54 +00:00
Robby Findler
ac2c537b8f clarified bitwise-bit-field and bitwise-bit-set? 
svn: r18225
 2010-02-20 15:20:27 +00:00
Matthew Flatt
eb46f95246 doc corrections 
svn: r18224
 2010-02-20 14:58:10 +00:00
Matthew Flatt
457a2da675 try again to fix tests 
svn: r18223
 2010-02-20 13:39:51 +00:00
Matthew Flatt
e38e8d88e0 basic set library 
svn: r18222
 2010-02-20 13:00:48 +00:00
Matthew Flatt
d2bdc2eca8 fix test problems 
svn: r18221
 2010-02-20 12:23:01 +00:00
Stevie Strickland
c59805ab9e Syncing up to trunk before I go to bed, so setup-plt can run while I 
sleep.

svn: r18220
 2010-02-20 10:59:49 +00:00
Stevie Strickland
c5c22e117c Tests to make sure the first-order parts of method contracts are attributed 
to the correct source upon failure.

svn: r18219
 2010-02-20 10:46:54 +00:00
Stevie Strickland
cd4aa4c6f6 Forgot about the no-contract forms, so needed to add tests for those, also. 
svn: r18218
 2010-02-20 10:40:50 +00:00
Stevie Strickland
7830d55b42 Okay, that does it for augment, which means I'm done with coding. Now just 
documentation and benchmarking, then this can go on trunk.

svn: r18217
 2010-02-20 10:09:37 +00:00
Stevie Strickland
37e1cd2e2c A few more tests to make sure we have everything right for augment once 
implemented.

svn: r18216
 2010-02-20 09:48:38 +00:00
Stevie Strickland
67d47e0a1d Fixes in override ctcs and test suite. I thought I ran it, so I find it 
weird that I found these on a subsequent run when adding some quick augment
tests to start the next batch.  (Oh, those are included also.)

svn: r18215
 2010-02-20 09:40:41 +00:00
Stevie Strickland
b5e2d5f93e Okay, now override contracts are done, so only augments remain. 
svn: r18214
 2010-02-20 09:30:40 +00:00
Stevie Strickland
3c1004fd05 Okay, we should be fixed up in compose-class, now we just need to start 
handling the projections in class/c-proj.

svn: r18213
 2010-02-20 09:14:14 +00:00
Eli Barzilay
190af1efe9 Welcome to a new PLT day. 
svn: r18212
 2010-02-20 08:50:36 +00:00
Stevie Strickland
28046b832b Another step towards it -- here we're extending the int-methods vector 
appropriately on subclassing after a contract boundary.  Next is adding
in the projections.

svn: r18211
 2010-02-20 08:43:54 +00:00
Stevie Strickland
a7017afe5a Step 1: Cut a ... 
Wait, no.  Here we add the dynamic idxs, which will get incremented whenever
we pass through a contract boundary with an override (or later, augment)
contract.

svn: r18210
 2010-02-20 08:21:09 +00:00
Stevie Strickland
3b125d58fc Tests for internal dynamic dispatch (Java-only) 
svn: r18209
 2010-02-20 08:08:17 +00:00
Stevie Strickland
90d8d3763a Forgot to put this here. 
svn: r18208
 2010-02-20 06:36:28 +00:00
Stevie Strickland
ead01c9232 There's an app... err, function for that. 
svn: r18207
 2010-02-20 05:32:13 +00:00
Stevie Strickland
98e3695a20 Also change some old code to use vector-copy! as appropriate. 
svn: r18206
 2010-02-20 05:25:36 +00:00