🚀 go-pugleaf

In article <44fkc3$hj3@news0.rain.rg.net>, Paul Long <plong@perf.com> writes:
> What is the type of a parameter in a composite type that is constructed
> from two function types whose corresponding parameters have incompatible
> types? (Whew!) For example, what is the type of the composite type's
> parameter that is constructed from the following function declarations?
> 
>     void foo(volatile);
>     void foo(const a) {
>         a = 3;
>     }
> 
> Technical Corrigendum 1 says that "In the determination of type
> compatibility and of a composite type, ... each parameter declared with
> qualified type is taken as having the unqualified version of its declared
> type." So does that means that
>     1. the types of my two foo declarations are compatible,

Yes, as per TC1.

>     2. the composite type of the parameter is int,

Yes, as per TC1.

>     3. a is a modifiable lvalue, and

No.  TC1 only affects determining type compatibility and composite type,
neither of which apply to a.  a has it's defined type: const int.

>     4. this is a conforming program?

Probably. :-)
----
Larry Jones, SDRC, 2000 Eastman Dr., Milford, OH  45150-2789  513-576-2070
larry.jones@sdrc.com
When you're as far ahead of the class as I am, it doesn't take much time.
-- Calvin