syntactic 3.8.3 → 3.8.4

raw patch · 4 files changed

+18/−9 lines, 4 filesdep ~basedep ~mtl

Dependency ranges changed: base, mtl

Files

src/Language/Syntactic/Functional.hs +2/−1
src/Language/Syntactic/Functional/Sharing.hs +1/−0
src/Language/Syntactic/TH.hs +12/−5
syntactic.cabal +3/−3

src/Language/Syntactic/Functional.hs view

@@ -69,6 +69,7 @@ import Control.Applicative #endif import Control.DeepSeq (NFData (..))+import Control.Monad (liftM2) import Control.Monad.Cont import Control.Monad.Reader import Control.Monad.State@@ -489,7 +490,7 @@  instance Monad (Remon dom m)   where-    return a = Remon $ return a+    return = pure     ma >>= f = Remon $ unRemon ma >>= \a -> unRemon (f a)  -- | One-layer desugaring of monadic actions

@@ -16,6 +16,7 @@   +import Control.Monad (liftM2, mplus) import Control.Monad.State import Data.Maybe (isNothing) import Data.Set (Set)

src/Language/Syntactic/TH.hs view

@@ -86,7 +86,7 @@     deriveClassSimple ''Symbol ty [MatchingMethod 'symSig  symSigClause []]   where     symSigClause _ _ con arity =-      Clause [ConP con (replicate arity WildP)] (NormalB (VarE 'signature)) []+      Clause [conPat con (replicate arity WildP)] (NormalB (VarE 'signature)) []  -- | Derive 'Equality' instance for a type --@@ -110,8 +110,8 @@       ]   where     equalClause _ _ con arity = Clause-        [ ConP con [VarP v | v <- vs1]-        , ConP con [VarP v | v <- vs2]+        [ conPat con [VarP v | v <- vs1]+        , conPat con [VarP v | v <- vs2]         ]         (NormalB body)         []@@ -129,7 +129,7 @@                  )      hashClause _ i con arity = Clause-        [ConP con [VarP v | v <- vs]]+        [conPat con [VarP v | v <- vs]]         (NormalB body)         []       where@@ -160,7 +160,7 @@     conName = modify . nameBase      renderClause _ _ con arity = Clause-        [ConP con [VarP v | v <- take arity varSupply]]+        [conPat con [VarP v | v <- take arity varSupply]]         (NormalB body)         []       where@@ -241,5 +241,12 @@ tySynInst t as rhs = TySynInstD t (TySynEqn as rhs) #else tySynInst = TySynInstD+#endif++conPat :: Name -> [Pat] -> Pat+#if __GLASGOW_HASKELL__ >= 902+conPat name ps = ConP name [] ps+#else+conPat name ps = ConP name ps #endif

syntactic.cabal view

@@ -1,5 +1,5 @@ Name:           syntactic-Version:        3.8.3+Version:        3.8.4 Synopsis:       Generic representation and manipulation of abstract syntax Description:    The library provides a generic representation of type-indexed abstract syntax trees                 (or indexed data types in general). It also permits the definition of open syntax@@ -83,12 +83,12 @@       Language.Syntactic.Sugar.TupleTyped    build-depends:-    base >= 4.6 && < 4.16,+    base >= 4.6 && < 4.17,     constraints < 0.14,     containers < 0.7,     data-hash < 0.3,     deepseq < 1.5,-    mtl >= 2 && < 2.3,+    mtl >= 2 && < 2.4,     syb < 0.8,     tree-view >= 0.5 && < 0.6