From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,63a41ccea0fc803a X-Google-Attributes: gid103376,public From: Matthew Heaney Subject: Re: Naming of Tagged Types and Associated Packages Date: 1998/07/28 Message-ID: #1/1 X-Deja-AN: 375684660 Sender: matt@mheaney.ni.net References: <6pdhfo$1br$1@platane.wanadoo.fr> <6pi0pf$df8$1@nnrp1.dejanews.com> <6pk3jf$gpm$1@platane.wanadoo.fr> NNTP-Posting-Date: Tue, 28 Jul 1998 08:35:31 PDT Newsgroups: comp.lang.ada Date: 1998-07-28T00:00:00+00:00 List-Id: "Jean-Pierre Rosen" writes: > >Read the RM. Show me one place in the RM where a type is named > >"Instance." > The RM has many qualities, but it is certainly not intended to be used as an > example ! I take the opposite position, and try to follow the spirit of the conventions in the RM. Perhaps this is the real basis of our disagreement.