ADPfusion 0.4.0.1 → 0.4.0.2

raw patch · 2 files changed

+8/−5 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• ADP/Fusion/TH/Backtrack.hs +7/−4
• ADPfusion.cabal +1/−1

@@ -78,28 +78,31 @@  buildLeftType :: Name -> (Name, Name, Name) -> (Name, Name) -> [TyVarBndr] -> Type buildLeftType tycon (m, x, r) (mL, xL) = foldl AppT (ConT tycon) . map (VarT . go)-  where go (KindedTV z _)+  where go (PlainTV z)           | z == m        = mL  -- correct monad name           | z == x        = xL  -- point to new x type           | z == r        = xL  -- stream and return type are the same           | otherwise     = z   -- everything else can stay as is-        go s              = error $ "buildLeftType: " ++ show s+        go (KindedTV z _) = go (PlainTV z)+--        go s              = error $ "buildLeftType: " ++ show s  buildRightType :: Name -> (Name, Name, Name) -> (Name, Name, Name) -> [TyVarBndr] -> Type buildRightType tycon (m, x, r) (mR, xR, rR) = foldl AppT (ConT tycon) . map (VarT . go)-  where go (KindedTV z _)+  where go (PlainTV z)           | z == m    = mR           | z == x    = xR           | z == r    = rR           | otherwise = z+        go (KindedTV z _) = go (PlainTV z)  buildSigRType :: Name -> (Name, Name, Name) -> (Name) -> (Name, Name, Name) -> [TyVarBndr] -> Type buildSigRType tycon (m, x, r) (xL) (mR, xR, rR) = foldl AppT (ConT tycon) . map go-  where go (KindedTV z _)+  where go (PlainTV z)           | z == m    = VarT mR           | z == x    = (AppT (AppT (TupleT 2) (VarT xL)) (AppT ListT (VarT xR)))           | z == r    = VarT rR           | otherwise = VarT z+        go (KindedTV z _) = go (PlainTV z)  -- | 

@@ -1,5 +1,5 @@ name:           ADPfusion-version:        0.4.0.1+version:        0.4.0.2 author:         Christian Hoener zu Siederdissen, 2011-2015 copyright:      Christian Hoener zu Siederdissen, 2011-2015 homepage:       http://www.bioinf.uni-leipzig.de/Software/gADP/