[Agda] Library not compiling for me
Nils Anders Danielsson
nils.anders.danielsson at gmail.com
Thu May 22 13:32:33 CEST 2008
On Thu, May 22, 2008 at 2:58 AM, Samuel Bronson <naesten at gmail.com> wrote:
>
> I just tried to change something in Data.Product, and now
> Relation.Binary.Consequences won't rebuild. As far as *I* can see,
> there is nothing wrong with the code -- the compilers complaint looks
> false...
The "make case now preserves variable names of the original clause"
patch breaks the library. Unpull that patch and you should be fine.
This has been reported
(http://code.google.com/p/agda/issues/detail?id=75).
> I think probably it's a compiler bug that wasn't caught because nobody
> did anything that resulted in that module being rebuilt since the bug
> was introduced.
Well, Ulf does not use that library.
--
/NAD
More information about the Agda
mailing list