Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!haven!adm!smoke!gwyn
From: gwyn@smoke.BRL.MIL (Doug Gwyn)
Newsgroups: comp.std.c
Subject: Re: Interpretation needed Re: function prototypes (LONG)
Message-ID: <10523@smoke.BRL.MIL>
Date: 12 Jul 89 04:40:30 GMT
References: <12570014@hpclscu.HP.COM> <12570017@hpclwjm.HP.COM>
Reply-To: gwyn@brl.arpa (Doug Gwyn)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 12

In article <12570017@hpclwjm.HP.COM> walter@hpclwjm.HP.COM (Walter Murray) writes:
>I hope someone who understands "top type" will confirm my understanding
>on this, or straighten me out.

I think you got it right.  A pointer to a qualified type is not itself
a qualified type (unless of course an ADDITIONAL qualifier is supplied
at the top level).

You think 3.1.2.5 is puzzling now, you should have seen it before the
last major overhaul.  I think it's about as clear as we are able to
make it.  I don't know if that reflects upon the actual language design
or upon our ability to describe it..