call-alloy 0.6.0.1 → 0.6.0.2

raw patch · 4 files changed

+9/−3 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Language.Alloy.Exceptions: instance GHC.Exception.Type.Exception Language.Alloy.Exceptions.AlloyLookupFailed

- Language.Alloy.Exceptions: instance GHC.Exception.Type.Exception Language.Alloy.Exceptions.AlloyObjectNameMismatch

- Language.Alloy.Exceptions: instance GHC.Exception.Type.Exception Language.Alloy.Exceptions.AlloyResponseFailure

- Language.Alloy.Exceptions: instance GHC.Exception.Type.Exception Language.Alloy.Exceptions.CallAlloyException

- Language.Alloy.Exceptions: instance GHC.Exception.Type.Exception Language.Alloy.Exceptions.UnexpectedAlloyRelation

- Language.Alloy.Exceptions: instance GHC.Show.Show Language.Alloy.Exceptions.AlloyLookupFailed

- Language.Alloy.Exceptions: instance GHC.Show.Show Language.Alloy.Exceptions.AlloyObjectNameMismatch

- Language.Alloy.Exceptions: instance GHC.Show.Show Language.Alloy.Exceptions.AlloyResponseFailure

- Language.Alloy.Exceptions: instance GHC.Show.Show Language.Alloy.Exceptions.CallAlloyException

- Language.Alloy.Exceptions: instance GHC.Show.Show Language.Alloy.Exceptions.UnexpectedAlloyRelation

+ Language.Alloy.Exceptions: instance GHC.Internal.Exception.Type.Exception Language.Alloy.Exceptions.AlloyLookupFailed

+ Language.Alloy.Exceptions: instance GHC.Internal.Exception.Type.Exception Language.Alloy.Exceptions.AlloyObjectNameMismatch

+ Language.Alloy.Exceptions: instance GHC.Internal.Exception.Type.Exception Language.Alloy.Exceptions.AlloyResponseFailure

+ Language.Alloy.Exceptions: instance GHC.Internal.Exception.Type.Exception Language.Alloy.Exceptions.CallAlloyException

+ Language.Alloy.Exceptions: instance GHC.Internal.Exception.Type.Exception Language.Alloy.Exceptions.UnexpectedAlloyRelation

+ Language.Alloy.Exceptions: instance GHC.Internal.Show.Show Language.Alloy.Exceptions.AlloyLookupFailed

+ Language.Alloy.Exceptions: instance GHC.Internal.Show.Show Language.Alloy.Exceptions.AlloyObjectNameMismatch

+ Language.Alloy.Exceptions: instance GHC.Internal.Show.Show Language.Alloy.Exceptions.AlloyResponseFailure

+ Language.Alloy.Exceptions: instance GHC.Internal.Show.Show Language.Alloy.Exceptions.CallAlloyException

+ Language.Alloy.Exceptions: instance GHC.Internal.Show.Show Language.Alloy.Exceptions.UnexpectedAlloyRelation

Files

ChangeLog.md +5/−1
call-alloy.cabal +1/−1
src/Language/Alloy/Internal/Call.hs +2/−0
src/Language/Alloy/Parser.hs +1/−1

ChangeLog.md view

@@ -4,7 +4,11 @@  ## Released changes -### 0.6.1+### 0.6.0.2++- ignore finalizer warnings++### 0.6.0.1  - fix bug on different State 0 entry response

call-alloy.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           call-alloy-version:        0.6.0.1+version:        0.6.0.2 synopsis:       A simple library to call Alloy given a specification description:    Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme> category:       Language

src/Language/Alloy/Internal/Call.hs view

@@ -332,6 +332,8 @@   = removeInfoLines xs   | Just _ <- BS.stripPrefix "[main] WARN" x   = removeInfoLines xs+  | Just _ <- BS.stripPrefix "[Finalizer] WARN" x+  = removeInfoLines xs   | x == partialInstance   = removeInfoLines xs removeInfoLines xs = xs

src/Language/Alloy/Parser.hs view

@@ -92,7 +92,7 @@         )       <*> entries     entries =-      many entry+      many (try entry)       <* many alloyInfo       <* eof'     alloyInfo =