[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