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) > - 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