blob: 06e3c702e864ab435b18683e6877cab145f3491c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
--- Agda-2.3.0.1-orig/Agda.cabal 2012-03-12 21:09:34.000000000 +1100
+++ Agda-2.3.0.1/Agda.cabal 2012-04-01 11:54:47.565833931 +1000
@@ -77,7 +77,7 @@
build-depends: epic >= 0.1.13 && < 0.10
build-depends: mtl == 2.0.*,
QuickCheck >= 2.3 && < 2.5,
- haskell-src-exts >= 1.9.6 && < 1.12,
+ haskell-src-exts >= 1.9.6 && < 1.14,
containers >= 0.1 && < 0.5,
pretty >= 1.0 && < 1.2,
directory >= 1.0 && < 1.2,
--- Agda-2.3.0.1-orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:27:52.058688415 +1000
+++ Agda-2.3.0.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:30:42.732658634 +1000
@@ -466,8 +466,11 @@
]
where
parse = HS.parseWithMode
+#if MIN_VERSION_haskell_src_exts(1,13,0)
+ HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]}
+#else
HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]}
-
+#endif
ok (HS.ParseOk d) = d
ok HS.ParseFailed{} = __IMPOSSIBLE__
|
GitWeb
