Re: [PATCH] Giant concepts patch

On Sun, Jul 10, 2016 at 11:20 AM, Andrew Sutton wrote: > I did find another bug building cmcstl2, hence the attached > disable-opt patch. For some reason, the memoization of concept > satisfaction is giving momoized results for concept + args that have > not yet been

Re: [PATCH] Giant concepts patch

On Sun, Jul 10, 2016 at 11:20 AM, Andrew Sutton wrote: > I just tried building a fresh pull of cmcstl2, and I'm not seeing any > errors as a result of not handling those missing codes in > tsubst_constraint. At one point, I think it was not possible to get > those other

Re: [PATCH] Giant concepts patch

Ah sure. Jason has been vetting my post-Jacksonville concepts patch in the branch jason/concepts-rewrite. I just pulled this off the github GCC mirror this morning to look at an outstanding question. Resulted in the previous 2 patches. I tried building a fresh pull of your cmcstl2 and got an

Re: [PATCH] Giant concepts patch

I just tried building a fresh pull of cmcstl2, and I'm not seeing any errors as a result of not handling those missing codes in tsubst_constraint. At one point, I think it was not possible to get those other constraints in this context because they were nested in a parm_constr. But that seems

Re: [PATCH] Giant concepts patch

On Wed, Jun 22, 2016 at 2:25 AM, Andrew Sutton wrote: >> > I've run into some trouble building cmcstl2: declarator requirements >> > on a function can lead to constraints that tsubst_constraint doesn't >> > handle. What was your theory of only handling a few _CONSTR

Re: [PATCH] Giant concepts patch

I've pushed my work-in-progress integration branch to jason/concepts-rewrite. Jason On Mon, Jun 20, 2016 at 4:28 PM, Jason Merrill wrote: > On Fri, Mar 25, 2016 at 1:33 AM, Andrew Sutton > wrote: >> I'll just leave this here... >> >> This patch

Re: [PATCH] Giant concepts patch

On Fri, Mar 25, 2016 at 1:33 AM, Andrew Sutton wrote: > I'll just leave this here... > > This patch significantly improves performance with concepts (i.e., > makes it actually usable for real systems) and improves the > specificity of diagnostics when constraints fail.