[Haskell-cafe] Re: haskell compiler never comes back

Greg Meredith lgreg.meredith at biosimilarity.com
Mon Dec 15 17:40:17 EST 2008


Thanks for the response. If i take out the AllowUndecidableInstances i get
no complaints and the compiler hangs. See
Thus, i can find no observable difference for this flag in this particular
code sample.

Best wishes,


On Mon, Dec 15, 2008 at 2:34 PM, George Pollard <porges at porg.es> wrote:

> This is precisely what AllowUndecidableInstances allows; the type
> checking becomes possibly non-terminating. It should *eventually*
> terminate because the stack depth is restricted.
> - George

L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081215/f624188e/attachment.htm

More information about the Haskell-Cafe mailing list