Hi all,
Well, I've got two problems which both want to be solved with undecidable
and overlapping instances. Obviously, I'd like to try and avoid them. For
the record, the problems have to do with the control-monad-failure and
convertible packages. The code below *should* make clear what I'm
On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
Hi all,
Well, I've got two problems which both want to be solved with undecidable and
overlapping instances. Obviously, I'd like to try and avoid them. For the
record, the problems have to do with the control-monad-failure and
On Sat, Dec 5, 2009 at 10:33 PM, José Iborra pepeibo...@gmail.com wrote:
On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
Hi all,
Well, I've got two problems which both want to be solved with undecidable
and overlapping instances. Obviously, I'd like to try and avoid them. For
the
Am Samstag 05 Dezember 2009 21:51:26 schrieb Michael Snoyman:
On Sat, Dec 5, 2009 at 10:33 PM, José Iborra pepeibo...@gmail.com wrote:
Since you have already decided MPTCs are ok, in my opinion undecidable
instances are fine here.
But I realize this is not the usual stance, so I might be