Thanks for the response. If i take out the AllowUndecidableInstances i get no complaints and the compiler hangs. See this. 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@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