[sv-bc] Task and Function inout port with default argument

Just my 2 cents on this (again sorry for the form of the reply;
I hope that the email stuff gets figured out soon!).

I don't think that non-lvals should be permitted for inout defaults
(or out/ref defaults) at all.  The LRM reading (modified by the name
resolution issues) views defaults as a form of substitution.  I
think that the default must be valid for the mode of the formal
*as though* it were called that way.  Since a constant wouldn't
be valid for an inout, it shouldn't be valid as the default.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com