<div dir="ltr">Thanks!</div><div class="gmail_extra"> <div class="gmail_quote">On Wed, Mar 6, 2013 at 7:56 AM, Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> This morning build failed like this: tools.scrbl:782:65: defproc: expected a result contract, found a string in: "\n" So I added a void? contract for the range. Begin forwarded message: > From: <a href="mailto:matthias@racket-lang.org">matthias@racket-lang.org</a> > Subject: [plt] Push #26418: master branch updated > Date: March 6, 2013 8:55:23 AM EST > To: <a href="mailto:dev@racket-lang.org">dev@racket-lang.org</a> <div><div class="h5">> > matthias has updated `master' from e6dc9c28b4 to 74c3c130f0. > <a href="http://git.racket-lang.org/plt/e6dc9c28b4..74c3c130f0" target="_blank">http://git.racket-lang.org/plt/e6dc9c28b4..74c3c130f0</a> > > =====[ One Commit ]===================================================== > Directory summary: > 100.0% collects/scribblings/tools/ > > ~~~~~~~~~~ > > 74c3c13 Matthias Felleisen <<a href="mailto:matthias@racket-lang.org">matthias@racket-lang.org</a>> 2013-03-06 08:55 > : > | added a void contract to fix setup > : > M collects/scribblings/tools/tools.scrbl | 2 +- > > =====[ Overall Diff ]=================================================== > > collects/scribblings/tools/tools.scrbl > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > --- OLD/collects/scribblings/tools/tools.scrbl > +++ NEW/collects/scribblings/tools/tools.scrbl > @@ -779,7 +779,7 @@ Check Syntax is a part of the DrRacket collection, but is implemented via the to > @defmethod[(syncheck:add-definition-target [source-obj (not/c #f)] > [start exact-nonnegative-integer?] > [finish exact-nonnegative-integer?] > - [style-name any/c])]{ > + [style-name any/c]) void?]{ > > } > </div></div>_________________________ Racket Developers list: <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a> </blockquote></div> </div>