On Sunday, 19 November 2017 at 11:02:37 UTC, bauss wrote:
On Sunday, 19 November 2017 at 08:13:32 UTC, Tony wrote:
On Sunday, 19 November 2017 at 08:05:38 UTC, Tony wrote:
OK, but how would someone who is looking at:
https://docarchives.dlang.io/v2.074.0/spec/contracts.html
I wish this board had an edit function. That should be
"OK, but how would someone who is looking at:
https://dlang.org/spec/contracts.html
They wouldn't need to know. Obviously they know its purpose and
how it works if they have it in their source code, if they
don't have it in their source code and they look at contracts,
then they will be fine either way
They won't be fine either way if they are using LDC or GDC right
now or they are using a slightly older version of DMD and they
want to try using contracts. They will look at the documentation
and think that they need to write "do" and their version of the
compiler will only accept "body", which won't be documented.
as it's not a required keyword anymore and thus doesn't require
documentation, since you can achieve the same semantics without
using the keyword.
The keyword is completely irrelevant unless you're maintaining
old source codes, in which case you should already be aware of
how it functions and if you aren't then a little research won't
hurt.
"do" doesn't appear to be optional and the compiler still talks
about the deprecated "body", even if any mention of it has been
removed from the documentation:
import std.stdio : writeln;
int MyFunction(int input)
in
{
assert(input >= 0);
}
out (result)
{
assert(result > 100);
}
{
return input + 100;
}
void main()
{
writeln("output: ",MyFunction(10));
}
dmd --version
DMD64 D Compiler v2.077.0
Copyright (c) 1999-2017 by Digital Mars written by Walter Bright
dmd test_contracts.d
test_contracts.d(13): Error: missing `body { ... }` after `in` or
`out`
