[Issue 6857] Precondition contract checks should be statically bound.
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Mon May 7 12:25:29 PDT 2012
http://d.puremagic.com/issues/show_bug.cgi?id=6857
--- Comment #69 from Stewart Gordon <smjg at iname.com> 2012-05-07 12:26:47 PDT ---
(In reply to comment #68)
> 1. pass by ref is semantically very different from pass by value. It is
> necessary to support both.
The function that implements a contract is an internal thing. If you can
implement said function to receive the struct by value, you can equally
implement it to receive the struct by reference.
> 2. D supports using C calling conventions, including having contracts on
> functions callable from C.
But the contract itself doesn't need to be callable from C. Only the overall
function does.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list