diff options
Diffstat (limited to 'math/hs-Agda-stdlib/files')
| -rw-r--r-- | math/hs-Agda-stdlib/files/patch-lib.cabal | 18 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/files/patch-src_Size.agda | 21 |
2 files changed, 39 insertions, 0 deletions
diff --git a/math/hs-Agda-stdlib/files/patch-lib.cabal b/math/hs-Agda-stdlib/files/patch-lib.cabal new file mode 100644 index 000000000000..b2ee3bb15f56 --- /dev/null +++ b/math/hs-Agda-stdlib/files/patch-lib.cabal @@ -0,0 +1,18 @@ +--- lib.cabal.orig 2014-11-14 23:18:11 UTC ++++ lib.cabal +@@ -7,12 +7,12 @@ description: Helper programs. + executable GenerateEverything + hs-source-dirs: . + main-is: GenerateEverything.hs +- build-depends: base >= 4.2 && < 4.8, ++ build-depends: base >= 4.2 && < 4.9, + filemanip == 0.3.*, +- filepath >= 1.1 && < 1.4 ++ filepath >= 1.1 && < 1.5 + + executable AllNonAsciiChars + hs-source-dirs: . + main-is: AllNonAsciiChars.hs +- build-depends: base >= 4.2 && < 4.8, ++ build-depends: base >= 4.2 && < 4.9, + filemanip == 0.3.* diff --git a/math/hs-Agda-stdlib/files/patch-src_Size.agda b/math/hs-Agda-stdlib/files/patch-src_Size.agda new file mode 100644 index 000000000000..7b141b5a8577 --- /dev/null +++ b/math/hs-Agda-stdlib/files/patch-src_Size.agda @@ -0,0 +1,21 @@ +--- src/Size.agda.orig 2014-11-14 23:18:11 UTC ++++ src/Size.agda +@@ -6,13 +6,8 @@ + + module Size where + +-postulate +- Size : Set +- Size<_ : Size → Set +- ↑_ : Size → Size +- ∞ : Size +- +-{-# BUILTIN SIZE Size #-} +-{-# BUILTIN SIZELT Size<_ #-} +-{-# BUILTIN SIZESUC ↑_ #-} +-{-# BUILTIN SIZEINF ∞ #-} ++{-# BUILTIN SIZEUNIV SizeUniv #-} -- sort SizeUniv ++{-# BUILTIN SIZE Size #-} -- Size : SizeUniv ++{-# BUILTIN SIZELT Size<_ #-} -- Size<_ : Size → SizeUniv ++{-# BUILTIN SIZESUC ↑_ #-} -- ↑_ : Size → Size ++{-# BUILTIN SIZEINF ∞ #-} -- ∞ : Size |