Re: GHC 8.0.2

[Ilias Tsitsimpis <i.tsitsimpis@gmail.com>]

Hi Gianfranco

On Tue, Jan 24, 2017 at 11:03AM, Gianfranco Costamagna wrote:
> >that is true for the the three packages affected according to Ilias
> >(and any missed packages). The others just need a binNMU.
> I had to bump:
> haskell-cabal from 1.24.1.0 to 1.24.2.0
> 
> haskell-dependent-sum from 0.3.2.2 to 0.4 to fix a FTBFS
> 
> https://launchpad.net/ubuntu/+source/haskell-dependent-sum/0.3.2.2-3build1
> 
> I don't want to upload the latter, because I'm not sure if 0.4 will break reverse-dependencies,
> according to hackage:
> https://hackage.haskell.org/package/dependent-sum-0.4
> 
> Debian:0.2.1.0, LTSHaskell:0.3.2.2, NixOS:0.4, Stackage:0.4, Tumbleweed:0.3.2.2
> 
> so, aren't we following LTSHaskell? How can the package build with ghc 8.0.2
> it  is used by 15 packages, I don't want to propagate a bad new release to next levels.

I have start building the whole stack locally, since this is the only
way to be sure that everything works with the latest ghc.

So far, I had to patch the following packages:

haskell-dependent-sum (FTBFS)
haskell-cabal (newer directory)
hasktags (newer directory)
haskell-filestore (newer directory)
haskell-snap-templates (newer directory)
haskell-vector-algorithms (FTBFS)
haskell-concurrent-output (newer directory)

Up until now, I have not updated any package to a newer version.
The patch I used for haskell-dependent-sum is:

diff --git a/p/haskell-dependent-sum/debian/patches/build_with_ghc-8.0.2.patch b/p/haskell-dependent-sum/debian/patches/build_with_ghc-8.0.2.patch
new file mode 100644
index 0000000..44c92eb
--- /dev/null
+++ b/p/haskell-dependent-sum/debian/patches/build_with_ghc-8.0.2.patch
@@ -0,0 +1,13 @@
+Index: b/src/Data/GADT/Compare.hs
+===================================================================
+--- a/src/Data/GADT/Compare.hs
++++ b/src/Data/GADT/Compare.hs
+@@ -58,7 +58,7 @@ instance GRead ((:=) a) where
+     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)
++            f (Refl, rest) = [((\x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)]
+ 
+ -- |A class for type-contexts which contain enough information
+ -- to (at least in some cases) decide the equality of types 
diff --git a/p/haskell-dependent-sum/debian/patches/series b/p/haskell-dependent-sum/debian/patches/series
new file mode 100644
index 0000000..764bfbf
--- /dev/null
+++ b/p/haskell-dependent-sum/debian/patches/series
@@ -0,0 +1 @@
+build_with_ghc-8.0.2.patch


I will report back once the build has finished.

-- 
Ilias