RE: Cannot instantiate unification variable

2013-11-26 Thread Simon Peyton-Jones
: Cannot instantiate unification variable | | Hi, | | Recent GHC head on 32bit Linux cannot build conduit-1.0.9.2. (See the | attached log.) A while ago, GHC head on 32bit Linux could build it. | The same GHC head on 64bit Linux can build it. | | Michael Snoyman suggested me to add ImpredicativeTypes

Cannot instantiate unification variable

2013-11-25 Thread 山本和彦
... Preprocessing library conduit-1.0.9.2... [2 of 8] Compiling Data.Conduit.Internal ( Data/Conduit/Internal.hs, dist/build/Dat a/Conduit/Internal.o ) Data/Conduit/Internal.hs:211:105: Cannot instantiate unification variable ‛b0’ with a type involving foralls: (forall a. m1 a - n1