packages feed

CSPM-CoreLanguage 0.1.0.2 → 0.2.0.3

raw patch · 4 files changed

+21/−18 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ CSPM.CoreLanguage.Process: Exception :: (EventSet i) -> (Process i) -> (Process i) -> Process i

Files

CSPM-CoreLanguage.cabal view
@@ -1,5 +1,5 @@ Name:                CSPM-CoreLanguage-Version:             0.1.0.2+Version:             0.2.0.3 Synopsis:            Definition of a FDR-compatible CSP core-language.  Description:   This package contains an interface for a CSP core-language.@@ -13,22 +13,24 @@ Category:            Language,Formal Methods,Concurrency License:             BSD3 License-File:        LICENSE-Author:              2010 Marc Fontaine+Author:              2010 - 2011 Marc Fontaine Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de> Homepage:            http://www.stups.uni-duesseldorf.de/~fontaine/csp Stability:           experimental-Tested-With:         GHC == 6.12.2--cabal-Version:       >= 1.6-Build-Depends: base >= 4.0 && < 5.0+Tested-With:         GHC == 7.0.2+Cabal-Version:       >= 1.10+Build-Type:          Simple -build-type: Simple-GHC-Options: -funbox-strict-fields -O2 -Wall-Hs-Source-Dirs:         src+Library+  Build-Depends:+    base >= 4.0 && < 5.0+  Default-Language: Haskell2010+  GHC-Options: -funbox-strict-fields -O2 -Wall+  Hs-Source-Dirs:         src -Exposed-modules:-  CSPM.CoreLanguage-  CSPM.CoreLanguage.Event-  CSPM.CoreLanguage.Process-  CSPM.CoreLanguage.ProcessWrapper-  CSPM.CoreLanguage.Field+  Exposed-modules:+    CSPM.CoreLanguage+    CSPM.CoreLanguage.Event+    CSPM.CoreLanguage.Process+    CSPM.CoreLanguage.ProcessWrapper+    CSPM.CoreLanguage.Field
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) Marc Fontaine 2007-2009+Copyright (c) Marc Fontaine 2007-2011  All rights reserved.
src/CSPM/CoreLanguage/Event.hs view
@@ -1,8 +1,8 @@ ----------------------------------------------------------------------------- -- | -- Module      :  CSPM.CoreLanguage.Event--- Copyright   :  (c) Fontaine 2010--- License     :  BSD+-- Copyright   :  (c) Fontaine 2010 - 2011+-- License     :  BSD3 --  -- Maintainer  :  fontaine@cs.uni-duesseldorf.de -- Stability   :  experimental
src/CSPM/CoreLanguage/Process.hs view
@@ -60,6 +60,7 @@   | SwitchedOff  (ExtProcess i)   | Renaming (RenamingRelation i) (Process i)   | LinkParallel (RenamingRelation i) (Process i) (Process i)+  | Exception (EventSet i) (Process i) (Process i)  isOmega :: Process i -> Bool isOmega Omega = True