8a9789c · patch · git.iko.soy

git.iko.soy/patch

on develop help sign in

Fixes for ghc 8.8.1

8a9789cHamish Mackenzie7 years ago

reflex.cabal+5−5

compare with develop

unifiedsplit

@@ -50,7 +50,7 @@ library

50 hs-source-dirs: src

51 build-depends:

52 MemoTrie == 0.6.*,

53− base >= 4.9 && < 4.13,

53+ base >= 4.9 && < 4.14,

54 bifunctors >= 5.2 && < 5.6,

55 comonad >= 5.0.4 && < 5.1,

56 constraints-extras >= 0.3 && < 0.4,

@@ -63,14 +63,14 @@ library

63 mtl >= 2.1 && < 2.3,

64 prim-uniq >= 0.1.0.1 && < 0.2,

65 primitive >= 0.5 && < 0.8,

66− profunctors >= 5.3 && < 5.5,

66+ profunctors >= 5.3 && < 5.6,

67 random == 1.1.*,

68 ref-tf == 0.4.*,

69 reflection == 2.1.*,

70 semigroupoids >= 4.0 && < 6,

71 stm >= 2.4 && < 2.6,

72 syb >= 0.5 && < 0.8,

73− time >= 1.4 && < 1.9,

73+ time >= 1.4 && < 1.10,

74 transformers >= 0.5.6.0 && < 0.6,

75 unbounded-delays >= 0.1.0.0 && < 0.2,

76 witherable >= 0.3 && < 0.3.2

@@ -150,9 +150,9 @@ library

150 cpp-options: -DUSE_TEMPLATE_HASKELL

151 build-depends:

152 dependent-sum >= 0.6 && < 0.7,

153− haskell-src-exts >= 1.16 && < 1.22,

153+ haskell-src-exts >= 1.16 && < 1.23,

154 haskell-src-meta >= 0.6 && < 0.9,

155− template-haskell >= 2.9 && < 2.15

155+ template-haskell >= 2.9 && < 2.16

156 exposed-modules:

157 Reflex.Dynamic.TH

158 other-extensions: TemplateHaskell

src/Reflex/Class.hs−1

@@ -663,7 +663,6 @@ instance Reflex t => Monad (Behavior t) where

663 a >>= f = pull $ sample a >>= sample . f

664 -- Note: it is tempting to write (_ >> b = b); however, this would result in (fail x >> return y) succeeding (returning y), which violates the law that (a >> b = a >>= \_ -> b), since the implementation of (>>=) above actually will fail. Since we can't examine 'Behavior's other than by using sample, I don't think it's possible to write (>>) to be more efficient than the (>>=) above.

665 return = constant

666− fail = error "Monad (Behavior t) does not support fail"

667

666

668instance (Reflex t, Monoid a) => Monoid (Behavior t a) where

667instance (Reflex t, Monoid a) => Monoid (Behavior t a) where

669 mempty = constant mempty

668 mempty = constant mempty

src/Reflex/Spider/Internal.hs+10

@@ -972,8 +972,10 @@ instance Monad (BehaviorM x) where

972 BehaviorM x >> BehaviorM y = BehaviorM $ x >> y

973 {-# INLINE return #-}

974 return x = BehaviorM $ return x

975+#if !MIN_VERSION_base(4,13,0)

975 {-# INLINE fail #-}

976 {-# INLINE fail #-}

976 fail s = BehaviorM $ fail s

977 fail s = BehaviorM $ fail s

978+#endif

977

979

978data BehaviorSubscribed x a

980data BehaviorSubscribed x a

979 = forall p. BehaviorSubscribedHold (Hold x p)

981 = forall p. BehaviorSubscribedHold (Hold x p)

@@ -2357,8 +2359,10 @@ instance HasSpiderTimeline x => Monad (Reflex.Class.Dynamic (SpiderTimeline x))

2357 x >>= f = SpiderDynamic $ dynamicDynIdentity $ newJoinDyn $ newMapDyn (unSpiderDynamic . f) $ unSpiderDynamic x

2359 x >>= f = SpiderDynamic $ dynamicDynIdentity $ newJoinDyn $ newMapDyn (unSpiderDynamic . f) $ unSpiderDynamic x

2358 {-# INLINE (>>) #-}

2360 {-# INLINE (>>) #-}

2359 (>>) = (*>)

2361 (>>) = (*>)

2362+#if !MIN_VERSION_base(4,13,0)

2360 {-# INLINE fail #-}

2363 {-# INLINE fail #-}

2361 fail _ = error "Dynamic does not support 'fail'"

2364 fail _ = error "Dynamic does not support 'fail'"

2365+#endif

2362

2366

2363{-# INLINABLE newJoinDyn #-}

2367{-# INLINABLE newJoinDyn #-}

2364newJoinDyn :: HasSpiderTimeline x => DynamicS x (Identity (DynamicS x (Identity a))) -> Reflex.Spider.Internal.Dyn x (Identity a)

2368newJoinDyn :: HasSpiderTimeline x => DynamicS x (Identity (DynamicS x (Identity a))) -> Reflex.Spider.Internal.Dyn x (Identity a)

@@ -2637,6 +2641,10 @@ instance Monad (SpiderHost x) where

2637 SpiderHost x >> SpiderHost y = SpiderHost $ x >> y

2641 SpiderHost x >> SpiderHost y = SpiderHost $ x >> y

2638 {-# INLINABLE return #-}

2642 {-# INLINABLE return #-}

2639 return x = SpiderHost $ return x

2643 return x = SpiderHost $ return x

2644+#if MIN_VERSION_base(4,13,0)

2645+

2646+instance MonadFail (SpiderHost x) where

2647+#endif

2640 {-# INLINABLE fail #-}

2648 {-# INLINABLE fail #-}

2641 fail s = SpiderHost $ fail s

2649 fail s = SpiderHost $ fail s

2642

2650

@@ -2660,8 +2668,10 @@ instance Monad (SpiderHostFrame x) where

2660 SpiderHostFrame x >> SpiderHostFrame y = SpiderHostFrame $ x >> y

2668 SpiderHostFrame x >> SpiderHostFrame y = SpiderHostFrame $ x >> y

2661 {-# INLINABLE return #-}

2669 {-# INLINABLE return #-}

2662 return x = SpiderHostFrame $ return x

2670 return x = SpiderHostFrame $ return x

2671+#if !MIN_VERSION_base(4,13,0)

2663 {-# INLINABLE fail #-}

2672 {-# INLINABLE fail #-}

2664 fail s = SpiderHostFrame $ fail s

2673 fail s = SpiderHostFrame $ fail s

2674+#endif

2665

2675

2666instance NotReady (SpiderTimeline x) (SpiderHostFrame x) where

2676instance NotReady (SpiderTimeline x) (SpiderHostFrame x) where

2667 notReadyUntil _ = pure ()

2677 notReadyUntil _ = pure ()