CSPM-ToProlog 0.5.1.0 → 0.5.2.0

raw patch · 2 files changed

+7/−13 lines, 2 filesdep ~CSPM-Frontenddep ~arrayPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: CSPM-Frontend, array

API changes (from Hackage documentation)

Files

• CSPM-ToProlog.cabal +7/−7
• src/Language/CSPM/AstToProlog.hs +0/−6

@@ -1,5 +1,5 @@ Name:                CSPM-ToProlog-Version:             0.5.1.0+Version:             0.5.2.0 Synopsis:            some modules specific for the ProB tool Description:   This package contains a translation from a CSPM AST to the representation@@ -9,20 +9,20 @@ License:             BSD3 category:            Formal Methods License-File:        LICENSE-Author:              2006-2013 Marc Fontaine-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>-Cabal-Version:  >= 1.10-Tested-With:    GHC==7.6.3+Author:              2006-2014 Marc Fontaine+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>+Cabal-Version:  >= 1.20+Tested-With:    GHC==7.8.3 Build-Type:     Simple  Library   Default-Language: Haskell2010   Build-Depends:-    CSPM-Frontend >= 0.9 && < 0.10+    CSPM-Frontend >= 0.10 && < 0.11     ,pretty >= 1.1 && < 1.2     ,base >= 4.0 && <5.0     ,containers >= 0.5 && <0.6-    ,array >=0.4 && <0.5+    ,array >=0.5 && <0.6     ,ghc-prim >= 0.3 && <0.4    Hs-Source-Dirs: src

@@ -156,12 +156,6 @@ instance TP t => GTPL (K1 R t)  where     gtpl _l x = tp $ unK1 x -instance TP t => GTP (K1 P t)  where-    gtp x = hsep [ text "rec" , lparen, tp $ unK1 x, rparen]--instance TP t => GTPL (K1 P t)  where-    gtpl _ x = hsep [ text "rec" , lparen, tp $ unK1 x, rparen]- instance GTP V1 where gtp _ = text "V1" instance GTPL V1 where gtpl _ _ = text "V1"