Re: unsatisfactory diagnostic

[Mark Tullsen]

Mark Jones wrote:
> 
> Your comment about giving smaller strongly connected components is
> interesting.  I noticed the same thing a couple of years ago, and the
> Hugs type checker uses this observation to type check some programs
> that might otherwise be rejected.  

Would you mind giving an example of this?  Thanks.

- Mark