File tree Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -113,8 +113,7 @@ deriving via ((t2 :: (* -> *) -> * -> *) ((t1 :: (* -> *) -> * -> *) m))
113
113
114
114
-- | Convert the state using safe coercion.
115
115
instance
116
- ( Coercible from to , HasSink tag from m
117
- , forall x y . Coercible x y => Coercible (m x ) (m y ) )
116
+ ( Coercible from to , HasSink tag from m )
118
117
=> HasSink tag to (Coerce to m )
119
118
where
120
119
yield_ tag = coerce @ (from -> m () ) $ yield_ tag
Original file line number Diff line number Diff line change 37
37
{-# LANGUAGE UnboxedTuples #-}
38
38
{-# LANGUAGE UndecidableInstances #-}
39
39
40
- {-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-}
40
+ {-# OPTIONS_GHC -Wno-simplifiable-class-constraints -Wno-deprecations #-}
41
41
42
42
module Capability.Writer
43
43
( -- * Interface
You can’t perform that action at this time.
0 commit comments