While block and unblock have been removed from base, they are still
implementable
in modern GHC. So another possible future is to deprecate MonadCatchIO
(which should have been done a while ago, honestly!), but manually redefine
the functions so that old code keeps working.
Edward
Excerpts from
>
> Also I've seen at least one article about the incorrectness of
>> monad-control. That's one further reason I like to avoid it.
>>
>
> I'd appreciate a link if anyone could manage to find it. I haven't seen
> any criticisms of monad-control.
>
Oddly, I just stumbled across
http://blog.ezyang.
On Mon, Mar 4, 2013 at 12:07 AM, Ertugrul Söylemez wrote:
> Arie Peterson wrote:
>
> > Would anyone have a problem with a deprecation of
> > MonadCatchIO-transformers, and a failure to update it to work with a
> > base without 'block' and 'unblock'?
>
> Yes. This is a simplified variant of a mo
On Sunday 03 March 2013 17:07:18 Ertugrul Söylemez wrote:
> > Would anyone have a problem with a deprecation of
> > MonadCatchIO-transformers, and a failure to update it to work with a
> > base without 'block' and 'unblock'?
>
> Yes. This is a simplified variant of a monad I use:
>
> newtype
On Sun, Mar 3, 2013 at 6:07 PM, Ertugrul Söylemez wrote:
> Arie Peterson wrote:
>
> > Would anyone have a problem with a deprecation of
> > MonadCatchIO-transformers, and a failure to update it to work with a
> > base without 'block' and 'unblock'?
>
> Yes. This is a simplified variant of a mon
Ertugrul Söylemez wrote:
> newtype Continue f m a = Continue (m (Maybe a, f (Continue f a)))
Typo:
newtype Continue f m a = Continue (m (Maybe a, f (Continue f m a)))
Sorry.
Greets,
Ertugrul
--
Not to be or to be and (not to be or to be and (not to be or to be and
(not to be or to
Arie Peterson wrote:
> Would anyone have a problem with a deprecation of
> MonadCatchIO-transformers, and a failure to update it to work with a
> base without 'block' and 'unblock'?
Yes. This is a simplified variant of a monad I use:
newtype Continue f m a = Continue (m (Maybe a, f (Contin
Hi all,
The function 'block' and 'unblock' (from Control.Exception) have been
deprecated for some time, and are apparantly now being removed (in favour of
'mask').
Generalisations of these functions are (part of) the interface of
MonadCatchIO-transformers (the 'MonadCatchIO' class has methods
