Does it not make sense to you that someone might want to use htdp without
using the tests? As for the docs, the split there is so that someone can
produce a package that re-uses the implementation of the teaching languages
without focusing all clients to get and install the documentation. Think of
Eli is right in that I did not intend this directory to be a real test. It is
definitely misnamed. But it's no big deal so let's leave it as is.
[[ As I have written privately, I just do not understand the split of htdp into
three different packages but so be it. ]]
-- Matthias
On Aug 14,
I moved that because I thought it was a test. I thought it was a test
because of the directory name and because it has files that are not being
compiled.
(But I didn't check with Matthias specifically about that directory.)
Robby
On Wed, Aug 14, 2013 at 8:02 PM, Eli Barzilay wrote:
> Trying t
Trying to sort out some apparent mess in the props, I ran into this
possibly bad rename:
pkgs/htdp-pkgs/htdp-lib/2htdp/utest
-->
pkgs/htdp-pkgs/htdp-test/2htdp/utest
Before the move, the "utest" directory was not considered a test by
the old distribution rules (since it wasn't in a "t
4 matches
Mail list logo
