racket/collects/tests
Matthew Flatt cb88590dfb fix interaction of `procedure-arity-includes?' and other things
A arity-reduced procedure-valued `prop:procedure' was not handled
correctly, for example.

A good candidate for random testing? I had the right kind of test in
place, but only for an arity of 1. It turns out that testing any other
arity would have exposed the problem, so now there are tests with
arity 0. If I had randomly generated procedures instead of manually
constructing `f0' through `f1:+' in "procs.rktl", then maybe I would
have more naturally generalized the arity testing, too. Then again,
I did already have relevant inputs, and it was the testing of inputs
that was too specific.

Closes PR 12870
2012-06-25 17:30:03 -06:00
..
algol60 Added @literal-algol{} and started an algol60 test suite (apologies 2012-06-20 10:28:53 -05:00
compiler A bunch of fprintf' -> eprintf' conversions (and a few related things). 2012-05-06 12:06:00 -04:00
data
datalog adjust datalog so that syntax objects are not used as source location 2012-06-02 08:04:45 -05:00
db db: various fixes and additions 2012-05-09 09:17:52 -06:00
deinprogramm fix some tests related to the make-color' and make-pen' addition 2012-05-03 19:22:58 -06:00
drracket adjust the drracket language test suite for the new error messages 2012-06-11 14:04:05 -05:00
eopl Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
errortrace errortrace repair 2012-03-13 14:35:49 -06:00
file Streamline more test suits. 2012-05-24 11:27:13 -04:00
framework A bunch of fprintf' -> eprintf' conversions (and a few related things). 2012-05-06 12:06:00 -04:00
frtime
future fix some error-message tests 2012-06-23 05:21:52 -07:00
generic Rename generics => generic. 2012-05-24 16:51:14 -04:00
gracket racket/gui: fixed by-position widget initialization 2012-06-19 12:37:35 -04:00
honu [honu] assignment operators cooperate with the dot operator 2012-06-11 13:07:52 -06:00
htdp-lang restored object-name tests for the new doc system 2012-06-25 19:15:09 -04:00
html
jpr
lazy fix misc tests for error-message change 2012-05-26 08:18:19 -06:00
macro-debugger fix check-requires for submodules 2012-05-07 14:46:13 -06:00
match Allow multiple right hand sides in match/values. 2012-03-01 15:05:51 -05:00
mysterx
mzcom
net Streamline more test suits. 2012-05-24 11:27:13 -04:00
openssl openssl: more little fixes 2012-03-01 20:34:53 -07:00
plai fix misc tests for error-message change 2012-05-26 08:18:19 -06:00
planet fix Planet resolver for submodule tests 2012-04-19 08:15:11 -06:00
profile Leftover file that wasn't added with the `tests/profile' refactoring. 2012-05-24 11:53:03 -04:00
r6rs
racket fix interaction of `procedure-arity-includes?' and other things 2012-06-25 17:30:03 -06:00
racklog
rackunit
scribble fix some error-message tests 2012-06-23 05:21:52 -07:00
scriblib Fixing PR12779 2012-05-28 11:52:56 -06:00
slatex
srfi
stepper refactored to reduce stepper dependencies 2012-06-19 23:51:59 -07:00
stxparse more template improvements 2012-03-21 17:48:10 -06:00
syntax syntax/free-vars: fix quadratic behavior 2012-05-28 20:22:31 -06:00
syntax-color
test-engine
typed-racket Minor refactorings. 2012-06-25 18:07:45 -04:00
units "broke it's contract" -> "broke its contract" 2012-05-16 11:44:09 -04:00
unstable Add tests from unstable/generics. 2012-05-24 16:51:10 -04:00
utils
web-server New error message 2012-06-25 15:59:17 -06:00
xml generalize `xml/plist' to read/write any plist value 2012-04-10 16:38:54 -06:00
xrepl Use `scribble/text/wrap' in xrepl. 2012-05-06 05:38:04 -04:00
eli-tester.rkt Drop the now-redundant " " argument from existing uses of `string-join'. 2012-05-24 10:40:20 -04:00
info.rkt Don't compile test files. 2012-03-13 10:29:13 -04:00
run-automated-tests.rkt Don't compile test files. 2012-03-13 10:29:13 -04:00
stress.rkt
zo-path.rkt
zo-size.rkt