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

Reply via email to