[Agda] agda syb 0.3 haskell platform 2011.2.0.1

[Mark Wright]

Hi,

I was wondering if there are any plans to make agda build with syb 0.3,
since syb 0.3 is part of the current haskell platform?  The reason I ask
is it is difficult to package agda on gentoo linux with agda depending
on syb 0.2.2, since syb 0.2.2 conflicts with the current haskell platform.

I tried tweaking the Agda.cabal file to loosen the dependency on syb,
but then it fails to build with syb 0.3 (compiler errors on code that
uses syb).

I also asked the gentoo devs about slotting syb, however this
is not feasible as ghc-6.12 ships syb-0.1, and slotting is always very
unpleasant especially for bundled with ghc libs.

Thanks, Mark