vampire 0.1.2.0 → 0.1.3.0

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Debug/Vampire/Rewrite.hs +2/−2
• vampire.cabal +1/−1

@@ -10,8 +10,8 @@     _           -> Nothing  addHeader :: Module -> Module-addHeader (Module loc name prag warn exports imports decls) =-  Module loc name (implicit:prag) warn exports (trace:imports) decls+addHeader (Module loc name prag warn _ imports decls) =+  Module loc name (implicit:prag) warn Nothing (trace:imports) decls     where implicit = LanguagePragma (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) [Ident "ImplicitParams"]           trace    = ImportDecl {importLoc = SrcLoc {srcFilename = "<unknown>.hs", srcLine = 5, srcColumn = 1}, importModule = ModuleName "Debug.Vampire.Trace", importQualified = False, importSrc = False, importPkg = Nothing, importAs = Nothing, importSpecs = Nothing} 

@@ -10,7 +10,7 @@ -- PVP summary:      +-+------- breaking API changes --                   | | +----- non-breaking API additions --                   | | | +--- code changes with no API change-version:             0.1.2.0+version:             0.1.3.0  -- A short (one-line) description of the package. synopsis:            Analyze and visualize expression trees.