[Agda] () is not a valid expression

[Nils Anders Danielsson]

On 2008-11-18 22:57, J.Burton at brighton.ac.uk wrote:
> I saw the message from a week or two ago where someone had the same 
> problem and getting the latest versions was the fix, but I have them 
> already...Agda is from code.haskell.org/Agda and the libraries from 
> www.cs.nott.ac.uk/~nad/repos/lib.
> 
> Any ideas?

If you used Agda in batch mode, did you rebuild the batch mode tool in
src/main? (Cabal does not handle a library and an executable in the same
package very well, hence the current setup.) If that was not the problem
I would double-check that I was actually using the latest version of
Agda.

-- 
/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.