Commit Graph

17585 Commits

Author SHA1 Message Date
Vincent St-Amour
85550953c8 Removed unused exports. 2010-09-09 18:54:33 -04:00
Vincent St-Amour
7f546434ed Included expected optimization logs in the test files. 2010-09-09 18:54:33 -04:00
Robby Findler
a693efb677 a hack around a bug 2010-09-09 16:39:10 -05:00
Sam Tobin-Hochstadt
dca895c129 Minor edits to `for/vector' docs. 2010-09-09 17:08:09 -04:00
Will M. Farr
81b1ed6e8b New updates to for/vector, for*/vector, for/flvector and for*/flvector.
Now use for/fold to thread the index through the iteration form, so
that all variants can take advantage of the optional #:length
argument.  Previously, only the for/vector and for/flvector used the

The behavior when #:length does not match the number of iterations has
changed: iteration stops when either the vector is full, or the
requested number of iterations has been achieved, whichever comes
first.  If #:length is larger than the number of iterations performed,
then the remaining slots in the vector are filled with the default
argument of (make-vector ...), which is currently 0.
2010-09-09 16:23:04 -04:00
Will M. Farr
3d016150a3 Updates to for/vector, for/flvector forms and documentation.
- Now the faster forms take a #:length keyword to designate the length
  of the vector to pre-allocate.

- The for/[fl]vector forms take multiple body expressions and set the
  vector component to the value of the last one.

- When given a #:length argument, the for/vector and for/flvector
  forms check that the iteration is not exceeding the given length,
  raising exn:fail if it does.

- Test cases for the multiple body expressions and the exception for
  excessive iterations have been added.

- Doc modifications to bring the docs in line with the new forms.

- Doc modifications to note that the #:length versions of the form
*may* all the computation to be performed more efficiently, and
stating that it "is an error" if the given length-expr does not
produce a valid length for a vector that matches the number of
iterations for the loop.

- Note that no test is made for a number of loop iterations that is
  smaller than the given vector length.  Also, the for*/[fl]vector
  forms do not optimize when given a #:length argument.  These are
  areas for future improvement.
2010-09-09 16:22:53 -04:00
Sam Tobin-Hochstadt
c15871a028 Add additional require for identifiers in the residual program. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
00a8a85f9d Fix typechecker tests for new environment setup. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
5302b3e87c Remove requires for environments now handled dynamically. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
0ae9e0ff85 Add `require' to fix tests. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
bc6d8f98ed Avoid printing results of `define-hierarchy' 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
867f359274 Fix `require' for contracts. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
7a1b29c8f2 `require' changes 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
71ae5f0a6e Enable struct construction when not transforming. Necessary for testing. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
eea479b34a Fix `hash-name' to avoid collisions. 2010-09-09 16:08:04 -04:00
Sam Tobin-Hochstadt
b6b840076b Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
Sam Tobin-Hochstadt
de0e8bc81c Progress on delaying some environments. 2010-09-09 16:08:03 -04:00
Robby Findler
77bc1f1523 fixes PR 11178 2010-09-09 15:00:04 -05:00
Casey Klein
b787e41a79 Fixes definition-finder tests under DrDr 2010-09-09 14:32:03 -05:00
Robby Findler
2d1c4d1601 adjusted the guide to use ->i instead of ->d 2010-09-09 14:21:35 -05:00
Robby Findler
d419e8c12a changed the ->d contracts to ->i contracts 2010-09-09 14:21:35 -05:00
Robby Findler
711fe50641 made proc/doc recognize ->i contracts 2010-09-09 14:21:35 -05:00
Casey Klein
a773471b7e Strengthens the definition-finder tests 2010-09-09 13:42:15 -05:00
Robby Findler
72afa3d7b3 fixed the teachpack test suite for the new teachpack dialog 2010-09-09 13:17:27 -05:00
Casey Klein
f1be76f2e2 Special-cases DrRacket's definition-finder to find Redex metafunction definitions 2010-09-09 12:07:24 -05:00
Kevin Tew
82c3013b48 Places: Fix 1-copy allocator 2010-09-09 10:28:34 -06:00
Kevin Tew
324a0ce815 Places: check arguments 2010-09-09 10:28:34 -06:00
Kevin Tew
732c62b2a5 Places: benchmarks 2010-09-09 10:28:34 -06:00
Eli Barzilay
97dd4bc390 Move the contracts tests -- change the props too. 2010-09-09 12:23:08 -04:00
Eli Barzilay
ee587ce327 Move the contract stress tests into their proper place. 2010-09-09 12:22:03 -04:00
Eli Barzilay
8973e08fba Shuffle things around, to make the techreports page use the
download/data, instead of duplicating that information.
2010-09-09 12:16:59 -04:00
Eli Barzilay
35f77f61ad Spit out a warning if there are no files rendered.
Fix a reference to meta/web to be symbolic -- otherwise things can get
confused when symlinks are used, ending up with two instances of a
single modeule (once for the symbolic reference and one for a relative
one).  It's still best to avoid symlinks, though.

Simplify version specs in the techreports code, re-enable continue
reference, some reformatting.
2010-09-09 12:16:59 -04:00
Eli Barzilay
80d21c522d Make the static table page always be visible. 2010-09-09 12:16:59 -04:00
Robby Findler
7b3d748974 adjusted props for new file 2010-09-09 09:34:24 -05:00
Robby Findler
ba78b8389b added a test to show a performance problem in the contract library 2010-09-09 09:29:42 -05:00
Robby Findler
31685bc496 Adjusted 2htdp/image's frame primitive so that it does not draw
outside of the bounding box.
2010-09-09 06:58:55 -05:00
Mike Sperber
9d35548997 Unbreak `list-of'. 2010-09-09 13:17:22 +02:00
Mike Sperber
bc67750cbd Merge branch 'master' of git.racket-lang.org:plt 2010-09-09 11:58:31 +02:00
Mike Sperber
3f8b2e6ea2 Provide built-in `computer' record type for DMdA.
`chocolate-cookie' has been wildly unpopular, so we'll try this next semester.

Also, clean up the `provide' forms for the chocolate cookies.
2010-09-09 11:56:42 +02:00
Mike Sperber
8611cd8731 Zap `begin' from DMdA-beginner and DMdA-vanilla. 2010-09-09 11:32:37 +02:00
Mike Sperber
c47ad74b1b Move the prim-op-defns of the DMdA-vanilla docs to right place. 2010-09-09 11:28:59 +02:00
Mike Sperber
d874065e26 Zap let, letrec, let* from DMdA-beginner language. 2010-09-09 11:22:57 +02:00
Mike Sperber
050f0a141b Add `list-of' signature to DMdA languages. 2010-09-09 11:12:33 +02:00
John Clements
93ee20e290 mods to sndfile.rkt 2010-09-08 16:55:48 -07:00
Robby Findler
41e4470f23 closes PR 11134 2010-09-08 17:03:11 -05:00
Casey Klein
8fae368376 Ignores prototype Redex pattern compiler 2010-09-08 14:12:47 -05:00
Casey Klein
14ceb68b92 Adds functions for testing pattern compiler 2010-09-08 14:12:47 -05:00
Steven Jaconette
f5482e5703 Initial compiler model (includes low level pattern language model and redex to low level lanaguage compiler) 2010-09-08 14:12:47 -05:00
Sam Tobin-Hochstadt
837291a793 simplify requires 2010-09-08 13:20:34 -04:00
Sam Tobin-Hochstadt
120a1d0d87 Load typechecker dynamically to reduce footprint. 2010-09-08 13:20:34 -04:00