diff options
| author | Gabor Pali <pgj@FreeBSD.org> | 2012-06-03 22:09:57 +0000 |
|---|---|---|
| committer | Gabor Pali <pgj@FreeBSD.org> | 2012-06-03 22:09:57 +0000 |
| commit | 08975e894244b9fa0e2b0c586398410a2fc655c4 (patch) | |
| tree | 50b98f159ca30292fb446d429cb75026f5d5b816 /math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs | |
| parent | b9c7b8d985f2bd48f41b662b779de262856bcd92 (diff) | |
| download | ports-08975e894244b9fa0e2b0c586398410a2fc655c4.tar.gz ports-08975e894244b9fa0e2b0c586398410a2fc655c4.zip | |
Notes
Diffstat (limited to 'math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs')
| -rw-r--r-- | math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs b/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs new file mode 100644 index 000000000000..bae4ce30dd13 --- /dev/null +++ b/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs @@ -0,0 +1,11 @@ +--- ./src/full/Agda/Compiler/MAlonzo/Compiler.hs.orig 2012-03-12 11:09:33.000000000 +0100 ++++ ./src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-08 22:51:55.000000000 +0200 +@@ -466,7 +466,7 @@ + ] + where + parse = HS.parseWithMode +- HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]} ++ HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]} + + ok (HS.ParseOk d) = d + ok HS.ParseFailed{} = __IMPOSSIBLE__ |