[Issue 4720] contracts don't work on function definitions

2017-07-01 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=4720

Vladimir Panteleev  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||dlang-bugzilla@thecybershad
   ||ow.net
 Resolution|--- |INVALID

--- Comment #2 from Vladimir Panteleev  ---
No clarification in 4 years, closing :)

--

[Issue 4720] contracts don't work on function definitions

2016-11-24 Thread via Digitalmars-d-bugs 
https://issues.dlang.org/show_bug.cgi?id=4720

anonymous4  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=10235

--

[Issue 4720] contracts don't work on function definitions

2013-02-08 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=4720


Andrei Alexandrescu  changed:

   What|Removed |Added

 CC||and...@erdani.com


--- Comment #1 from Andrei Alexandrescu  2013-02-08 05:07:16 
PST ---
What is the expected use and effect of the code show? (Not sure I'm getting
it.) With or without contracts, externcontracts.foo and externcontracts2.foo
are distinct functions, so automatic forwarding from one another won't happen.

One obvious workaround would be:

module externcontracts;
import externcontracts2;
void foo(int a) in {assert(a>=0);} { return externcontracts2.foo(a); }

which may be automated in a number of ways (introspection, mixin etc).

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---

[Issue 4720] contracts don't work on function definitions

2010-08-24 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=4720


Don  changed:

   What|Removed |Added

 CC||clugd...@yahoo.com.au
   Severity|normal  |enhancement


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---