| 1 |
gienah 12/04/01 02:18:07 |
| 2 |
|
| 3 |
Added: agda-2.3.0.1-haskell-src-exts-1.13.patch |
| 4 |
Log: |
| 5 |
Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 |
| 6 |
|
| 7 |
(Portage version: 2.1.10.52/cvs/Linux x86_64) |
| 8 |
|
| 9 |
Revision Changes Path |
| 10 |
1.1 sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch |
| 11 |
|
| 12 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch?rev=1.1&view=markup |
| 13 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch?rev=1.1&content-type=text/plain |
| 14 |
|
| 15 |
Index: agda-2.3.0.1-haskell-src-exts-1.13.patch |
| 16 |
=================================================================== |
| 17 |
--- Agda-2.3.0.1-orig/Agda.cabal 2012-03-12 21:09:34.000000000 +1100 |
| 18 |
+++ Agda-2.3.0.1/Agda.cabal 2012-04-01 11:54:47.565833931 +1000 |
| 19 |
@@ -77,7 +77,7 @@ |
| 20 |
build-depends: epic >= 0.1.13 && < 0.10 |
| 21 |
build-depends: mtl == 2.0.*, |
| 22 |
QuickCheck >= 2.3 && < 2.5, |
| 23 |
- haskell-src-exts >= 1.9.6 && < 1.12, |
| 24 |
+ haskell-src-exts >= 1.9.6 && < 1.14, |
| 25 |
containers >= 0.1 && < 0.5, |
| 26 |
pretty >= 1.0 && < 1.2, |
| 27 |
directory >= 1.0 && < 1.2, |
| 28 |
--- Agda-2.3.0.1-orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:27:52.058688415 +1000 |
| 29 |
+++ Agda-2.3.0.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:30:42.732658634 +1000 |
| 30 |
@@ -466,8 +466,11 @@ |
| 31 |
] |
| 32 |
where |
| 33 |
parse = HS.parseWithMode |
| 34 |
+#if MIN_VERSION_haskell_src_exts(1,13,0) |
| 35 |
+ HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]} |
| 36 |
+#else |
| 37 |
HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]} |
| 38 |
- |
| 39 |
+#endif |
| 40 |
ok (HS.ParseOk d) = d |
| 41 |
ok HS.ParseFailed{} = __IMPOSSIBLE__ |
Archives