Hello community, here is the log from the commit of package ghc-megaparsec for openSUSE:Factory checked in at 2020-11-06 23:45:39 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-megaparsec (Old) and /work/SRC/openSUSE:Factory/.ghc-megaparsec.new.11331 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-megaparsec" Fri Nov 6 23:45:39 2020 rev:11 rq:846482 version:9.0.1 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-megaparsec/ghc-megaparsec.changes 2020-09-27 11:48:58.987992164 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-megaparsec.new.11331/ghc-megaparsec.changes 2020-11-06 23:46:39.471083980 +0100 @@ -1,0 +2,10 @@ +Fri Oct 30 13:44:20 UTC 2020 - psim...@suse.com + +- Update megaparsec to version 9.0.1. + ## Megaparsec 9.0.1 + + * Added [Safe + Haskell](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/safe_haskell.html) + support. + +------------------------------------------------------------------- Old: ---- megaparsec-9.0.0.tar.gz New: ---- megaparsec-9.0.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-megaparsec.spec ++++++ --- /var/tmp/diff_new_pack.WAPdel/_old 2020-11-06 23:46:40.011082942 +0100 +++ /var/tmp/diff_new_pack.WAPdel/_new 2020-11-06 23:46:40.015082934 +0100 @@ -18,7 +18,7 @@ %global pkg_name megaparsec Name: ghc-%{pkg_name} -Version: 9.0.0 +Version: 9.0.1 Release: 0 Summary: Monadic parser combinators License: BSD-2-Clause ++++++ megaparsec-9.0.0.tar.gz -> megaparsec-9.0.1.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/CHANGELOG.md new/megaparsec-9.0.1/CHANGELOG.md --- old/megaparsec-9.0.0/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,9 @@ +## Megaparsec 9.0.1 + +* Added [Safe + Haskell](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/safe_haskell.html) + support. + ## Megaparsec 9.0.0 * Split the `Stream` type class. The methods `showTokens` and `tokensLength` diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Byte/Lexer.hs new/megaparsec-9.0.1/Text/Megaparsec/Byte/Lexer.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Byte/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Byte/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,4 +1,5 @@ {-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE Trustworthy #-} {-# LANGUAGE TypeFamilies #-} -- | diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Byte.hs new/megaparsec-9.0.1/Text/Megaparsec/Byte.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Byte.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Byte.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,4 @@ +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Char/Lexer.hs new/megaparsec-9.0.1/Text/Megaparsec/Char/Lexer.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Char/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Char/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,7 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE MultiWayIf #-} {-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE Trustworthy #-} {-# LANGUAGE TypeFamilies #-} -- | diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Char.hs new/megaparsec-9.0.1/Text/Megaparsec/Char.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Char.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Char.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,5 +1,6 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE LambdaCase #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} @@ -118,7 +119,7 @@ -- | Like 'space1', but does not accept newlines and carriage returns. -- --- @since 8.0.0 +-- @since 9.0.0 hspace1 :: (MonadParsec e s m, Token s ~ Char) => m () hspace1 = void $ takeWhile1P (Just "white space") isHSpace {-# INLINE hspace1 #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Class.hs new/megaparsec-9.0.1/Text/Megaparsec/Class.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Class.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Class.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE MultiParamTypeClasses #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE TupleSections #-} {-# LANGUAGE UndecidableInstances #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Common.hs new/megaparsec-9.0.1/Text/Megaparsec/Common.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Common.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Common.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,4 +1,5 @@ {-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE Safe #-} -- | -- Module : Text.Megaparsec.Common diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Debug.hs new/megaparsec-9.0.1/Text/Megaparsec/Debug.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Debug.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Debug.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,5 +1,6 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE Unsafe #-} -- | -- Module : Text.Megaparsec.Debug diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Error/Builder.hs new/megaparsec-9.0.1/Text/Megaparsec/Error/Builder.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Error/Builder.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Error/Builder.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,7 @@ {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE UndecidableInstances #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Error.hs new/megaparsec-9.0.1/Text/Megaparsec/Error.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Error.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Error.hs 2001-09-09 03:46:40.000000000 +0200 @@ -6,6 +6,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE UndecidableInstances #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Internal.hs new/megaparsec-9.0.1/Text/Megaparsec/Internal.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Internal.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Internal.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,10 +1,10 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} -{-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} @@ -86,7 +86,12 @@ -- unexpected 'a' -- expecting 'r' or end of input newtype Hints t = Hints [Set (ErrorItem t)] - deriving (Semigroup, Monoid) + +instance Semigroup (Hints t) where + Hints xs <> Hints ys = Hints $ xs <> ys + +instance Monoid (Hints t) where + mempty = Hints mempty -- | All information available after parsing. This includes consumption of -- input, success (with returned value) or failure (with parse error), and @@ -280,6 +285,15 @@ Error e -> eerr e s' -- | 'mzero' is a parser that __fails__ without consuming input. +-- +-- __Note__: strictly speaking, this instance is unlawful. The right +-- identity law is does not hold, e.g. in general this is not true: +-- +-- > v >> mzero = mero +-- +-- However the following holds: +-- +-- > try v >> mzero = mzero instance (Ord e, Stream s) => MonadPlus (ParsecT e s m) where mzero = pZero mplus = pPlus diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Lexer.hs new/megaparsec-9.0.1/Text/Megaparsec/Lexer.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Lexer.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,4 +1,5 @@ {-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE Safe #-} -- | -- Module : Text.Megaparsec.Common diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Pos.hs new/megaparsec-9.0.1/Text/Megaparsec/Pos.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Pos.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Pos.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,7 @@ +{-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} -{-# LANGUAGE GeneralizedNewtypeDeriving #-} +{-# LANGUAGE Safe #-} -- | -- Module : Text.Megaparsec.Pos @@ -48,7 +49,7 @@ -- -- @since 5.0.0 newtype Pos = Pos Int - deriving (Show, Eq, Ord, Data, Typeable, NFData) + deriving (Show, Eq, Ord, Data, Generic, Typeable, NFData) -- | Construction of 'Pos' from 'Int'. The function throws -- 'InvalidPosException' when given a non-positive argument. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/State.hs new/megaparsec-9.0.1/Text/Megaparsec/State.hs --- old/megaparsec-9.0.0/Text/Megaparsec/State.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/State.hs 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,7 @@ {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE UndecidableInstances #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec/Stream.hs new/megaparsec-9.0.1/Text/Megaparsec/Stream.hs --- old/megaparsec-9.0.0/Text/Megaparsec/Stream.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec/Stream.hs 2001-09-09 03:46:40.000000000 +0200 @@ -4,6 +4,7 @@ {-# LANGUAGE MultiWayIf #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE RecordWildCards #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/Text/Megaparsec.hs new/megaparsec-9.0.1/Text/Megaparsec.hs --- old/megaparsec-9.0.0/Text/Megaparsec.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/Text/Megaparsec.hs 2001-09-09 03:46:40.000000000 +0200 @@ -2,6 +2,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-} +{-# LANGUAGE Safe #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/megaparsec-9.0.0/megaparsec.cabal new/megaparsec-9.0.1/megaparsec.cabal --- old/megaparsec-9.0.0/megaparsec.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/megaparsec-9.0.1/megaparsec.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,6 @@ cabal-version: 1.18 name: megaparsec -version: 9.0.0 +version: 9.0.1 license: BSD2 license-file: LICENSE.md maintainer: Mark Karpov <markkarpo...@gmail.com> @@ -9,7 +9,7 @@ Paolo Martini <pa...@nemail.it>, Daan Leijen <d...@microsoft.com> -tested-with: ghc ==8.6.5 ghc ==8.8.4 ghc ==8.10.1 +tested-with: ghc ==8.6.5 ghc ==8.8.4 ghc ==8.10.2 homepage: https://github.com/mrkkrp/megaparsec bug-reports: https://github.com/mrkkrp/megaparsec/issues synopsis: Monadic parser combinators