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

9120 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Stevie Strickland
e2c770ab45 So we _can_ do this, but since provides/requires are between modules, and 
thus it's the enclosing module that made the contract here, we should
blame it for the misuse, not the contract boundary in which the call was
made (though further thought should be put towards this).

svn: r11687
 2008-09-12 16:39:11 +00:00
Stevie Strickland
eb919c78d1 Doc fixes. 
svn: r11686
 2008-09-12 16:26:09 +00:00
Stevie Strickland
f191636cc7 Use the same info here as the provide/contract -contract uses do. 
svn: r11685
 2008-09-12 16:20:38 +00:00
Stevie Strickland
c32c61ab74 Initial work on documenting the new form and changing the documentation 
for define/contract appropriately.

svn: r11681
 2008-09-12 15:20:02 +00:00
Stevie Strickland
a44810f4f5 More error checking, shouldn't have allowed (define/contract x number? 1 2), 
for example.

svn: r11680
 2008-09-12 15:19:29 +00:00
Stevie Strickland
33d3cb7cd0 Have provide/contract-transformers appropriately check to see whether we 
are within a with-contract scope.  Not quite sure if this code is 100%
correct (in terms of being written apprropiately), but it does the job for now.

svn: r11676
 2008-09-12 14:51:26 +00:00
Stevie Strickland
fa92cb2677 trunk merge 
svn: r11671
 2008-09-12 04:24:30 +00:00
Stevie Strickland
d03ce01a5a Fix numbering, add back a test similar to the infinite loop case that 
was here before to illustrate how define/contract now correctly does
not contract internal references.

svn: r11670
 2008-09-12 03:49:20 +00:00
Stevie Strickland
65e13861bb Accidentally committed this in r11663. 
svn: r11669
 2008-09-12 03:42:36 +00:00
Robby Findler
cce9d7d6e5 improved keybindings for search 
svn: r11668
 2008-09-12 02:57:21 +00:00
Eli Barzilay
21640dcc36 put scribble property on escape expressions (no []s or {}s) 
svn: r11667
 2008-09-12 02:47:13 +00:00
Stevie Strickland
d9c47de816 Write some with-contract tests. 
svn: r11666
 2008-09-12 00:21:38 +00:00
Stevie Strickland
32d4b34630 Check nested and non-nested define/contracts and how they interact. 
svn: r11665
 2008-09-12 00:02:46 +00:00
Stevie Strickland
b783ac9b70 Use the new function syntax for define/contract in a couple of tests. 
svn: r11664
 2008-09-11 23:53:23 +00:00
Stevie Strickland
d3a5ab5556 Fix one test (now the top-level gets the blame appropriately) and remove 
a bogus test (since a defined function can call itself all it wants without
the contract being checked, and thus that test is now an infinite loop).

svn: r11663
 2008-09-11 23:47:29 +00:00
Stevie Strickland
68aa941b87 Since we allow non-identifiers here now (as long as they'd be appropriate 
name + argument lists a la define), this case will never fire.

svn: r11662
 2008-09-11 23:25:43 +00:00
Stevie Strickland
cc6d39e217 More error reporting. 
svn: r11661
 2008-09-11 23:19:34 +00:00
Stevie Strickland
f4dd7e85fe We should make sure the error here at least has define/contract in it (even 
if it's the wrong shape due to leaving the contract out in the call), and we
_should_ check to see if we're in a expression context.  (Can't remember what
reasoning Ryan had about not doing this, but it seems to me that we still
need to check, since this expands into defines of various sorts.)

svn: r11660
 2008-09-11 23:11:38 +00:00
Stevie Strickland
e1f430df72 We should use the name of the form in generating the error. 
svn: r11659
 2008-09-11 22:58:25 +00:00
Stevie Strickland
249f3db1b5 Add identifier checking and contract verification where appropriate. 
svn: r11658
 2008-09-11 22:43:19 +00:00
Stevie Strickland
ab3da5b574 svn merge -r11635:11656 http://svn.plt-scheme.org/plt/trunk 
Okay, now we're up to the present day, from here on out the mergeinfo should
be correct :p

svn: r11657
 2008-09-11 22:29:42 +00:00
Stevie Strickland
8017a74bff svn merge -r11641:11640 . 
Okay, that was the last (first?) trunk merge, so now I'll merge trunk
"appropriately".

svn: r11656
 2008-09-11 22:25:49 +00:00
Stevie Strickland
ae2d69720c svn merge -r11644:11643 . 
Yeah, these trunk merges will eventually come back.

svn: r11655
 2008-09-11 22:21:45 +00:00
