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 <por...@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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe