[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