Your message dated Wed, 21 Jun 2017 01:55:19 +0300 with message-id <20170620225519.mda4savcy4h75g2v@localhost> and subject line haskell-dependent-sum FTBFS is fixed in 0.3.2.2-4 has caused the Debian Bug report #865313, regarding haskell-dependent-sum FTBFS: Couldn't match type `(forall (a1 :: k1). x := a1 -> b0) -> b0' to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 865313: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865313 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: haskell-dependent-sum Version: 0.3.2.2-3 Severity: serious Tags: buster sid https://buildd.debian.org/status/package.php?p=haskell-dependent-sum&suite=sid ... touch configure-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Building dependent-sum-0.3.2.2... Preprocessing library dependent-sum-0.3.2.2... [1 of 4] Compiling Data.GADT.Show ( src/Data/GADT/Show.hs, dist-ghc/build/Data/GADT/Show.o ) [2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist-ghc/build/Data/GADT/Compare.o ) src/Data/GADT/Compare.hs:61:30: error: * Couldn't match type `(forall (a1 :: k1). x := a1 -> b0) -> b0' with `forall b. (forall (a1 :: k1). x := a1 -> b) -> b' Expected type: [(forall b. (forall (a :: k1). x := a -> b) -> b, String)] Actual type: [((forall (a :: k1). x := a -> b0) -> b0, String)] * In the expression: return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) In an equation for `f': f (Refl, rest) = return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) In an equation for `greadsPrec': greadsPrec p s = readsPrec p s >>= f where f :: forall x. (x := x, String) -> [(forall b. (forall a. x := a -> b) -> b, String)] f (Refl, rest) = return ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest) * Relevant bindings include f :: (x := x, String) -> [(forall b. (forall (a :: k1). x := a -> b) -> b, String)] (bound at src/Data/GADT/Compare.hs:61:13) /usr/share/cdbs/1/class/hlibrary.mk:147: recipe for target 'build-ghc-stamp' failed make: *** [build-ghc-stamp] Error 1
--- End Message ---
--- Begin Message ---Version: 0.3.2.2-4 This FTBFs is fixed in 0.3.2.2-4 cu Adrian -- "Is there not promise of rain?" Ling Tan asked suddenly out of the darkness. There had been need of rain for many days. "Only a promise," Lao Er said. Pearl S. Buck - Dragon Seed
--- End Message ---
