Robby Findler
e381814d7e
set up support for contract obligation information in drracket (altho the actual
...
function that computes the obligation is currently random)
2010-07-09 15:03:41 -05:00
Robby Findler
f7c1a97c0b
Added syntax properties to provide/contract so that the contracts on exported variables can be recovered from the fully expanded program.
2010-07-09 15:03:41 -05:00
Sam Tobin-Hochstadt
e28b60e44f
remove debugging printf
2010-07-09 14:06:46 -04:00
Sam Tobin-Hochstadt
d030d0631d
Fix missing unquote
2010-07-09 13:52:39 -04:00
Sam Tobin-Hochstadt
a84796d8d7
add variance helper functions
2010-07-09 13:52:39 -04:00
Sam Tobin-Hochstadt
c6fb95d44d
add `make-constant'
2010-07-09 13:52:39 -04:00
Sam Tobin-Hochstadt
898c92eb1e
generalize inferred types for invariant positions
2010-07-09 13:52:39 -04:00
Matthew Flatt
bf6db901c6
fix props
2010-07-09 11:07:48 -06:00
Matthew Flatt
cdf67d884f
fix info-domain updating to recognize "info.ss" in addition to "info.rkt"
...
which solves the problem of forgetting a Planet-based tool when a
new Planet-based tool is installed (if the old tool used "info.ss"
instead of "info.rkt")
2010-07-09 10:23:05 -06:00
Matthew Flatt
20bb4a8dfa
change plt-single-installer to not create processes
2010-07-09 10:22:38 -06:00
Matthew Flatt
195b37831b
fix `planet'-path bug in module-name resolver for generated eecutables
2010-07-09 09:48:41 -06:00
Matthew Flatt
41551a4987
adjust raco planet help output to fit in 80 columns
2010-07-09 06:44:34 -06:00
Matthew Flatt
fe0609673c
clean up
2010-07-09 06:44:33 -06:00
Eli Barzilay
e06b2db4c7
New Racket version 5.0.0.9.
2010-07-09 03:50:26 -04:00
Matthew Flatt
2a0bc393c0
fix bug in GIF and BMP loading for X
2010-07-08 19:40:21 -06:00
Matthew Flatt
c7c8f56e11
fix validation of module .zo exp-time content, and fix zo-marshal
2010-07-08 17:17:42 -06:00
Vincent St-Amour
8505bd8bca
Removed a stray TODO comment.
2010-07-08 18:29:16 -04:00
Vincent St-Amour
dbda43ac6b
Pushed optimizations to auxiliary syntax classes.
2010-07-08 18:29:15 -04:00
Vincent St-Amour
c3f46cc8a6
Refactoring of the optimizer.
2010-07-08 18:29:15 -04:00
Vincent St-Amour
24aad77da3
Moved Typed Scheme's optimizer to its own subdirectory.
2010-07-08 18:29:15 -04:00
Kevin Tew
85098c5290
Parallel-build fixes for ctrl-c/break
2010-07-08 15:51:10 -06:00
Kevin Tew
3a9eee936a
Remove raco commands and old dag impl
2010-07-08 14:41:52 -06:00
Matthew Flatt
0eeb18f4d8
Improve the bytecode optimizer's ability to simplify `letrec's
...
to smaller `letrec' groups or even `let*'.
The goal of the change is to avoid performance surprises
when using internal definitions, especially when mixing
experessions with definitions.
It's a somewhat scary change. Besides the new transformation,
the optimizer pass's coordinate system for `letrec' (and sometimes
`let*') bindings changed.
No standard benchmarks were harmed during the making of this
optimization. (None were improved, either.)
2010-07-08 13:43:40 -06:00
Eli Barzilay
56077a1386
New Racket version 5.0.0.8.
2010-07-08 03:50:27 -04:00
Vincent St-Amour
ea8523bd63
Fixed pessimization of some complex code.
2010-07-07 22:08:51 -04:00
Vincent St-Amour
12a427f5ea
Changed the size of the maze2 benchmark.
2010-07-07 20:46:06 -04:00
Vincent St-Amour
3334d71491
Fixed the fft benchmark.
2010-07-07 19:42:56 -04:00
Vincent St-Amour
7853d33349
Improved unboxed complex operations.
...
Intermediate results are kept as unboxed floats as long as we stay
within complex arithmetic code.
2010-07-07 19:42:56 -04:00
Vincent St-Amour
a46faaea40
Added format-unique-id to unstable/syntax.
2010-07-07 19:42:55 -04:00
Vincent St-Amour
7921074eef
Avoid boxing intermediate results when doing multiple complex
...
operations in a row.
However, because of values and let-values, we lose float unboxing.
If we have a single complex operation, this is much slower than my
previous implementation (though still faster than generic
operations). With 2 complex operations, the new implementation becomes
faster.
2010-07-07 19:42:55 -04:00
Vincent St-Amour
de52d2ce9f
Avoided duplicate computation in inexact complex division.
2010-07-07 19:42:55 -04:00
Vincent St-Amour
3fb69bc764
Generic inexact complex arithmetic operations are now replaced with
...
the right combinations of unsafe float operations.
2010-07-07 19:42:54 -04:00
Vincent St-Amour
e52d63ee68
Added an optimization for vector-length of known-length vectors.
2010-07-07 19:42:54 -04:00
Vincent St-Amour
eb7fc7a965
Have type ascriptions record the ascribed type in the type table.
2010-07-07 19:42:54 -04:00
Matthew Flatt
519d1ef8d1
make compiler slightly smarter about 0-value letrec-values bindings
...
which corresponds to code generated from experession that are
mixed with internal definitions
2010-07-07 13:56:16 -06:00
Matthew Flatt
54216b5ced
internal-definition contexts allow expressions mixed with definitions
...
while the new `#%stratified-body' form provides access to the old
convention
2010-07-07 13:56:16 -06:00
Matthew Flatt
a8062dc37d
fix docs on `raco make --no-deps'
...
Closes PR 11018
2010-07-07 13:56:16 -06:00
Robby Findler
070a39d902
fixed a bug in text's color argument, as noted in PR 10998
2010-07-07 13:42:40 -05:00
John Clements
c42d5c25c7
fixed typo introduced by search-and-replace
2010-07-06 18:42:47 -04:00
Robby Findler
a5d969607b
fixed PR 10998
2010-07-06 15:26:26 -05:00
Robby Findler
0ab512ce8c
cleaned up code example for make-root-area-container
2010-07-06 15:26:26 -05:00
Sam Tobin-Hochstadt
e865380f6f
Add typeof mappings only to original form.
2010-07-06 14:09:46 -04:00
Sam Tobin-Hochstadt
692a172474
Improve interface for `find-mutated-vars', now supports mutable *and* immutable versions.
2010-07-06 14:09:46 -04:00
Matthew Flatt
63ec520885
fix problem with Windows pipe writing
2010-07-06 10:59:16 -06:00
Kevin Tew
c9e84f9f67
[Parallel-Build] remove -u, -j 1 is uniprocessor, SETUP_OPTIONTS => PLT_SETUP_OPTIONS
2010-07-06 10:07:40 -06:00
Matthew Flatt
a6723283b8
fix empty-matching lexers
2010-07-06 07:15:19 -06:00
Matthew Flatt
763a010fd3
allow deletion of open files in Windows
2010-07-06 07:02:14 -06:00
Matthew Flatt
96a6f56572
fix problem sharing Windows file handles to subprocess
2010-07-06 06:49:59 -06:00
Matthew Flatt
77c615898a
more gitignores for Windows
2010-07-06 06:14:56 -06:00
Matthew Flatt
1e40e72652
fix non-futures build
2010-07-06 06:05:47 -06:00
