Commit Graph

9111 Commits

Author SHA1 Message Date
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
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
Stevie Strickland
19ac32d5f6 Have the handin button match the styles of other toolbar buttons, including
correctly working when the toolbar is not horizontal.

svn: r11626
2008-09-10 02:34:37 +00:00
Eli Barzilay
f43990ee3b use sysv only on Windows (usable elsewhere, but its the default anyway)
svn: r11625
2008-09-10 02:22:59 +00:00
Eli Barzilay
bb470554a5 optimizations: use vectors instead of move-procs, avoid mapping symbols, tighten loops, use bytes, keep only min+max solutions etc
svn: r11624
2008-09-10 00:52:11 +00:00
John Clements
9c928f7e82 got mz tests working again
svn: r11623
2008-09-09 22:49:33 +00:00
John Clements
d7d9d32b26 moved mz tests to scheme/base
svn: r11622
2008-09-09 22:43:23 +00:00
John Clements
6547db5039 misspelling
svn: r11621
2008-09-09 22:10:17 +00:00
Sam Tobin-Hochstadt
5ac64589ba reorg 2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
dfeef03875 new dirs 2008-09-09 15:34:28 -04:00
Kevin Tew
6ba827d26d Make scheme_orig_*_port THREAD_LOCAL
svn: r11618
2008-09-09 15:57:30 +00:00