Thank you both for the info, I see that now.
Laurent
On Thu, Dec 19, 2013 at 3:32 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.eduwrote:
On Thu, Dec 19, 2013 at 8:56 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Is there an easy way to know if some tests are enabled in DrDr?
Currently, the
Thanks! I was worried I was doing something wrong, but IIUC these tests
were just not enabled in DrDr.
Is there an easy way to know if some tests are enabled in DrDr?
Laurent
On Thu, Dec 19, 2013 at 3:02 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Thanks --- I've tracked down the problem and
At Thu, 19 Dec 2013 09:16:24 +0100, Laurent wrote:
Thanks! I was worried I was doing something wrong, but IIUC these tests
were just not enabled in DrDr.
Right. They're now enabled.
Is there an easy way to know if some tests are enabled in DrDr?
Currently, the configuration is in
Thanks --- I've tracked down the problem and pushed repairs.
At Tue, 17 Dec 2013 17:08:34 -0500, Greg Hendershott wrote:
I see the same.
Using HEAD (97ee349) today, built just now.
On Sat, Dec 14, 2013 at 9:47 AM, Laurent laurent.ors...@gmail.com wrote:
Hi,
After a fresh `git pull
Hi,
After a fresh `git pull --ff-only` followed by `make`, I have 9 errors when
running `raco test .` in scribble-test/tests/scribble/ like:
reader.rkt:935:22: test failure
bad result in
@foo{ -@error- #rx:1:0: missing closing `}'$
results:
(missing closing `}') != (#rx:1:0:
5 matches
Mail list logo