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
Ryan Culpepper ry...@ccs.neu.edu writes:
* Mike Sperber sper...@deinprogramm.de
- 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
4 matches
Mail list logo