Commit Graph

3255 Commits

Author SHA1 Message Date
Vincent St-Amour
2e0dd6467a Add support for close-call tests to the TR test harness. 2011-06-17 18:17:58 -04:00
Robby Findler
f8f289adc0 fix random place tests 2011-06-18 05:15:36 +08:00
Sam Tobin-Hochstadt
55a25a825a Disable this test. 2011-06-17 15:17:20 -04:00
Eric Dobson
0671945a8d Moved tests for equality to unit tests 2011-06-17 15:17:20 -04:00
Eric Dobson
b326269133 Moved new TR symbol testing into unit tests. 2011-06-17 15:17:20 -04:00
Eric Dobson
3a13cf0e78 Moved TR string testing to unit tests. 2011-06-17 15:17:20 -04:00
Eric Dobson
54a12afb49 Added types and some tests for port operations 2011-06-17 15:17:19 -04:00
Eric Dobson
c77e906c7a Added types and tests for equality operations. 2011-06-17 15:17:19 -04:00
Eric Dobson
2d152bac79 Added types and tests for raising and handling exceptions 2011-06-17 15:17:19 -04:00
Eric Dobson
4ba12dd20e Added types and tests for symbol operations 2011-06-17 15:17:19 -04:00
Eric Dobson
ab23db7b5b Added types and tests for string operations 2011-06-17 15:17:19 -04:00
Eli Barzilay
f6620d5754 Close the input port so that the file can be deleted on windows. 2011-06-17 13:19:24 -04:00
Matthew Flatt
7089a17ba2 fix `make-limited-input-port' limit tracking for committed peeks
and make the port thread-safe
2011-06-17 11:14:50 -06:00
Matthew Flatt
b1e47eba45 add `place-message-allowed?' and fix related problems
Closes PR 11983
2011-06-17 10:33:27 -06:00
Robby Findler
8e80af6f42 random testing for messages sent over place channels
related to PR 11983
2011-06-17 18:46:59 +08:00
Danny Yoo
d78fccb75b Fixing the comment-at-end-of-file bug (PR#11982) 2011-06-16 21:37:48 -04:00
Matthew Flatt
523cec90c6 fix JITted multi-valued `begin0' in a single-value context
and generate simpler code for constrained cases, including
 single-value contexts and ignored results

 Closes PR 11979
2011-06-16 18:16:02 -06:00
Vincent St-Amour
26541ffbbd Unify types and filter behavior of not and false?. 2011-06-16 18:08:44 -04:00
Stevie Strickland
477c5acb2a Fix names in test to make them test-specific. 2011-06-16 16:51:38 -04:00
Matthew Flatt
56423f330e `procedure-arity-includes?' reports #f for keyword-requiring procs
by default; a new optional argument restores the old behavior
  (but the default behavior is consistent with the old docs and with
  the vast majority of existing uses)

 The implementation is ugly for performance reasons. A new primitive
  `prop:arity-incomplete' property determines when to return #f for
  `procedure-arity-includes?' in default mode. A nicer implementation
  would be to redefine `procedure-arity-includes?' at the kw-proc level,
  but the bytecode optimizer's and JIT's treatment of the built-in
  `procedure-arity-includes?' is important. The implementation choice
  could be revisited after cross-module inlining is implemented.

 Closes PR 11978
2011-06-16 12:36:16 -06:00
Stevie Strickland
649fe2f276 Fix #%app bindings for `with-contract'-based contract forms.
Closes PR11975.
2011-06-16 14:25:01 -04:00
Matthew Flatt
a919062143 support progress evts in result of `make-limited-input-port'
and also adjust initial position in various port constructions
 to use `file-position' instead of `port-next-location'
2011-06-16 09:18:47 -06:00
Matthew Flatt
83d002a9aa fix interaction of `port-commit-peeked' and port positions
--- includes a small hack to the `make-input-port' protocol
     to specially handle a byte-string result as "true"
     from the `commit' proc
2011-06-16 08:17:14 -06:00
Sam Tobin-Hochstadt
eaa156554a Add contracts for `Sequenceof' values. 2011-06-15 17:02:09 -04:00
Kevin Tew
4176f093b8 place -> dynamic-place and place-wait return value fixes 2011-06-15 11:09:02 -06:00
Vincent St-Amour
e057e6a857 Optimize in typed regions. 2011-06-15 11:20:51 -04:00
Sam Tobin-Hochstadt
b76819a66e Wrap expected type. Closes PR 11980. 2011-06-14 19:05:16 -04:00
Eli Barzilay
be84425bd0 Rewrite compose' and add compose1'.
The new version fixes some problems with the previous one, most notably
it can create a keyworded function when the last input is is keyworded.
`compose1' is a restricted variant that requires single values in the
composed pipeline -- besides being potentially faster (probably more
if/when there is cross module inlining), it has a semantical
justification, similar to the restricting function call arguments to
return single values, with similar robustness benefits.  The
implementation of both is done in a generalized way, and the results can
be faster for both `compose' and `compose1'.  (Not by much -- 20% and
30% resp.)

One thing that it could do is to reduce the resulting arity to match the
last given function.  I didn't do this since it adds a significant
overhead to the result.  (No strong opinion on doing that...)
2011-06-14 19:02:30 -04:00
Eli Barzilay
e80308aa15 Make `test' messages show keyword arguments too. 2011-06-14 19:02:30 -04:00
Vincent St-Amour
2922821f3c Synthesize annotations for for/lists: if possible. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a5bccaffe1 Allow omitting type annotation in most of the for: forms. 2011-06-14 17:53:27 -04:00
Kevin Tew
939f0b1c0b rename place-dynamic to dynamic-place 2011-06-11 15:36:16 -06:00
Matthew Flatt
80c4396dc1 JIT-inline struct type property predicates and accessors 2011-06-11 08:35:34 -07:00
Eric Dobson
c7f9a80de8 TR: Changed type of port->list 2011-06-10 17:22:14 -04:00
Ryan Culpepper
c8a691490a syntax/parse: added literal-set->predicate
closes PR 11968
2011-06-10 13:22:26 -06:00
Kevin Tew
1473b7775f Places: rename place and place/anon 2011-06-10 11:07:01 -06:00
Matthew Flatt
8f6a4c5549 fix file suffix: ".rkt" for module files 2011-06-10 09:36:10 -07:00
Matthew Flatt
460504c852 add #:unless' to for' 2011-06-10 06:21:35 -07:00
Kevin Tew
21f7109204 Places: rename send receive to put get 2011-06-09 23:48:55 -06:00
Kevin Tew
dd4ee47ecd Cleanup place-channel benchmark use read-bytes 2011-06-09 23:48:25 -06:00
Kevin Tew
524b5ca50a Channels compared to dd 2011-06-07 13:53:37 -06:00
Eli Barzilay
17b6ffa731 Move thunk' from unstable/function' into `racket/function'.
Actually, the new `thunk' is a nullary function, which I think is very
popular expectation for the name.  Since there are possible uses for the
any-arity version, it's added too, as `thunk*'.
2011-06-07 03:38:06 -04:00
Eli Barzilay
a70ef57f02 Move identity' from unstable/function' into `racket/function'. 2011-06-07 03:38:06 -04:00
Eli Barzilay
2eb0a94677 Removed a bogus provide and two bogus tests.
(Which worked because the same functionality is part of `racket'.)
2011-06-07 03:38:06 -04:00
Vincent St-Amour
801354fa4a Add syntax-within? to unstable/syntax. 2011-06-02 18:37:42 -04:00
Matthew Flatt
bbfeb85440 mak argument to `make-immutable-hash' optional 2011-05-30 07:38:57 -06:00
Mike Sperber
c3d4e39630 Add DMdA teachpacks to documentation check.
Also, exclude obsolete DMdA exports from check.
2011-05-28 12:31:20 +02:00
Asumu Takikawa
f4aab53efa Added option/c for possibly #f values in unstable. 2011-05-26 00:37:06 -04:00
Asumu Takikawa
7f143f03ed Add impersonator-contract? along with docs/tests.
The impersonator-contract? function checks if its argument is
a contract that is neither flat nor a chaperone contract.
2011-05-26 00:37:05 -04:00
Tony Garnock-Jones
c888222fb6 Property accessors are now able to accept 1 or 2 arguments 2011-05-25 10:47:59 -04:00