199ab7c · patch · git.iko.soy

Eliminate an unsafeCoerce

commit199ab7cd7957367fe50ada78f52ad88f025a08df authorRyan Trinkle <ryan.trinkle@gmail.com> dateFri 5 Aug 2016, 12:01 (10 years ago) parentc1bcc10

1 file changed+1−1

unifiedsplit

src/Reflex/Spider/Internal.hs+1−1

@@ -2036,7 +2036,7 @@ instance R.Reflex (SpiderEnv x) where

20362036 {-# INLINABLE fan #-}

20372037 fan e = R.EventSelector $ SpiderEvent . select (fan (unSpiderEvent e))

20382038 {-# 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

20402040 {-# INLINABLE coincidence #-}

20412041 coincidence = SpiderEvent . coincidence . (coerce :: Event x (R.Event (SpiderEnv x) a) -> Event x (Event x a)) . unSpiderEvent

20422042 {-# INLINABLE current #-}