[Agda] broken

[Ruben Henner Zilibowitz]

Yes that was the issue. Thanks. There was also a small problem  
compiling the binary because I had installed the library in a non- 
standard place. But once I fixed that the binary did compile normally.

Ruben

On 19/07/2008, at 9:06 PM, Nils Anders Danielsson wrote:

> On Sat, Jul 19, 2008 at 5:58 AM, Ruben Henner Zilibowitz
> <rzilibowitz at yahoo.com.au> wrote:
>>
>> Panic: Mismatch in number of constructors
>> when checking the pragma COMPILED_DATA Bool Bool True False
>
> My guess is that you did not force a recompilation of the Agda binary
> (in src/main; force by running "touch Main.hs" or "runhaskell Setup.hs
> clean" or "cabal clean" before rebuilding). The binary is statically
> linked to the main Agda library, and Cabal does not automatically
> rebuild things when their dependencies have changed. Hopefully this
> will be fixed in the future.
>
> -- 
> /NAD