CSPM-Interpreter 0.6.1.0 → 0.7.0.0

raw patch · 5 files changed

+13/−9 lines, 5 filesdep ~CSPM-Frontenddep ~arrayPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: CSPM-Frontend, array

API changes (from Hackage documentation)

+ CSPM.Interpreter.Types: instance Applicative EM

+ CSPM.Interpreter.Types: instance Functor EM

Files

CSPM-Interpreter.cabal +7/−7
src/CSPM/Interpreter/ClosureSet.hs +1/−0
src/CSPM/Interpreter/PatternCompiler.hs +1/−1
src/CSPM/Interpreter/SSet.hs +2/−0
src/CSPM/Interpreter/Types.hs +2/−1

CSPM-Interpreter.cabal view

@@ -1,5 +1,5 @@ Name:                CSPM-Interpreter-Version:             0.6.1.0+Version:             0.7.0.0  Synopsis:            An interpreter for CSPM Description:@@ -13,23 +13,23 @@ License:             BSD3 category:            Language,Formal Methods,Concurrency License-File:        LICENSE-Author:              2010 - 2013 Marc Fontaine-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>+Author:              2010 - 2014 Marc Fontaine+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de> Stability:           experimental-Tested-With:         GHC == 7.6.3+Tested-With:         GHC == 7.8.2 -cabal-Version:       >= 1.10+cabal-Version:       >= 1.20 build-type: Simple Extra-source-files: Library   Build-Depends:-    CSPM-Frontend >= 0.9 && < 0.10+    CSPM-Frontend >= 0.10 && < 0.11     ,CSPM-CoreLanguage >= 0.3 && < 0.4     ,prettyclass >= 1.0 && < 1.1     ,base >= 4.0 && < 5.0     ,containers >= 0.5 && < 0.6     ,mtl-    ,array >= 0.4 && <0.5+    ,array >= 0.5 && <0.6     ,syb >= 0.4 && < 0.5

src/CSPM/Interpreter/ClosureSet.hs view

@@ -32,6 +32,7 @@  memberPrefixTrie :: [Field] -> PrefixTrie -> Bool memberPrefixTrie [] PTNil = True+memberPrefixTrie (_:_) PTNil = False memberPrefixTrie _ (PTClosure _) = True memberPrefixTrie [] t   = throwInternalError ("memberPrefix : number of fields mismatch" ++ show t)

src/CSPM/Interpreter/PatternCompiler.hs view

@@ -143,7 +143,7 @@       VarPat _ -> Nothing       WildCard -> Nothing       Also patl -> do-        let l = map lengthOfListPattern patl+--         let l = map lengthOfListPattern patl         -- todo: check that all length are equal:         error "PatternCompiler.hs: lengthOfListPat : also pattern: todo"       _ -> error $ "PatternCompiler.hs: lengthOfListPat : no list pattern "

src/CSPM/Interpreter/SSet.hs view

@@ -30,6 +30,8 @@ import qualified Data.Set as Set import qualified Data.List as List +-- | 'SSet' (symbolic Set) a 'Set' which handels a empty set,a total set+-- | and the inverse of a set symbolically data SSet a=    Proper { fromProper :: (Set a)}  | Empty

src/CSPM/Interpreter/Types.hs view

@@ -32,6 +32,7 @@ import Data.IntMap as IntMap (IntMap,empty) import qualified Control.Monad.Reader as Reader import Control.Monad.Reader+import Control.Applicative (Applicative(..)) import Control.Exception import qualified Data.List as List import Data.Typeable@@ -156,7 +157,7 @@   }  newtype EM x = EM { unEM ::Reader Env x }-  deriving (Monad,MonadReader Env)+  deriving (Functor, Applicative, Monad, MonadReader Env)  getArgBindings :: Env -> Bindings getArgBindings = argBindings