[Agda] Agda-2.1.3 build error
Ulf Norell
ulfn at cs.chalmers.se
Wed Jun 4 11:54:44 CEST 2008
On Wed, Jun 4, 2008 at 11:49 AM, Ruben Henner Zilibowitz <
rzilibowitz at yahoo.com.au> wrote:
> Hello,
>
> I am getting the following error trying to build Agda-2.1.3 using
> GHC-6.8.2. If anyone could help me solve it I'd appreciate it.
>
> [112 of 170] Compiling Agda.TypeChecking.Serialise (
> src/full/Agda/TypeChecking/Serialise.hs,
> dist/build/Agda/TypeChecking/Serialise.o )
>
> src/full/Agda/TypeChecking/Serialise.hs:136:23:
> Couldn't match expected type `((t, t1), t2)'
> against inferred type `Data.Binary.Put.PairS ((), PutState)'
> In the expression: B.unPut (S.runStateT (unPutT p) initialState)
> In a pattern binding:
> ((_, st), builder) = B.unPut (S.runStateT (unPutT p) initialState)
> In the definition of `runPut':
> runPut p = (B.toLazyByteString builder, getState)
> where
> ((_, st), builder) = B.unPut (S.runStateT (unPutT p)
> initialState)
> getState = IntMap.fromList $ map swap $ Map.toList $
> thingMap st
> swap (x, y) = (y, x)
> make: *** [dist/build-complete] Error 1
You need binary-0.4.1. The interface changed in binary-0.4.2.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080604/a0224314/attachment.html
More information about the Agda
mailing list