git.iko.soy/patch
on develop help sign in
Quantify Control.Monad.fail in MonadFail instances

Pre 8.8, we ought to be clear which fail we intend to use here, even though they do the same thing.

commit8f460ca86ac9d3f4612e81a07715da116ff39d6a authorJohn Ericson <John.Ericson@Obsidian.Systems> dateMon 30 Dec 2019, 17:04 (7 years ago) parent0cbcdde
1 file changed+3−3
compare with develop
unifiedsplit
src/Reflex/Spider/Internal.hs+3−3
src/Reflex/Spider/Internal.hs+3−3
@@ -981,7 +981,7 @@ instance Monad (BehaviorM x) where
981981
982982instance MonadFail (BehaviorM x) where
983983 {-# INLINABLE fail #-}
984− fail s = BehaviorM $ fail s
984+ fail s = BehaviorM $ MonadFail.fail s
985985
986986data BehaviorSubscribed x a
987987 = forall p. BehaviorSubscribedHold (Hold x p)
@@ -2654,7 +2654,7 @@ instance Monad (SpiderHost x) where
26542654
26552655instance MonadFail (SpiderHost x) where
26562656 {-# INLINABLE fail #-}
2657− fail s = SpiderHost $ fail s
2657+ fail s = SpiderHost $ MonadFail.fail s
26582658
26592659-- | Run an action affecting the global Spider timeline; this will be guarded by
26602660-- a mutex for that timeline
@@ -2683,7 +2683,7 @@ instance Monad (SpiderHostFrame x) where
26832683
26842684instance MonadFail (SpiderHostFrame x) where
26852685 {-# INLINABLE fail #-}
2686− fail s = SpiderHostFrame $ fail s
2686+ fail s = SpiderHostFrame $ MonadFail.fail s
26872687
26882688instance NotReady (SpiderTimeline x) (SpiderHostFrame x) where
26892689 notReadyUntil _ = pure ()