[Agda] broken

[Nils Anders Danielsson]

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