[DHG_packages] 15/34: agda: Patch to build with ghc-8.0.2

Ilias Tsitsimpis iliastsi-guest at moszumanska.debian.org
Fri Jan 27 09:46:47 UTC 2017


This is an automated email from the git hooks/post-receive script.

iliastsi-guest pushed a commit to branch ghc-8.0.2
in repository DHG_packages.

commit 535cdfe7d414c2f3886700a2d94a9984de88c7c1
Author: Ilias Tsitsimpis <i.tsitsimpis at gmail.com>
Date:   Wed Jan 25 21:20:33 2017 +0200

    agda: Patch to build with ghc-8.0.2
---
 p/agda/debian/changelog         |  1 +
 p/agda/debian/patches/ghc-8.0.2 | 27 +++++++++++++++++++++++++++
 p/agda/debian/patches/series    |  1 +
 3 files changed, 29 insertions(+)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 6474325..6fea62c 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,6 +1,7 @@
 agda (2.5.1.1-4) unstable; urgency=medium
 
   * Bump bounds for newer directory, shipped with ghc-8.0.2.
+  * Patch to build with ghc-8.0.2.
 
  -- Ilias Tsitsimpis <i.tsitsimpis at gmail.com>  Wed, 25 Jan 2017 19:13:42 +0200
 
diff --git a/p/agda/debian/patches/ghc-8.0.2 b/p/agda/debian/patches/ghc-8.0.2
new file mode 100644
index 0000000..7fe4ed1
--- /dev/null
+++ b/p/agda/debian/patches/ghc-8.0.2
@@ -0,0 +1,27 @@
+Description: Fix build with GHC 8.0.2
+Author: Ryan Scott <ryan.gl.scott at gmail.com>
+Origin: upstream, https://github.com/agda/agda/commit/abcde448a31
+
+Index: b/src/full/Agda/Syntax/Abstract/Views.hs
+===================================================================
+--- a/src/full/Agda/Syntax/Abstract/Views.hs
++++ b/src/full/Agda/Syntax/Abstract/Views.hs
+@@ -1,5 +1,7 @@
+ {-# LANGUAGE CPP                       #-}
+ {-# LANGUAGE DefaultSignatures         #-}
++{-# LANGUAGE GADTs                     #-}
++{-# LANGUAGE NoMonoLocalBinds          #-}
+ {-# LANGUAGE NoMonomorphismRestriction #-}
+ {-# LANGUAGE PatternGuards             #-}
+ {-# LANGUAGE TupleSections             #-}
+@@ -90,8 +92,8 @@ deepUnscopeDecl d
+ class ExprLike a where
+   -- | The first expression is pre-traversal, the second one post-traversal.
+   recurseExpr :: (Applicative m) => (Expr -> m Expr -> m Expr) -> a -> m a
+-  default recurseExpr :: (Traversable f, Applicative m)
+-                      => (Expr -> m Expr -> m Expr) -> f a -> m (f a)
++  default recurseExpr :: (Traversable f, ExprLike a', a ~ f a', Applicative m)
++                      => (Expr -> m Expr -> m Expr) -> a -> m a
+   recurseExpr = traverse . recurseExpr
+ 
+   foldExpr :: Monoid m => (Expr -> m) -> a -> m
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
index 9039abd..8843266 100644
--- a/p/agda/debian/patches/series
+++ b/p/agda/debian/patches/series
@@ -1,3 +1,4 @@
 add-elpa-pkg-el-file.patch
 newer-edison-api
 newer-directory
+ghc-8.0.2

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git



More information about the Pkg-haskell-commits mailing list