[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Turn standalone tests into inline dependencies

Subject: Re: Turn standalone tests into inline dependencies
From: Chris Warburton
Date: Wed, 13 Dec 2017 10:46:01 +0000
In-reply-to: <860daff55a4d9972-0-artemis@nixos>
References: <860daff55a4d9972-0-artemis@nixos>

Done for the isacosy exploration of nat (+ and *). ALl of the others
were obsolete.

References:
- Turn standalone tests into inline dependencies
  - From: Chris Warburton

Prev by Date: Re: Remove obsolete tests
Next by Date: Re: Fix let bindings
Previous by thread: Turn standalone tests into inline dependencies
Next by thread: Mutual recursion seems to be broken
Index(es):
- Date
- Thread