[Agda] blowUpSparseVec error
Darryl McAdams
psygnisfive at yahoo.com
Mon Mar 18 11:58:29 CET 2013
I only have what 'cabal install agda' installs. How would I install the dev version?
- darryl
________________________________
From: Nils Anders Danielsson <nad at chalmers.se>
To: Darryl McAdams <psygnisfive at yahoo.com>
Cc: Agda List <agda at lists.chalmers.se>
Sent: Monday, March 18, 2013 6:15 AM
Subject: Re: [Agda] blowUpSparseVec error
On 2013-03-18 09:42, Darryl McAdams wrote:
> http://hpaste.org/84240
>
> yields the error
>
> blowUpSparseVec (n = 2) aux i=3 j=3 length l = 2
>
> when the holes on the last few lines are given the values inside the {! !}
>
> This is with the most recent install of agda. Is there any fix to this?
This looks related to some recently reported bugs:
http://code.google.com/p/agda/issues/detail?id=754
http://code.google.com/p/agda/issues/detail?id=787
Do you have the most recent development version?
--
/NAD
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130318/45538cf5/attachment.html
More information about the Agda
mailing list