Re: [sv-bc] Unclear LRM example for type compatibilty

From: Steven Sharp <sharp_at_.....>
Date: Wed Aug 05 2009 - 18:03:04 PDT
Mantis 1034 indicates that the rule numbers are for rules in the section
on matching types.  The fourth rule in that section (i.e. rule d) is
indeed the applicable rule.

The typedef t_5 only matches itself within the scope of the data type
identifier, t_5.  The t_5 in s1 is in the scope s1, while the t_5
in s2 is in the scope s2.  Therefore, they don't match.

Nor should they match.  The same typedef in two different instances
could represent completely different types due to parameterization.
They don't in this case, but that doesn't matter.  The rules do not
consider two separately declared struct types to match, even if they
happen to have the same internal components.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Aug 5 18:07:10 2009

This archive was generated by hypermail 2.1.8 : Wed Aug 05 2009 - 18:08:01 PDT