CSPM-cspm 0.7.0.0 → 0.8.0.0

raw patch · 3 files changed

+22/−19 lines, 3 filesdep ~CSPM-Frontenddep ~CSPM-Interpreterdep ~cmdargsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: CSPM-Frontend, CSPM-Interpreter, cmdargs, hslua, transformers

API changes (from Hackage documentation)

Files

• CSPM-cspm.cabal +16/−15
• src/CSPM/Lua.hs +3/−1
• src/Main/ExecCommand.hs +3/−3

@@ -1,10 +1,10 @@ Name:                CSPM-cspm-Version:             0.7.0.0+Version:             0.8.0.0  Synopsis:            cspm command line tool for analyzing CSPM specifications. Description:   cspm is a small command line tool for analyzing CSPM specifications.-  It supports several modes of operation.+  It supports serveral modes of operation.   For example as:   .   * 'cspm --help'      -> print a help message.@@ -30,29 +30,29 @@ category:            Language,Formal Methods,Concurrency License-File:        LICENSE Author:              Marc Fontaine-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>-cabal-Version:       >= 1.10+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>+cabal-Version:       >= 1.20 build-type:          Simple-Tested-With:         GHC == 7.6.3+Tested-With:         GHC == 7.8.3 Stability:           experimental  Executable cspm   Build-Depends:-    CSPM-Frontend >= 0.9 && < 0.10+    CSPM-Frontend >= 0.10 && < 0.11     ,CSPM-CoreLanguage >= 0.3 && < 0.4     ,CSPM-FiringRules >= 0.4 && < 0.5-    ,CSPM-Interpreter >= 0.6 && < 0.7+    ,CSPM-Interpreter >= 0.7 && < 0.8     ,CSPM-ToProlog >= 0.5 && < 0.6-    ,cmdargs >= 0.10 && < 0.11+    ,cmdargs >= 0.10.0 && < 0.11     ,xml >= 1.3 && < 1.4     ,containers >= 0.5 && < 0.6     ,parallel >= 3.2 && < 3.3     ,base >= 4.0 && < 5.0     ,pretty >= 1.1 && < 1.2-    ,transformers >= 0.3 && < 0.4+    ,transformers >= 0.3     ,syb >= 0.4 && <0.5     ,prettyclass >= 1.0 && < 1.1-    ,hslua == 0.3.6+    ,hslua >=0.3.12 && <0.4    GHC-Options:     -threaded -funbox-strict-fields -O2 -Wall -fno-warn-orphans@@ -82,21 +82,22 @@  Library   Build-Depends:-    CSPM-Frontend >= 0.9 && < 0.10+    CSPM-Frontend >= 0.10 && < 0.11     ,CSPM-CoreLanguage >= 0.3 && < 0.4     ,CSPM-FiringRules >= 0.4 && < 0.5-    ,CSPM-Interpreter >= 0.6 && < 0.7+    ,CSPM-Interpreter >= 0.7 && < 0.8     ,CSPM-ToProlog >= 0.5 && < 0.6-    ,cmdargs >= 0.10 && < 0.11+    ,cmdargs >= 0.10.0 && < 0.11     ,xml >= 1.3 && < 1.4     ,containers >= 0.5 && < 0.6     ,parallel >= 3.2 && < 3.3     ,base >= 4.0 && < 5.0     ,pretty >= 1.1 && < 1.2-    ,transformers >= 0.3 && < 0.4+    ,transformers >= 0.3     ,syb >= 0.4 && <0.5     ,prettyclass >= 1.0 && < 1.1-    ,hslua == 0.3.6+    ,hslua >=0.3.12 && <0.4+   GHC-Options:     -funbox-strict-fields -O2 -Wall -fno-warn-orphans   Default-Language: Haskell2010

@@ -70,7 +70,9 @@   , luaValueToProcess   , luaViewProofTree   ]-+  where +    returnIO :: a -> IO a+    returnIO = return  luaExportInfo :: Export luaExportInfo = Export "exportInfo" "information about exported functions"

@@ -33,7 +33,7 @@  import Language.CSPM.Frontend   (parseFile, frontendVersion-  ,eitherToExc, renameModule, castModule, lexIncludePath)+  ,eitherToExc, renameModule, castModule, lexInclude) import Language.CSPM.LexHelper (unicodeTokenString,asciiTokenString) import Language.CSPM.PrettyPrinter () @@ -76,7 +76,7 @@     ,"  cspm info",nl     ,"  cspm eval '3+2'",nl     ,nl-    ,"Copyright (c) Marc Fontaine 2007-2013",nl+    ,"Copyright (c) Marc Fontaine 2007-2014",nl     ,"Source code available at: http://hackage.haskell.org/package/CSPM-cspm",nl     ,"Email : Marc.Fontaine@gmx.de",nl     ]@@ -103,7 +103,7 @@           writeFile outFile $ prettyShow ast   when (isJust addUnicode || isJust removeUnicode) $ do     -- Token stream transformations-      tokens <- readFile src >>= lexIncludePath src >>= eitherToExc+      tokens <- readFile src >>= lexInclude >>= eitherToExc       whenJust addUnicode $ \outFile -> withFile outFile WriteMode          $ \handle -> do              hSetEncoding handle utf8