ADPfusion 0.2.0.3 → 0.2.0.4

raw patch · 2 files changed

+2/−1 lines, 2 files

Files

• ADP/Fusion/Multi/Empty.hs +1/−0
• ADPfusion.cabal +1/−1

@@ -26,6 +26,7 @@   ) => TermElm m (Term ts Empty) (is:.PointL) where   termStream (ts:!Empty) (io:.Outer) (is:.ij@(PointL(i:.j))) =     S.map (\(zs:!:(zix:.kl):!:zis:!:e) -> (zs:!:zix:!:(zis:.kl):!:(e:.())))+    . S.filter (const (i==j))     . termStream ts io is     . S.map (\(zs:!:zix:!:(zis:.kl)) -> (zs:!:(zix:.kl):!:zis))   {-# INLINE termStream #-}

@@ -1,5 +1,5 @@ name:           ADPfusion-version:        0.2.0.3+version:        0.2.0.4 author:         Christian Hoener zu Siederdissen, 2011-2013 copyright:      Christian Hoener zu Siederdissen, 2011-2013 homepage:       http://www.tbi.univie.ac.at/~choener/adpfusion