Vincent St-Amour
ee29d371c9
Updated TR's base type environment to use the new numeric types.
...
This ended up being an almost complete rewrite of the base environment.
Note: While the commit is dated Jan 27, the work was finished on Mar 2.
2011-03-18 10:25:21 -04:00
Vincent St-Amour
bf6379c363
Add a helper function to add filters en masse to express propositions
...
that are true about a function's arguments if the function returns.
2011-03-18 10:25:20 -04:00
Vincent St-Amour
88fac43d55
Add an Exact-Number type.
2011-03-18 10:25:20 -04:00
Vincent St-Amour
80a9027f1e
Take the meet of constraints earlier in the inference process.
...
This avoids constraint explosions in some cases, notably when working
with polydots and plain variable arity functions at the same time.
However, this also weakens inference a bit (breaks it for
unholy-terror and related tests), but not in a way that affects any
practical use cases that I know of.
2011-03-18 10:25:19 -04:00
Vincent St-Amour
d0bab99535
Move subtype check in inference engine earlier, for performance reasons.
2011-03-17 18:43:59 -04:00
Vincent St-Amour
e450e2815b
Share dotted variables to make inference faster.
2011-03-17 18:43:58 -04:00
Vincent St-Amour
bd301912c0
Remove duplicate constraints when taking their meet.
2011-03-17 18:43:58 -04:00
Vincent St-Amour
3d43724e4c
Share TR responsibility with samth.
2011-03-17 18:43:58 -04:00
Vincent St-Amour
f8528ac892
Change type of make-sequence to reflect changes to its implementation.
2011-03-17 18:43:57 -04:00
Ryan Culpepper
bf591d4d01
syntax/parse: added #:disable-colon-notation option
2011-03-17 13:47:38 -06:00
Ryan Culpepper
b5154b444f
syntax/parse: docs for define-simple-macro
2011-03-17 13:47:38 -06:00
Ryan Culpepper
012746540c
syntax/parse: added define-simple-macro form (needs docs)
2011-03-17 13:47:38 -06:00
Ryan Culpepper
1353d40612
syntax/parse: allow zero syntax-parse clauses and zero syntax-class variants
2011-03-17 13:47:38 -06:00
Robby Findler
d0d2285c4c
Adjust the dependencies in redex/pict so it doesn't depend on racket/gui/base anymore
2011-03-17 13:35:32 -05:00
Robby Findler
6e1ffc24cf
fix some for-label requires
2011-03-17 13:35:31 -05:00
Kevin Tew
5b0f12b1c1
Cleanup CollectsQueue get-job
2011-03-17 11:47:11 -06:00
Vincent St-Amour
35161a0ba6
Fix expected optimization logs to reflect changes to for.
2011-03-17 13:10:19 -04:00
Vincent St-Amour
498ee4bea1
Fix TR's GUI test harness.
2011-03-17 13:10:19 -04:00
Vincent St-Amour
fe8f1c3591
Fix contract.
2011-03-17 13:10:19 -04:00
Vincent St-Amour
e9789c6697
Fix the 2-argument case of atan to conform to the documentation and
...
fix the documentation.
2011-03-17 13:10:19 -04:00
Kevin Tew
f7caad524b
[Places] fix symbol -> byte string conversions
2011-03-17 09:58:23 -06:00
Matthew Flatt
ded23a4f75
fix PSMTabBarControl sizes again
...
- previous fix changed x86 instead of intended ppc line
2011-03-17 06:35:23 -06:00
Matthew Flatt
ad8e959a98
tweak performance of `for' with non-inlined sequences
2011-03-16 17:02:53 -06:00
Matthew Flatt
c51daeb392
clean up sequence & generator tests
2011-03-16 16:21:26 -06:00
Matthew Flatt
4b39efdee4
fix `syntax-local-bind-syntaxes' argument checking
...
Closes PR 11808
2011-03-16 06:36:48 -06:00
Matthew Flatt
0efcf22ed4
racket/generator: clean-ups, including planned generalization
...
- syntax is now (generator formals body ...+)
- add `generator?'
- remove common run-time code from the `generator' macro expansion
- doc fixes
- start test suite
2011-03-15 20:14:01 -06:00
Matthew Flatt
056a3fb588
fix lib size for ppc-macosx
2011-03-15 16:16:48 -06:00
Matthew Flatt
b9c4bbae67
futures: limit parallelism via custodians
...
Closes PR 11682
2011-03-15 14:43:18 -06:00
Matthew Flatt
6a79ebdc97
adjust racket/gui test to cover no-border tab-panel%
2011-03-15 12:44:11 -06:00
Matthew Flatt
7ecf8e6c0b
cocoa: fix crashing bug related to canvas sizing
2011-03-15 12:42:04 -06:00
Matthew Flatt
a2d968a5d2
fix `init-manual-scrollbars'
...
Closes PR 11781
2011-03-15 12:41:59 -06:00
Matthew Flatt
17a1322fe5
match': document var' pattern
2011-03-15 12:25:53 -06:00
Matthew Flatt
03e42ce618
revese accidental change in 28be0c6e89
2011-03-15 11:12:50 -06:00
Matthew Flatt
343b6fb008
Scribble: fix caching of hyperlinked identifiers
2011-03-15 11:09:10 -06:00
Eli Barzilay
64e4b73a9f
Minor typo and other small things.
2011-03-15 11:46:16 -04:00
Eli Barzilay
09698c800c
Improve the error message from scribble text rendering tests.
2011-03-15 11:45:40 -04:00
Robby Findler
28be0c6e89
adjust the size calculation of picts in the file/convertible connection to take into account the current-ps-setup's scale
2011-03-15 09:00:37 -05:00
Matthew Flatt
e8cb27c08c
add `get-device-scale' to dc<%>
2011-03-15 07:37:42 -06:00
Matthew Flatt
3207efddb0
fix Scribble Latex/PDF handling of images w/o bounding boxes
2011-03-15 07:20:36 -06:00
Matthew Flatt
2f907afde6
code clarification
2011-03-15 06:46:36 -06:00
Matthew Flatt
93e10989fd
export scheme_on_demand_jit_code
2011-03-15 06:43:53 -06:00
Robby Findler
615bc86668
added pdf-bytes+bounds to the docs for file/convertible and then used it
...
to make scribble render inline picts with a nearly good looking baseline
2011-03-14 19:38:29 -05:00
Robby Findler
bd3a43db98
changed some nonnegative-real?'s into (and/c real? (not/c negative?))'s
2011-03-14 19:38:24 -05:00
Robby Findler
466abb9896
typo
2011-03-14 19:38:18 -05:00
Kevin Tew
867ae7fd8b
[Places] places enabled builds now use places to build collects
2011-03-14 11:46:50 -06:00
Matthew Flatt
991745108c
Scribble: experiment with non-bold as syntactic-form font
2011-03-13 09:02:41 -06:00
Matthew Flatt
5d481c259b
fix inexact number printing when LC_NUMERIC locale is not "C"
...
Relevant to PR 11802
2011-03-13 09:02:40 -06:00
Matthew Flatt
0101d12d49
hyperlink #<void> and #<undefined> in docs
2011-03-13 09:02:40 -06:00
Matthew Flatt
cf69cb2aff
special treatment of void as 'inferred-name property
...
allows keyword-based application to hide temporary
names that happen to be bound to procedure arguments
2011-03-13 09:02:39 -06:00
Matthew Flatt
3fb4561a62
scribble/manual: document `this-obj'
2011-03-13 09:02:39 -06:00
