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,685d80ec307a0c
X-Google-Attributes: gid103376,public
From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: use of attribute Pos
Date: 2000/10/12
Message-ID: <8s4v1s$1gj$1@news.huji.ac.il>#1/1
X-Deja-AN: 680675637
References: <39E4A08D.B454CB1C@laas.fr> <kJ2F5.19$_H3.22643@nnrp1.sbc.net>
 <39E583F7.A971C8DB@laas.fr> <5DiF5.1987$tN5.213230@nnrp2.sbc.net>
 <39E5DE79.F61616EC@laas.fr> <gNlF5.7$bz5.13225@nnrp3.sbc.net>
 <39E5EBED.170B7E46@averstar.com>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211
X-Complaints-To: usenet@news.huji.ac.il
X-Trace: news.huji.ac.il 971374460 1555 132.64.12.17 (12 Oct 2000 18:14:20
 GMT)
Organization: The Hebrew University of Jerusalem
X-MSMail-Priority: Normal
NNTP-Posting-Date: 12 Oct 2000 18:14:20 GMT
Newsgroups: comp.lang.ada
Date: 2000-10-12T18:14:20+00:00
List-Id: <comp.lang.ada>


Tucker Taft <stt@averstar.com> wrote in message
 > Some attributes are type-related, and others are
> subtype-specific.  'First and 'Last are subtype-specific,
> whereas 'Pos, 'Image, (and all the attributes that are
> functions) are type-related.
>

To make things even more intersting for first time users of the language, an
attribute can mean sometinhg different when applied to a TYPE and to
VARIABLE.
V'frist means something different than T'first (V=VAR, T=TYPE).


--
Ehud Lamm   mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <==  Me!