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

[Greg Meredith]

George,

Thanks for the response. If i take out the AllowUndecidableInstances i get
no complaints and the compiler hangs. See
this<http://paste.pocoo.org/show/95523/>.
Thus, i can find no observable difference for this flag in this particular
code sample.

Best wishes,

--greg

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

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