• Ozan (17/17) Feb 29 2016 Is it possible to combine template conditions and contracts?
• Alex Parrill (2/20) Feb 29 2016 You have a spare { after the template constraint in your sample
• Daniel Kozak via Digitalmars-d-learn (23/36) Feb 29 2016 import std.traits;
• Daniel Kozak via Digitalmars-d-learn (19/36) Feb 29 2016 auto square_root(T)(T x) if (isBasicType!T)

Ozan <ozan.sueel gmail.com> writes:

Is it possible to combine  template conditions and contracts?
Like in the following


T square_root(T)(T x)  if (isBasicType!T) {
in
{
     assert(x >= 0);
}
out (result)
{
     assert((result * result) <= x && (result+1) * (result+1) > x);
}
body
{
     return cast(long)std.math.sqrt(cast(real)x);
}

Compiler says no. Maybe it's a missunderstanding from my side..

Thanks & regards, Ozan

Alex Parrill <initrd.gz gmail.com> writes:

On Monday, 29 February 2016 at 14:38:52 UTC, Ozan wrote:
 Is it possible to combine  template conditions and contracts?
 Like in the following


 T square_root(T)(T x)  if (isBasicType!T) {
 in
 {
     assert(x >= 0);
 }
 out (result)
 {
     assert((result * result) <= x && (result+1) * (result+1) > 
 x);
 }
 body
 {
     return cast(long)std.math.sqrt(cast(real)x);
 }

 Compiler says no. Maybe it's a missunderstanding from my side..

 Thanks & regards, Ozan

You have a spare { after the template constraint in your sample

Daniel Kozak via Digitalmars-d-learn <digitalmars-d-learn puremagic.com> writes:

Dne 29.2.2016 v 15:38 Ozan via Digitalmars-d-learn napsal(a):
 T square_root(T)(T x)  if (isBasicType!T) {
 in
 {
     assert(x >= 0);
 }
 out (result)
 {
     assert((result * result) <= x && (result+1) * (result+1) > x);
 }
 body
 {
     return cast(long)std.math.sqrt(cast(real)x);
 } 

import std.traits;
import std.math;

template square_root(T) if (isBasicType!T) {
     auto square_root(T x)
     in
     {
         assert(x >= 0);
     }
     out (result)
     {
         assert((result * result) <= x && (result+1) * (result+1) > x);
     }
     body
     {
         return cast(long)std.math.sqrt(cast(real)x);
     }
}

void main()
{
     import std.stdio: writeln;
     writeln(square_root(2));
}

Daniel Kozak via Digitalmars-d-learn <digitalmars-d-learn puremagic.com> writes:

auto square_root(T)(T x) if (isBasicType!T)
in
{
     assert(x >= 0);
}
out (result)
{
     assert((result * result) <= x && (result+1) * (result+1) > x);
}
body
{
     return cast(long)std.math.sqrt(cast(real)x);
}

void main()
{
     import std.stdio: writeln;
     writeln(square_root(2));
}

Dne 29.2.2016 v 15:38 Ozan via Digitalmars-d-learn napsal(a):
 Is it possible to combine  template conditions and contracts?
 Like in the following


 T square_root(T)(T x)  if (isBasicType!T) {
 in
 {
     assert(x >= 0);
 }
 out (result)
 {
     assert((result * result) <= x && (result+1) * (result+1) > x);
 }
 body
 {
     return cast(long)std.math.sqrt(cast(real)x);
 }

 Compiler says no. Maybe it's a missunderstanding from my side..

 Thanks & regards, Ozan