[Agda] Tricks to limit the memory consumption?

[kahl at cas.mcmaster.ca]

On Mon, Jan 10, 2011 at 12:59:32PM +0100, Nils Anders Danielsson wrote:
> On 2011-01-10 01:23, gallais @ EnsL.org wrote:
> > - use « open import ... using ... » in order to avoid loading too much
> >   lemmas
> 
> I wouldn't expect this to have any noticeable effect.

However, not importing a module that is not actually used
does have some effect --- are there any plans to add something
like GHC's -fwarn-unused-imports? I have been missing this
essentially since I started using Agda...
(Or is it already there and I haven't found it?)


Wolfram