On Fri, Aug 9, 2013 at 2:13 AM, Florian Weimer <fwei...@redhat.com> wrote: > On 08/09/2013 08:43 AM, Paolo Carlini wrote: > >>> Yes, that is intended. Changing that could mean that the meaning of >>> code depends on what max depth the user selected. >> >> >> Indeed. Yesterday I wondered what would happen if the front-end had a way >> to detect, in some very specific and special cases only of course, really >> infinite recursions, in the sense that no increase in the depth would "cure" >> them. Would it be ok in that case to sfinae away? > > > Eh, hopefully not. Otherwise, program behavior would depend on how well the > compiler solves the halting problem. > > It's interesting question, but hopefully we can make all errors due to > exceeded implementation limits hard errors, not subject to SFINAE.
agreed. -- Gaby