[Agda] Agda-2.1.3 build error
Ruben Henner Zilibowitz
rzilibowitz at yahoo.com.au
Wed Jun 4 11:49:05 CEST 2008
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
Regards,
Ruben Zilibowitz
More information about the Agda
mailing list