Unverified Commit a0a82918 authored by Sven Keidel's avatar Sven Keidel
Browse files

set innermost and outermost to INLINE

parent 98dd62d2
Pipeline #167970 failed with stages
in 65 minutes and 32 seconds
......@@ -56,7 +56,7 @@ innermost f = proc call -> do
iterate -< callNew
NotInSCC ->
returnA -< resultNew
{-# INLINABLE innermost #-}
{-# INLINE innermost #-}
outermost :: forall c a b.
(?cacheWidening :: Widening c, ArrowChoice c,
......@@ -91,7 +91,7 @@ outermost f = proc call -> do
Unstable ->
iterate -< callNew
_ -> returnA -< resultNew
{-# INLINABLE outermost #-}
{-# INLINE outermost #-}
-- type IterationStrategy c a b = c a b -> c (Stable,a,b) b -> c a b
......
Supports Markdown
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