This seems like a situation where the new error message is potentially more confusing, even though it's technically more correct. There are lots of other caveats we could add ("assuming there isn't a compiler bug", etc) but I think adding them would make Racket harder to use.
Sam On Mon, Jul 14, 2014 at 9:11 AM, <ro...@racket-lang.org> wrote: > robby has updated `master' from 737330deb6 to 1dda800ca2. > http://git.racket-lang.org/plt/737330deb6..1dda800ca2 > > =====[ One Commit ]===================================================== > Directory summary: > 100.0% racket/collects/racket/contract/private/ > > ~~~~~~~~~~ > > 1dda800 Robby Findler <ro...@racket-lang.org> 2014-07-14 08:09 > : > | add contract-correct caveat to contract violation error messages > : > M racket/collects/racket/contract/private/blame.rkt | 1 + > > =====[ Overall Diff ]=================================================== > > racket/collects/racket/contract/private/blame.rkt > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > --- OLD/racket/collects/racket/contract/private/blame.rkt > +++ NEW/racket/collects/racket/contract/private/blame.rkt > @@ -320,6 +320,7 @@ > from-line > on-line > blaming-line > + " (assuming the contract is correct)" > at-line)) > > ;; combine-lines : (->* #:rest (listof (or/c string? #f))) string?) _________________________ Racket Developers list: http://lists.racket-lang.org/dev