[Issue 6857] Precondition contract checks should be statically bound.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6857



--- Comment #81 from Stewart Gordon <smjg at iname.com> 2012-07-10 05:05:48 PDT ---
(In reply to comment #80)
> (In reply to comment #79)
>> - we have variadics that are really just C's variadics with 
>> typeinfo added
> 
> We also have C's variadics.

But no use case I can see for using a C-style variadic for a D class method.

>> Something else I should've realised earlier: Why do D class methods 
>> need to be directly callable from C?  (How does C code hold a 
>> reference to a D object, anyway?)  Indeed, is even C++ designed to 
>> accommodate this?
> 
> COM classes defined in D are callable from C (and you could define 
> other classes the same way).

But do any COM interfaces define C-style variadic methods?  Do we need to be
open to this possibility, or are we wasting our time by worrying about it?

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