CSPM-Frontend 0.4.1.0 → 0.4.1.1

raw patch · 2 files changed

+4/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CSPM-Frontend.cabal +3/−3
• src/Language/CSPM/Lexer.x +1/−0

@@ -1,11 +1,11 @@ Name:                CSPM-Frontend-Version:             0.4.1.0+Version:             0.4.1.1  Synopsis:            A CSP-M parser compatible with FDR-2.83  Description:   CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by-  the formal methods tools FDR, Prob and ProB.+  the formal methods tools FDR, Probe and ProB.   This Package contains functions for lexing, parsing, renaming and pretty-printing   CSP-M specifications.   The parser is (almost) 100% compatible with the FDR-2.83 parser.@@ -17,7 +17,7 @@ Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de> Homepage:            http://www.stups.uni-duesseldorf.de/~fontaine/csp Stability:           unstable-Tested-With:         GHC == 6.12.2+Tested-With:         GHC == 6.12.3  cabal-Version:       >= 1.6 build-type: Simple

@@ -165,6 +165,7 @@ <0> \" @string* \"              { mkL L_String }  <0> "[" $large + "="            { mkL T_Refine }+<0> "[="                        { mkL T_Refine }