On Tue, Jul 29, 2014 at 12:47 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > On Jul 28, 2014, at 2:33 PM, Ryan Culpepper <ry...@ccs.neu.edu> wrote: > >> matthias: >> - add check-random (aec84f4a) > > > check-random is an addition to the preferred unit testing framework in > the teaching languages. It enables the testing of students' functions > that use random-number generation. (Thanks to David Van Horn (UMaryland) > for proposing this idea.) > > ;;; --- > > Some grammatical suggestions the UNDEFINED issue: > > >> Racket now raises ... > > Instead of the ubiquitous 'now' I'd prefer 'Racket v6.1 raises ...' > > ;;; --- > > .. in Robby's section: > > >> - contracts: improved random generation for contracts; the contract >> system can now easily find simple mistakes in data-structure >> implementations (eg accidentally reversing a conditional in a heap >> invariant check), given strong enough contracts > > - contracts: the contract system's random testing facility has been > strengthened so that it can easily find mistakes in contracted data > structure implementations (e.g. an accidental reverse of a conditional > in a heap invariant check)
Lets keep "simple" as in "easily find simple mistakes". > >> - redex: the semantics of mis-match patterns (variables followed by >> _!_) inside ellipses has changed in a backwards incompatible way; they >> semantics is now much clearer and now potentially even useful > > > .... this change simplifies the patterns' semantics and increases > the usefulness of these patterns > > > ;;; ---- > > +1 on plumbers, if only for the word :-) > > > > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