Stevie Strickland
cfb01a1828 Revert that previous change. 
svn: r11654
 2008-09-11 22:17:20 +00:00
Stevie Strickland
b21c6bbc84 svn merge -r11644:11652 http://svn.plt-scheme.org/plt/trunk 
(Also setting up svn:mergeinfo appropriately for later merging.)

svn: r11653
 2008-09-11 22:06:00 +00:00
John Clements
92df21d9df added stepper to automatic tests 
svn: r11652
 2008-09-11 21:12:50 +00:00
Stevie Strickland
430374358e Allow unprotected identifiers to be exported from with-contract, plus 
do some error checking on that list.

svn: r11651
 2008-09-11 21:01:14 +00:00
Stevie Strickland
1621335290 * Make define/contract have an implicit begin 
* Change with-contract's implicit begin into begin-with-definitions

svn: r11650
 2008-09-11 20:38:09 +00:00
Stevie Strickland
eb676359c9 There might be a simpler way of writing this, but my kung macro isn't yet 
up to par if so.

svn: r11649
 2008-09-11 17:49:29 +00:00
Stevie Strickland
16399b7827 Add in nicer version for function definitions. 
svn: r11648
 2008-09-11 17:36:43 +00:00
Stevie Strickland
c1fa0fe0ed Now have define/contract use the new with-contract form. 
svn: r11647
 2008-09-11 17:01:01 +00:00
Stevie Strickland
e5ed38fedc This wasn't used in define/contract either. 
svn: r11646
 2008-09-11 16:52:08 +00:00
Stevie Strickland
cb07ceefff Thanks to Sam and Carl, finally got this working like I wanted it. 
svn: r11645
 2008-09-11 16:51:36 +00:00
Stevie Strickland
2d6f787865 svn merge -r11640:11643 http://svn.plt-scheme.org/plt/trunk 
svn: r11644
 2008-09-11 14:45:33 +00:00
Sam Tobin-Hochstadt
4f5a412230 Merge in keywords branch and directory reorg. 
svn: r11643
 2008-09-11 14:07:10 +00:00
Stevie Strickland
8cbc41042e Pull out the querying of current-contract-region (even though it doesn't 
work), as we shouldn't be forming the if clause (here a cond) in the syntax
(as it should be evaluated at expansion time).

svn: r11642
 2008-09-11 13:51:03 +00:00
Stevie Strickland
0d90b5274c svn merge -r11635:11640 http://svn.plt-scheme.org/plt/trunk 
svn: r11641
 2008-09-11 13:19:23 +00:00
Sam Tobin-Hochstadt
7cf9b36c15 Add eof and read-accept-reader. 
Fix find-mutated-vars
 2008-09-11 09:01:49 -04:00
Eli Barzilay
c2dfbc3559 Welcome to a new PLT day. 
svn: r11639
 2008-09-11 07:50:17 +00:00
John Clements
041cfa3264 ... 
svn: r11638
 2008-09-11 05:22:37 +00:00
Stevie Strickland
55f89f2da8 This doesn't quite work (neither does syntax-parameterize), but at least 
it gives us an idea of where we're going and I can bug Ryan tomorrow :D

svn: r11637
 2008-09-11 02:09:28 +00:00
Stevie Strickland
a7d5a2aaef Reordering the definitions so that define/contract and its helpers are 
in one section and the same for provide/contract (instead of them being
mixed as before).

svn: r11636
 2008-09-10 21:46:13 +00:00
Sam Tobin-Hochstadt
c7b51cfd2d Add no-check language 2008-09-10 14:49:15 -04:00
Stevie Strickland
12bcac14d3 Converting utils.ss and checker.ss to scheme/base. 
svn: r11633
 2008-09-10 17:59:24 +00:00
John Clements
a115dc3d8b re-added run-nightly-tests.ss 
svn: r11632
 2008-09-10 15:31:33 +00:00
Matthew Flatt
49f5785277 fix some issues in recent mzscheme changes 
svn: r11631
 2008-09-10 12:57:11 +00:00
Robby Findler
95b35a43f6 PR 9739 
svn: r11630
 2008-09-10 12:55:47 +00:00
Eli Barzilay
3570267c41 regenerate configure script; update README 
svn: r11629
 2008-09-10 09:53:49 +00:00
Eli Barzilay
f865a37c3d Welcome to a new PLT day. 
svn: r11628
 2008-09-10 07:50:16 +00:00
Stevie Strickland
594c89f8c4 Doesn't take an event, just the button being clicked. 
svn: r11627
 2008-09-10 02:38:45 +00:00