I do not buy this argument: the user didn't write the compiler but they wrote the contract. <div> </div><div>Robby On Monday, July 14, 2014, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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, <<a href="javascript:;" onclick="_e(event, 'cvml', 'robby@racket-lang.org')">robby@racket-lang.org</a>> wrote: > robby has updated `master' from 737330deb6 to 1dda800ca2. > <a href="http://git.racket-lang.org/plt/737330deb6..1dda800ca2" target="_blank">http://git.racket-lang.org/plt/737330deb6..1dda800ca2</a> > > =====[ One Commit ]===================================================== > Directory summary: > 100.0% racket/collects/racket/contract/private/ > > ~~~~~~~~~~ > > 1dda800 Robby Findler <<a href="javascript:;" onclick="_e(event, 'cvml', 'robby@racket-lang.org')">robby@racket-lang.org</a>> 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?) </blockquote></div>