I do not buy this argument: the user didn't write the compiler but they
wrote the contract.
Robby
On Monday, July 14, 2014, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote:
> 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 <javascript:;>>
> 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 <javascript:;>> 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
