[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