Commit 2700f84e authored by Sven Keidel's avatar Sven Keidel

fix input widening operator

parent ef4c3b94
Pipeline #35336 passed with stages
in 51 minutes and 6 seconds
......@@ -46,12 +46,12 @@ maxSize limit strat f = proc a -> do
else strat f -< a
{-# INLINE maxSize #-}
widenInput :: (Complete a, ArrowStack a c) => Widening a -> FixpointCombinator c a b
widenInput :: ArrowStack a c => Widening a -> FixpointCombinator c a b
widenInput widen f = proc a -> do
m <- peek -< ()
f -< case m of
Nothing -> a
Just x -> snd $ x `widen` (x a)
Just x -> snd $ x `widen` a
{-# INLINE widenInput #-}
reuse :: (ArrowChoice c, ArrowStack a c) => (a -> [a] -> Maybe a) -> FixpointCombinator c a b
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment