<div dir="ltr"><div>Thanks! I was worried I was doing something wrong, but IIUC these tests were just not enabled in DrDr.<br>Is there an easy way to know if some tests are enabled in DrDr?<br><br></div>Laurent<br></div><div class="gmail_extra">

<br><br><div class="gmail_quote">On Thu, Dec 19, 2013 at 3:02 AM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Thanks --- I've tracked down the problem and pushed repairs.<br>
<div class="HOEnZb"><div class="h5"><br>
At Tue, 17 Dec 2013 17:08:34 -0500, Greg Hendershott wrote:<br>
> I see the same.<br>
><br>
> Using HEAD (97ee349) today, built just now.<br>
><br>
> On Sat, Dec 14, 2013 at 9:47 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br>
> > Hi,<br>
> ><br>
> > After a fresh `git pull --ff-only` followed by `make`, I have 9 errors when<br>
> > running `raco test .` in scribble-test/tests/scribble/ like:<br>
> ><br>
> > reader.rkt:935:22: test failure<br>
> >   bad result in<br>
> >       @foo{ -@error-> #rx":1:0: missing closing `}'$"<br>
> ><br>
> >   results:<br>
> >     ("missing closing `}'") != (#rx":1:0: missing closing `}'$")<br>
> ><br>
> > [...]<br>
> > Looks like the location information is not included (anymore?) in the error<br>
> > message.<br>
> > Did I forget to rebuild something or do something, or is it not just me?<br>
> > (Note: some external packages did not build correctly, like an old<br>
> > cce-scheme, but that's not related, is it?)<br>
> ><br>
> > Laurent<br>
> ><br>
> > _________________________<br>
> >   Racket Developers list:<br>
> >   <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
> ><br>
> _________________________<br>
>   Racket Developers list:<br>
>   <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>