on develop help sign in
Eliminate an unsafeCoerce
199ab7cRyan Trinkle
src/Reflex/Spider/Internal.hs+1−1
@@ -2036,7 +2036,7 @@ instance R.Reflex (SpiderEnv x) where
2036 {-# INLINABLE fan #-}
2036 {-# INLINABLE fan #-}
2037 fan e = R.EventSelector $ SpiderEvent . select (fan (unSpiderEvent e))
2037 fan e = R.EventSelector $ SpiderEvent . select (fan (unSpiderEvent e))
2038 {-# INLINABLE switch #-}
2038 {-# INLINABLE switch #-}
2039− switch = SpiderEvent . switch . (unsafeCoerce :: Behavior x (R.Event (SpiderEnv x) a) -> Behavior x (Event x a)) . unSpiderBehavior
2039+ switch = SpiderEvent . switch . (coerce :: Behavior x (R.Event (SpiderEnv x) a) -> Behavior x (Event x a)) . unSpiderBehavior
2040 {-# INLINABLE coincidence #-}
2040 {-# INLINABLE coincidence #-}
2041 coincidence = SpiderEvent . coincidence . (coerce :: Event x (R.Event (SpiderEnv x) a) -> Event x (Event x a)) . unSpiderEvent
2041 coincidence = SpiderEvent . coincidence . (coerce :: Event x (R.Event (SpiderEnv x) a) -> Event x (Event x a)) . unSpiderEvent
2042 {-# INLINABLE current #-}
2042 {-# INLINABLE current #-}