[Agda] Wish List

[Nils Anders Danielsson]

On 2009-09-22 15:29, Vag Vagoff wrote:
> * 2.2.4 compiler is SO SLOW (even on my 1.8 GHZ dual core processor with 
> 512 MB memory compilation takes more than 10 seconds)

10 seconds for what? The main problem with the compiler (as opposed to
the type checker) is that it works on normalised terms, which can be
huge.

> I put it on the Wiki. Did I missed something?

It may be better to file enhancement requests (one per feature) in the
bug tracker.

> How to pass types of closed values for closures correctly? It throws 
> messages like type E != type E' for naive approach.

If you explain your problem in more detail, then we may be able to help
you.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.