diff options
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, 0 insertions, 11 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 deleted file mode 100644 index bae4ce30dd13..000000000000 --- a/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs +++ /dev/null @@ -1,11 +0,0 @@ ---- ./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__ |