packages feed

exon 1.7.2.0 → 1.7.3.0

raw patch · 3 files changed

+37/−26 lines, 3 filesdep ~basedep ~criteriondep ~exonPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, criterion, exon, ghc, hedgehog, incipit-base, parsec, tasty, tasty-hedgehog, template-haskell

API changes (from Hackage documentation)

- Exon.Class.Exon: instance (GHC.Base.Monoid builder, inner GHC.Types.~ builder) => Exon.Class.Exon.ExonBuilder inner builder
- Exon.Class.Exon: instance Data.String.IsString a => Data.String.IsString (Exon.Class.Exon.ExonUse a)
- Exon.Class.Exon: instance Data.String.IsString a => Exon.Class.Exon.ExonString result a
- Exon.Class.Exon: instance Exon.Class.Exon.ExonAppend result (GHC.Base.String -> GHC.Base.String)
- Exon.Class.Exon: instance Exon.Class.Exon.ExonString result (GHC.Base.String -> GHC.Base.String)
- Exon.Class.Exon: instance GHC.Base.Semigroup builder => Exon.Class.Exon.ExonAppend result builder
- Exon.Class.Exon: instance GHC.Show.Show a => GHC.Show.Show (Exon.Class.Exon.ExonUse a)
- Exon.Class.Newtype: instance (Exon.Generic.OverNt current wrapped, Exon.Generic.IsNewtype wrapped next, Exon.Class.Newtype.OverNewtype wrapped next inner) => Exon.Class.Newtype.OverNewtype current ('GHC.Maybe.Just wrapped) inner
- Exon.Class.Newtype: instance Exon.Class.Newtype.OverNewtype current 'GHC.Maybe.Nothing current
- Exon.Class.ToSegment: instance (Exon.Class.ToSegment.NoGenericMessage a b, a GHC.Types.~ b) => Exon.Class.ToSegment.NewtypeSegment 'GHC.Maybe.Nothing a b
- Exon.Class.ToSegment: instance (Exon.Generic.Unwrap a b, Exon.Class.ToSegment.ToSegment b c) => Exon.Class.ToSegment.NewtypeSegment ('GHC.Maybe.Just b) a c
- Exon.Class.ToSegment: instance Data.String.IsString a => Exon.Class.ToSegment.ToSegment Data.ByteString.Internal.Type.ByteString a
- Exon.Class.ToSegment: instance Data.String.IsString a => Exon.Class.ToSegment.ToSegment Data.Text.Internal.Text a
- Exon.Class.ToSegment: instance Data.String.IsString a => Exon.Class.ToSegment.ToSegment GHC.Base.String a
- Exon.Class.ToSegment: instance Data.String.IsString a => Exon.Class.ToSegment.ToSegment Incipit.String.Conversion.LByteString a
- Exon.Class.ToSegment: instance Data.String.IsString a => Exon.Class.ToSegment.ToSegment Incipit.String.Conversion.LText a
- Exon.Data.RawSegment: instance GHC.Show.Show Exon.Data.RawSegment.RawSegment
- Exon.Data.Result: instance Data.Foldable.Foldable Exon.Data.Result.Result
- Exon.Data.Result: instance GHC.Base.Semigroup (Exon.Data.Result.Result a) => GHC.Base.Monoid (Exon.Data.Result.Result a)
- Exon.Data.Result: instance GHC.Base.Semigroup a => GHC.Base.Semigroup (Exon.Data.Result.Result a)
- Exon.Data.Result: instance GHC.Show.Show a => GHC.Show.Show (Exon.Data.Result.Result a)
- Exon.Data.Segment: instance Data.String.IsString (Exon.Data.Segment.Segment a)
- Exon.Data.Segment: instance GHC.Base.Functor Exon.Data.Segment.Segment
- Exon.Data.Segment: instance GHC.Show.Show a => GHC.Show.Show (Exon.Data.Segment.Segment a)
- Exon.Generic: instance (GHC.Generics.Generic a, GHC.Generics.Rep a GHC.Types.~ GHC.Generics.D1 ('GHC.Generics.MetaData n m p 'GHC.Types.True) (GHC.Generics.C1 c field), Exon.Generic.UnwrapField field w) => Exon.Generic.Unwrap a w
- Exon.Generic: instance (GHC.Generics.Generic a, GHC.Generics.Rep a GHC.Types.~ GHC.Generics.D1 ('GHC.Generics.MetaData n m p 'GHC.Types.True) (GHC.Generics.C1 c field), Exon.Generic.WrapField field w) => Exon.Generic.Wrap a w
- Exon.Generic: instance (wrapped GHC.Types.~ 'GHC.Maybe.Just w) => Exon.Generic.RepIsNewtype ('GHC.Maybe.Just w) wrapped
- Exon.Generic: instance (wrapped GHC.Types.~ 'GHC.Maybe.Nothing) => Exon.Generic.RepIsNewtype rep wrapped
- Exon.Generic: instance Exon.Generic.RepIsNewtype (Exon.Generic.PrepRep (GHC.Generics.Rep w)) wrapped => Exon.Generic.IsNewtype w wrapped
- Exon.Generic: instance Exon.Generic.UnwrapField (GHC.Generics.K1 i w) w
- Exon.Generic: instance Exon.Generic.UnwrapField (GHC.Generics.S1 s (GHC.Generics.K1 i w)) w
- Exon.Generic: instance Exon.Generic.WrapField (GHC.Generics.K1 i w) w
- Exon.Generic: instance Exon.Generic.WrapField (GHC.Generics.S1 s (GHC.Generics.K1 i w)) w
- Exon.SkipWs: instance Data.String.IsString a => Data.String.IsString (Exon.SkipWs.SkipWs a)
- Exon.SkipWs: instance Data.String.IsString builder => Exon.Class.Exon.ExonString (Exon.SkipWs.SkipWs result) builder
- Exon.SkipWs: instance GHC.Generics.Generic (Exon.SkipWs.SkipWs a)
- Exon.SkipWs: instance GHC.Show.Show a => GHC.Show.Show (Exon.SkipWs.SkipWs a)
+ Exon.Class.Exon: instance (GHC.Internal.Base.Monoid builder, inner GHC.Types.~ builder) => Exon.Class.Exon.ExonBuilder inner builder
+ Exon.Class.Exon: instance Exon.Class.Exon.ExonAppend result (GHC.Internal.Base.String -> GHC.Internal.Base.String)
+ Exon.Class.Exon: instance Exon.Class.Exon.ExonString result (GHC.Internal.Base.String -> GHC.Internal.Base.String)
+ Exon.Class.Exon: instance GHC.Internal.Base.Semigroup builder => Exon.Class.Exon.ExonAppend result builder
+ Exon.Class.Exon: instance GHC.Internal.Data.String.IsString a => Exon.Class.Exon.ExonString result a
+ Exon.Class.Exon: instance GHC.Internal.Data.String.IsString a => GHC.Internal.Data.String.IsString (Exon.Class.Exon.ExonUse a)
+ Exon.Class.Exon: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Exon.Class.Exon.ExonUse a)
+ Exon.Class.Newtype: instance (Exon.Generic.OverNt current wrapped, Exon.Generic.IsNewtype wrapped next, Exon.Class.Newtype.OverNewtype wrapped next inner) => Exon.Class.Newtype.OverNewtype current ('GHC.Internal.Maybe.Just wrapped) inner
+ Exon.Class.Newtype: instance Exon.Class.Newtype.OverNewtype current 'GHC.Internal.Maybe.Nothing current
+ Exon.Class.ToSegment: instance (Exon.Class.ToSegment.NoGenericMessage a b, a GHC.Types.~ b) => Exon.Class.ToSegment.NewtypeSegment 'GHC.Internal.Maybe.Nothing a b
+ Exon.Class.ToSegment: instance (Exon.Generic.Unwrap a b, Exon.Class.ToSegment.ToSegment b c) => Exon.Class.ToSegment.NewtypeSegment ('GHC.Internal.Maybe.Just b) a c
+ Exon.Class.ToSegment: instance GHC.Internal.Data.String.IsString a => Exon.Class.ToSegment.ToSegment Data.ByteString.Internal.Type.ByteString a
+ Exon.Class.ToSegment: instance GHC.Internal.Data.String.IsString a => Exon.Class.ToSegment.ToSegment Data.Text.Internal.Text a
+ Exon.Class.ToSegment: instance GHC.Internal.Data.String.IsString a => Exon.Class.ToSegment.ToSegment GHC.Internal.Base.String a
+ Exon.Class.ToSegment: instance GHC.Internal.Data.String.IsString a => Exon.Class.ToSegment.ToSegment Incipit.String.Conversion.LByteString a
+ Exon.Class.ToSegment: instance GHC.Internal.Data.String.IsString a => Exon.Class.ToSegment.ToSegment Incipit.String.Conversion.LText a
+ Exon.Data.RawSegment: instance GHC.Internal.Show.Show Exon.Data.RawSegment.RawSegment
+ Exon.Data.Result: instance GHC.Internal.Base.Semigroup (Exon.Data.Result.Result a) => GHC.Internal.Base.Monoid (Exon.Data.Result.Result a)
+ Exon.Data.Result: instance GHC.Internal.Base.Semigroup a => GHC.Internal.Base.Semigroup (Exon.Data.Result.Result a)
+ Exon.Data.Result: instance GHC.Internal.Data.Foldable.Foldable Exon.Data.Result.Result
+ Exon.Data.Result: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Exon.Data.Result.Result a)
+ Exon.Data.Segment: instance GHC.Internal.Base.Functor Exon.Data.Segment.Segment
+ Exon.Data.Segment: instance GHC.Internal.Data.String.IsString (Exon.Data.Segment.Segment a)
+ Exon.Data.Segment: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Exon.Data.Segment.Segment a)
+ Exon.Generic: instance (GHC.Internal.Generics.Generic a, GHC.Internal.Generics.Rep a GHC.Types.~ GHC.Internal.Generics.D1 ('GHC.Internal.Generics.MetaData n m p 'GHC.Types.True) (GHC.Internal.Generics.C1 c field), Exon.Generic.UnwrapField field w) => Exon.Generic.Unwrap a w
+ Exon.Generic: instance (GHC.Internal.Generics.Generic a, GHC.Internal.Generics.Rep a GHC.Types.~ GHC.Internal.Generics.D1 ('GHC.Internal.Generics.MetaData n m p 'GHC.Types.True) (GHC.Internal.Generics.C1 c field), Exon.Generic.WrapField field w) => Exon.Generic.Wrap a w
+ Exon.Generic: instance (wrapped GHC.Types.~ 'GHC.Internal.Maybe.Just w) => Exon.Generic.RepIsNewtype ('GHC.Internal.Maybe.Just w) wrapped
+ Exon.Generic: instance (wrapped GHC.Types.~ 'GHC.Internal.Maybe.Nothing) => Exon.Generic.RepIsNewtype rep wrapped
+ Exon.Generic: instance Exon.Generic.RepIsNewtype (Exon.Generic.PrepRep (GHC.Internal.Generics.Rep w)) wrapped => Exon.Generic.IsNewtype w wrapped
+ Exon.Generic: instance Exon.Generic.UnwrapField (GHC.Internal.Generics.K1 i w) w
+ Exon.Generic: instance Exon.Generic.UnwrapField (GHC.Internal.Generics.S1 s (GHC.Internal.Generics.K1 i w)) w
+ Exon.Generic: instance Exon.Generic.WrapField (GHC.Internal.Generics.K1 i w) w
+ Exon.Generic: instance Exon.Generic.WrapField (GHC.Internal.Generics.S1 s (GHC.Internal.Generics.K1 i w)) w
+ Exon.SkipWs: instance GHC.Internal.Data.String.IsString a => GHC.Internal.Data.String.IsString (Exon.SkipWs.SkipWs a)
+ Exon.SkipWs: instance GHC.Internal.Data.String.IsString builder => Exon.Class.Exon.ExonString (Exon.SkipWs.SkipWs result) builder
+ Exon.SkipWs: instance GHC.Internal.Generics.Generic (Exon.SkipWs.SkipWs a)
+ Exon.SkipWs: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Exon.SkipWs.SkipWs a)

Files

exon.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.36.1.+-- This file has been generated from package.yaml by hpack version 0.38.3. -- -- see: https://github.com/sol/hpack  name:           exon-version:        1.7.2.0+version:        1.7.3.0 synopsis:       Customizable quasiquote interpolation description:    See https://hackage.haskell.org/package/exon/docs/Exon.html category:       String@@ -61,8 +61,10 @@       LiberalTypeSynonyms       MonadComprehensions       MultiWayIf+      NoFieldSelectors       OverloadedLabels       OverloadedLists+      OverloadedRecordDot       OverloadedStrings       PackageImports       PartialTypeSignatures@@ -78,15 +80,13 @@       UndecidableInstances       UnicodeSyntax       ViewPatterns-      OverloadedRecordDot-      NoFieldSelectors   ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages   build-depends:-      base >=4.16.4.0 && <4.22-    , ghc >=9.2.8 && <9.13-    , incipit-base >=0.5.0.0 && <0.7-    , parsec >=3.1.15.0 && <3.2-    , template-haskell >=2.18.0.0 && <2.24+      base >=4.17.2.1 && <4.23+    , ghc >=9.4.8 && <9.15+    , incipit-base >=0.5.0.0 && <0.8+    , parsec >=3.1.15.1 && <3.2+    , template-haskell >=2.19.0.0 && <2.25   mixins:       base hiding (Prelude)     , incipit-base (IncipitBase as Prelude)@@ -123,8 +123,10 @@       LiberalTypeSynonyms       MonadComprehensions       MultiWayIf+      NoFieldSelectors       OverloadedLabels       OverloadedLists+      OverloadedRecordDot       OverloadedStrings       PackageImports       PartialTypeSignatures@@ -140,17 +142,15 @@       UndecidableInstances       UnicodeSyntax       ViewPatterns-      OverloadedRecordDot-      NoFieldSelectors   ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages   build-depends:-      base >=4.16.4.0 && <4.22-    , exon-    , hedgehog >=1.1 && <1.6-    , incipit-base >=0.5.0.0 && <0.7-    , tasty >=1.4.0.3 && <1.6-    , tasty-hedgehog >=1.1.0.0 && <1.5-    , template-haskell >=2.18.0.0 && <2.24+      base >=4.17.2.1 && <4.23+    , exon <1.8+    , hedgehog >=1.1.2 && <1.8+    , incipit-base >=0.5.0.0 && <0.8+    , tasty >=1.2.2 && <1.6+    , tasty-hedgehog >=1.3.0.0 && <1.5+    , template-haskell >=2.19.0.0 && <2.25   mixins:       base hiding (Prelude)     , incipit-base (IncipitBase as Prelude)@@ -179,8 +179,10 @@       LiberalTypeSynonyms       MonadComprehensions       MultiWayIf+      NoFieldSelectors       OverloadedLabels       OverloadedLists+      OverloadedRecordDot       OverloadedStrings       PackageImports       PartialTypeSignatures@@ -196,14 +198,12 @@       UndecidableInstances       UnicodeSyntax       ViewPatterns-      OverloadedRecordDot-      NoFieldSelectors   ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages   build-depends:-      base >=4.16.4.0 && <4.22-    , criterion >=1.5.11.0 && <1.7-    , exon-    , incipit-base >=0.5.0.0 && <0.7+      base >=4.17.2.1 && <4.23+    , criterion >=1.5.13.0 && <1.7+    , exon <1.8+    , incipit-base >=0.5.0.0 && <0.8   mixins:       base hiding (Prelude)     , incipit-base (IncipitBase as Prelude)
lib/Exon/Haskell/Settings.hs view
@@ -25,6 +25,7 @@ import GHC.Types.SourceText import GHC.Types.SrcLoc import GHC.Unit.Info+import GHC.Unit.Types import GHC.Utils.Fingerprint import qualified Language.Haskell.TH.Syntax as GhcTH @@ -35,6 +36,9 @@   , sTargetPlatform=platform   , sPlatformMisc=platformMisc   , sToolSettings=toolSettings+#if MIN_VERSION_ghc(9,14,0)+  , sUnitSettings=UnitSettings {unitSettings_baseUnitId = stringToUnitId "base"}+#endif   }   where     toolSettings = ToolSettings {
lib/Exon/Haskell/Translate.hs view
@@ -44,8 +44,11 @@ toLit (HsWordPrim _ i) = TH.WordPrimL i toLit (HsInt64Prim _ i) = TH.IntegerL i toLit (HsWord64Prim _ i) = TH.WordPrimL i-toLit (HsInteger _ i _) = TH.IntegerL i+#if MIN_VERSION_ghc(9,14,0)+toLit (HsMultilineString _ s) = TH.StringL (unpackFS s)+#else toLit (HsRat _ f _) = TH.FloatPrimL (fl_value f)+#endif toLit (HsFloatPrim _ f) = TH.FloatPrimL (fl_value f) toLit (HsDoublePrim _ f) = TH.DoublePrimL (fl_value f) #if MIN_VERSION_ghc(9,8,0)@@ -92,7 +95,9 @@         then TH.ConE (toName n')         else TH.VarE (toName n') +#if !MIN_VERSION_ghc(9,14,0) toExp _ (Expr.HsUnboundVar _ n)              = TH.UnboundVarE (TH.mkName . occNameString . occName $ n)+#endif  toExp _ Expr.HsIPVar {}   = noTH "toExp" "HsIPVar"@@ -123,7 +128,9 @@   = TH.AppE (TH.VarE 'negate) (toExp d . unLoc $ e)  -- NOTE: for lambda, there is only one match-#if MIN_VERSION_ghc(9,12,0)+#if MIN_VERSION_ghc(9,14,0)+toExp d (Expr.HsLam _ _ (Expr.MG _ (unLoc -> (map unLoc -> [Expr.Match _ _ (map unLoc . unLoc -> ps) (Expr.GRHSs _ ((unLoc -> Expr.GRHS _ _ (unLoc -> e)) :| []) _)]))))+#elif MIN_VERSION_ghc(9,12,0) toExp d (Expr.HsLam _ _ (Expr.MG _ (unLoc -> (map unLoc -> [Expr.Match _ _ (map unLoc . unLoc -> ps) (Expr.GRHSs _ [unLoc -> Expr.GRHS _ _ (unLoc -> e)] _)])))) #elif MIN_VERSION_ghc(9,10,0) toExp d (Expr.HsLam _ _ (Expr.MG _ (unLoc -> (map unLoc -> [Expr.Match _ _ (map unLoc -> ps) (Expr.GRHSs _ [unLoc -> Expr.GRHS _ _ (unLoc -> e)] _)]))))