Interesting PRs: bringing type system legitimacy to shared allocators

jmh530 via Digitalmars-d digitalmars-d at puremagic.com
Fri Apr 28 11:04:06 PDT 2017


On Friday, 28 April 2017 at 17:09:22 UTC, Atila Neves wrote:
>
> https://github.com/atilaneves/concepts
>
> import concepts;
>
> @models!(isForwardRange, MyType)
> struct MyType { .... }
>
>
> Atila

I remember you had posted about this last year. It looks like 
you've added some stuff on ranges to it recently...interesting.

You might want to include an example in the Readme.md of using 
the concept as a template constraint for a function. Maybe like

void callfoo(T)(T x)
	if (isFoo!T)
{
	x.foo();
}

Foo foo;
callfoo(foo);


More information about the Digitalmars-d mailing list