on develop help sign in
Merge remote-tracking branch 'origin/ghc-8.2' into develop
commitf3b310145a1afa6b448bdb060141ec16c18f0342 authorRyan Trinkle <ryan.trinkle@gmail.com> dateSun 13 Aug 2017, 17:45 (9 years ago) parent962d419e14da86
2 files changed+2−2
reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−1 reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+1−1
reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−1
@@ -631,7 +631,7 @@ type LiftDomBuilder t f m =
631631
632632class MonadTransControl t => MonadTransControlStateless t where
633633 stTCoercion :: proxy t -> Coercion (StT t a) a
634− default stTCoercion :: proxy t -> Coercion a a
634+ default stTCoercion :: (a ~ StT t a) => proxy t -> Coercion (StT t a) a
635635 stTCoercion _ = Control.Category.id
636636
637637toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+1−1
@@ -232,7 +232,7 @@ runImmediateDomBuilderT (ImmediateDomBuilderT a) env eventChan = do
232232
233233class Monad m => HasDocument m where
234234 askDocument :: m Document
235− default askDocument :: (m ~ f m', MonadTrans f, Monad m', HasDocument m') => f m' Document
235+ default askDocument :: (m ~ f m', MonadTrans f, Monad m', HasDocument m') => m Document
236236 askDocument = lift askDocument
237237
238238instance HasDocument m => HasDocument (ReaderT r m)