Concepts status

Hello,

I’ve noticed that work on concepts has started.
Who should I contact to offer assistance?

Hi Chris,

I’ve been working on this alongside Nathan so far.

My next step is to get the associated constraints tied to template declarations. I’m working constrained class templates first.

I believe Nathan still intends to work on requires-expressions.

Concept definitions are implemented to the point that work can be done on adding an implementation of constrained-parameters (at least the parsing is safe to do for now). I’m not a fan of template-introductions, but those are also in a similar state.

I suggest avoiding abbreviated function template syntax for now.

Unfortunately, being able to retrieve the associated constraints from a template declaration is a prerequisite for most of the other work (and therefore a bit of a bottleneck).

– HT

Hi Chris,

Apologies for the delayed reply. What Hubert said is all correct.

I’ve done a bit of 7.1.7 (dcl.spec.concept), but feel free to add coverage. The tests for what is completed for that portion are under test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/ so you could infer from there for what still needs to be done.

Let me know if you want more pointers as far as that goes.

Thanks!

Nathan