ivory-stdlib 0.1.0.3 → 0.1.0.4

raw patch · 2 files changed

+6/−5 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• ivory-stdlib.cabal +6/−4
• src/Ivory/Stdlib/Memory.hs +0/−1

@@ -1,12 +1,12 @@ name:                ivory-stdlib-version:             0.1.0.3+version:             0.1.0.4 author:              Galois, Inc. maintainer:          leepike@galois.com copyright:           2013 Galois, Inc. category:            Language synopsis:            Ivory standard library. description:         A standard library for Ivory.-homepage:            http://smaccmpilot.org/languages/ivory-introduction.html+homepage:            http://ivorylang.org build-type:          Simple cabal-version:       >= 1.10 license:             BSD3@@ -16,7 +16,7 @@ source-repository    this   type:     git   location: https://github.com/GaloisInc/ivory-  tag:      hackage-stdlib-0103+  tag:      hackage-0.1.0.4  library   exposed-modules:      Ivory.Stdlib,@@ -29,7 +29,7 @@    other-modules:        Paths_ivory_stdlib -  build-depends:        base >= 4.6 && < 5,+  build-depends:        base >= 4.7 && < 5,                         filepath,                         ivory,                         ivory-artifact@@ -37,3 +37,5 @@   hs-source-dirs:       src   default-language:     Haskell2010   ghc-options:          -Wall+  if impl(ghc == 8.0.1)+    ghc-options:        -Wno-redundant-constraints

@@ -62,4 +62,3 @@   frLen = arrayLen from    mkIx ix = toIx (toOffset + fromIx ix)-