postponing discussion on exceptions and deepSeq

Ross Paterson ross at
Wed Apr 12 09:46:44 EDT 2006

On Tue, Apr 11, 2006 at 09:54:12PM -0400, Robert Dockins wrote:
> An additional issue is the following instance declarations, which require 
> undecidable instances under GHC:
> Eq (s a) => Eq (Rev s a)
> (Sequence s, Read (s a)) => Read (Rev s a)
> (Sequence s, Show (s a)) => Show (Rev s a)

These are accepted by GHC 6.5, under a relaxed termination condition
that is a candidate for Haskell':

More information about the Haskell-prime mailing list