summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormarcellus <>2020-01-08 15:40:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2020-01-08 15:40:00 (GMT)
commit97e18f8c1e405a7ceba492eff012307fc55efc4c (patch)
treeec930d5df25726d7a7ab360fad92b4417f650b1c
parent5275156db30663447592c7d29689d3338f5e8f60 (diff)
version 0.2.0.10.2.0.1
-rw-r--r--call-alloy.cabal50
-rw-r--r--src/Language/Alloy/Call.hs2
2 files changed, 27 insertions, 25 deletions
diff --git a/call-alloy.cabal b/call-alloy.cabal
index 8c27d52..cf7c733 100644
--- a/call-alloy.cabal
+++ b/call-alloy.cabal
@@ -4,10 +4,10 @@ cabal-version: 1.12
--
-- see: https://github.com/sol/hpack
--
--- hash: 3585ba8d1d84b7d988b6fdc0cdb7917691a39aca577d4c3143aa2b8d79a3098d
+-- hash: dd057700e60aba8aee8cf2105303394e8c7934479b6057c438b6a3c423f514b4
name: call-alloy
-version: 0.2.0.0
+version: 0.2.0.1
synopsis: A simple library to call Alloy given a specification
description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
category: Language
@@ -44,17 +44,18 @@ library
src
build-depends:
base >=4.7 && <5
- , bytestring
- , containers
- , directory
- , file-embed
- , filepath
- , hashable
- , lens
- , mtl
- , process
- , split
- , trifecta
+ , bytestring >=0.10 && <0.11
+ , containers >=0.6 && <0.7
+ , directory >=1.3 && <1.4
+ , file-embed >=0.0.11 && <0.1
+ , filepath >=1.4 && <1.5
+ , hashable >=1.2 && <1.4
+ , lens >=4.17 && <4.19
+ , mtl >=2.2 && <2.3
+ , process >=1.6 && <1.7
+ , split >=0.2 && <0.3
+ , trifecta >=2 && <2.2
+ , unix >=2.7 && <2.8
if os(windows)
cpp-options: -DWINDOWS
build-depends:
@@ -82,19 +83,20 @@ test-suite call-alloy-test
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.7 && <5
- , bytestring
+ , bytestring >=0.10 && <0.11
, call-alloy
- , containers
- , directory
- , file-embed
- , filepath
- , hashable
+ , containers >=0.6 && <0.7
+ , directory >=1.3 && <1.4
+ , file-embed >=0.0.11 && <0.1
+ , filepath >=1.4 && <1.5
+ , hashable >=1.2 && <1.4
, hspec
- , lens
- , mtl
- , process
- , split
- , trifecta
+ , lens >=4.17 && <4.19
+ , mtl >=2.2 && <2.3
+ , process >=1.6 && <1.7
+ , split >=0.2 && <0.3
+ , trifecta >=2 && <2.2
+ , unix >=2.7 && <2.8
if os(windows)
cpp-options: -DWINDOWS
build-depends:
diff --git a/src/Language/Alloy/Call.hs b/src/Language/Alloy/Call.hs
index 2bfa76e..83b765e 100644
--- a/src/Language/Alloy/Call.hs
+++ b/src/Language/Alloy/Call.hs
@@ -54,7 +54,7 @@ import Language.Alloy.Parser (parseInstance)
import Language.Alloy.RessourceNames (alloyJarName, className, classPackage)
import Language.Alloy.Ressources (alloyJar, classFile)
import Language.Alloy.Types as Types
- (AlloyInstance, AlloySig, Entries, Signature)
+ (AlloyInstance, AlloySig, Entries, Object, Signature)
data CallAlloyConfig = Config {
alloyJarFile :: FilePath,