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 wrote:
> Thanks --- I've tracked down the problem and pushed repairs.
>
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
pkgs/pl
On Thu, Dec 19, 2013 at 8:56 AM, Matthew Flatt wrote:
>
>> Is there an easy way to know if some tests are enabled in DrDr?
>
> Currently, the configuration is in
>
> pkgs/plt-services/meta/props
>
> but we need to move that information into individual collections (via
> "info.rkt" files, maybe).
Ryan Culpepper writes:
> * Mike Sperber
> - DMdA Tests
> - Stepper Tests
> - Signature Tests
Done.
--
Regards,
Mike
_
Racket Developers list:
http://lists.racket-lang.org/dev
Hi all: it's time to collect the release notes.
Unlike past times, I've done something slightly differently when collecting
information from the git logs. I tried to track every thing that looked
like user-visible change (that wasn't "obviously" just a bug report) that
either seemed worthy of the
5 matches
Mail list logo
