CSPM-CoreLanguage 0.3.0.0 → 0.3.0.1

raw patch · 5 files changed

+12/−13 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CSPM-CoreLanguage.cabal +3/−3
• src/CSPM/CoreLanguage/Event.hs +4/−4
• src/CSPM/CoreLanguage/Field.hs +1/−1
• src/CSPM/CoreLanguage/Process.hs +3/−4
• src/CSPM/CoreLanguage/ProcessWrapper.hs +1/−1

@@ -1,5 +1,5 @@ Name:                CSPM-CoreLanguage-Version:             0.3.0.0+Version:             0.3.0.1 Synopsis:            Definition of a FDR-compatible CSP core-language.  Description:   This package contains an interface for a CSP core-language.@@ -13,10 +13,10 @@ Category:            Language,Formal Methods,Concurrency License:             BSD3 License-File:        LICENSE-Author:              2010 - 2011 Marc Fontaine+Author:              2010 - 2012 Marc Fontaine Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de> Stability:           experimental-Tested-With:         GHC == 7.0.3+Tested-With:         GHC == 7.4.1 Cabal-Version:       >= 1.10 Build-Type:          Simple 

@@ -8,13 +8,13 @@ -- Stability   :  experimental -- Portability :  GHC-only ----- This modules defines the event-related part of an interface between +-- This module defines the event-related part of an interface between  -- the CSPM-CoreLanguage and the underlying implementation.--- The underlying implementation has to instantiate the type-families 'Event',+-- The underlying implementation has to instantiate the type families 'Event', -- 'EventSet', 'RenamingRelation' -- and the class 'BE' ('BE'== base event). -- --- For full CSPM-support (channels with multiple fields, event closure sets etc.)+-- For full CSPM support (channels with multiple fields, event closure sets etc.) -- CSPM.CoreLanguage.Field is also needed. ----------------------------------------------------------------------------- {-# LANGUAGE TypeFamilies #-}@@ -31,7 +31,7 @@ -- | Sigma is the set of all events that appear in a system. type Sigma i = EventSet i --- | The first argument of all function in 'BE' is a phantom-type-argument, i.e.+-- | The first argument of all functions in 'BE' is a phantom-type-argument, i.e. -- applications pass _|_ and implementations must not use this value. class BE i where   eventEq :: i -> Event i -> Event i -> Bool

@@ -8,7 +8,7 @@ -- Stability   :  experimental -- Portability :  GHC-only ----- This modules defines the class 'BF' for versions of CSP+-- This module defines the class 'BF' for versions of CSP -- that also support multi-field-events and event-closure sets. ----------------------------------------------------------------------------- {-# LANGUAGE TypeFamilies #-}

@@ -8,9 +8,8 @@ -- Stability   :  experimental -- Portability :  GHC-only ----- This modules defines a FDR-compatible CSP core language.--- The core language deals with CSP related constructs like processes and events,--- but abstracts, e.g. from the underlying functional programming language.+-- This modules defines an FDR-compatible CSP core language.+-- The core language deals with CSP-related constructs like processes and events. -- -- The implementation of the underlying language -- must provide instances for the type families 'Prefix', 'ExtProcess'@@ -41,7 +40,7 @@   A data type for CSPM processes.   For efficiency, replicated alphabetized parallel has an explicit constructor.   Other replicated operations get translated on the fly.-  For constructing processes one should rather uses the wrappers from +  For constructing processes one should rather use the wrappers from    CSPM.CoreLanguage.ProcessWrappers. -} data Process i

@@ -11,7 +11,7 @@ -- Wrappers for the constructors of data type 'Process' and some -- rewriting rules for replicated operations. ----- This can also be used an EDSL for CSP.+-- This can also be used as EDSL for CSP. -- -----------------------------------------------------------------------------