sweet-egison 0.1.1.0 → 0.1.1.1

raw patch · 3 files changed

+7/−5 lines, 3 filesdep ~template-haskellnew-uploader

Dependency ranges changed: template-haskell

Files

• src/Control/Egison/Matcher/Collection.hs +3/−1
• src/Control/Egison/QQ.hs +2/−2
• sweet-egison.cabal +2/−2

@@ -77,7 +77,9 @@   {-# INLINE elmM #-}   elmM (List m) _ = m   {-# INLINE joinCons #-}-  joinCons (_, _, _) (List _) = f []+  joinCons (WC, _, WC) (List _) tgt = [ (undefined, x, undefined) | x <- tgt ]+  joinCons (WC, _, _) (List _) tgt = [ (undefined, x, rs) | (x:rs) <- tails tgt ]+  joinCons (_, _, _) (List _) tgt = f [] tgt    where     f _ [] = []     f rhs (x : ts) = (reverse rhs, x, ts) : f (x : rhs) ts

@@ -184,7 +184,7 @@   go (Pat.Pattern cName ps) mName tName body | all isPatVar ps = do     mNames <- mapM (\_ -> newName "tmpM") ps     tNames <- mapM (\_ -> newName "tmpT") ps-    let pps = map toPP ps+    let pps = map (Just . toPP) ps     body' <- foldrM go' body (zip3 ps mNames tNames)     pure       $        AppE@@ -194,7 +194,7 @@   go (Pat.Pattern cName ps) mName tName body = do     mNames <- mapM (\_ -> newName "tmpM") ps     tNames <- mapM (\_ -> newName "tmpT") ps-    let pps = map toPP ps+    let pps = map (Just . toPP) ps     body' <- foldrM go' body (zip3 ps mNames tNames)     pure       $        let_

@@ -1,6 +1,6 @@ cabal-version:      2.0 name:               sweet-egison-version:            0.1.1.0+version:            0.1.1.1 synopsis:   Shallow embedding implementation of non-linear pattern matching @@ -47,7 +47,7 @@     , haskell-src-exts     , haskell-src-meta     , logict                      ^>=0.7.0-    , template-haskell+    , template-haskell            >= 2.16.0.0     , transformers    ghc-options: