syntactic 3.8.2 → 3.8.3

raw patch · 2 files changed

+7/−7 lines, 2 filesdep ~basedep ~constraints

Dependency ranges changed: base, constraints

Files

• src/Language/Syntactic/Functional.hs +3/−3
• syntactic.cabal +4/−4

@@ -490,7 +490,7 @@ instance Monad (Remon dom m)   where     return a = Remon $ return a-    ma >>= f = Remon $ unRemon ma >>= unRemon . f+    ma >>= f = Remon $ unRemon ma >>= \a -> unRemon (f a)  -- | One-layer desugaring of monadic actions desugarMonad@@ -499,7 +499,7 @@        , TYPEABLE m        )     => Remon sym m (ASTF sym a) -> ASTF sym (m a)-desugarMonad = flip runCont (sugarSym Return) . unRemon+desugarMonad (Remon m) = flip runCont (sugarSym Return) m  -- | One-layer desugaring of monadic actions desugarMonadTyped@@ -509,7 +509,7 @@        , TYPEABLE m        )     => Remon sym m (ASTF sym a) -> ASTF sym (m a)-desugarMonadTyped = flip runCont (sugarSymTyped Return) . unRemon+desugarMonadTyped (Remon m) = flip runCont (sugarSymTyped Return) m   

@@ -1,5 +1,5 @@ Name:           syntactic-Version:        3.8.2+Version:        3.8.3 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@@ -39,7 +39,7 @@ Stability:      experimental Category:       Language Build-type:     Simple-Cabal-version:  >=1.16+Cabal-version:  1.16  extra-source-files:   CONTRIBUTORS@@ -83,8 +83,8 @@       Language.Syntactic.Sugar.TupleTyped    build-depends:-    base >= 4.6 && < 4.15,-    constraints < 0.13,+    base >= 4.6 && < 4.16,+    constraints < 0.14,     containers < 0.7,     data-hash < 0.3,     deepseq < 1.5,