[sv-ec] 1858 (inline constraint name resolution) proposal uploaded

I have uploaded my proposal for the inline constraint
resolution.  If Arturo uploads a "local::" proposal at
some point, I'd be willing to normalize them.  Note that
I rewrote the resolution rules to more clearly express
the intent that all normal resolution rules apply if the
name does not exist in the randomize...with class object.

Arturo, feel free to use that language or propose something
else, but I think that the current description of how the
outer scopes are handled is incomplete at best.

My proposal is 1858-randomize_with_syntax.htm attached
to Mantis 1858.

As a side note, the "inline_constraint_declaration"
production does not exist in the Annex A grammar.  I
didn't attach a proposal to fix that since I don't have
the time at this point to rummage through the grammar
to determine how to fix things.

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


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.