[Agda] () is not a valid expression

J.Burton at brighton.ac.uk J.Burton at brighton.ac.uk
Tue Nov 18 23:57:11 CET 2008


Hi, I pulled agda and the libraries from darcs just now, rebuilt agda and get this error when importing Data.Bool:

/home/jim/agda/lib/Data/Bool.agda:65,25-27
() is not a valid expression.
when scope checking ()

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?

Thanks,

Jim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081118/20756e73/attachment.html


More information about the Agda mailing list