15 Dec
2008
15 Dec
'08
5:40 p.m.
George,
Thanks for the response. If i take out the AllowUndecidableInstances i get
no complaints and the compiler hangs. See
thishttp://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
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