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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,aa0ebfe6afda2b3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!q8g2000vbm.googlegroups.com!not-for-mail
From: Rod Chapman <roderick.chapman@googlemail.com>
Newsgroups: comp.lang.ada
Subject: 
 =?windows-1252?Q?Re=3A_SPARK_syntax_and_=93use_type=94_=3A_lack_of_featur?=
	=?windows-1252?Q?e_=3F?=
Date: Tue, 25 May 2010 00:29:43 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <2ad2886d-3d2c-44b2-bcfe-59172f76436d@q8g2000vbm.googlegroups.com>
References: <op.vc73ixt2ule2fv@garhos>
 <17c936fc-66ce-4bb9-ba5a-069d9ed5a2fe@l6g2000vbo.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1274772583 11434 127.0.0.1 (25 May 2010 07:29:43
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 25 May 2010 07:29:43 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: q8g2000vbm.googlegroups.com; posting-host=217.205.167.137;
	posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.1.9)
	Gecko/20100315 Firefox/3.5.9 (.NET CLR 3.5.30729),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11957
Date: 2010-05-25T00:29:43-07:00
List-Id: <comp.lang.ada>

>On May 25, 12:01=A0am, Phil Thornley <phil.jpthorn...@googlemail.com> wrot=
e:

Phil is basically correct.

"use type" is only permitted in the language definition in two places:

1) As a context clause

2) Directly following an embedded package specification.

BUT...

1) is fully implemented.

2) is NOT implemented by any version of the Examiner.

This is documented (somewhat briefly) in section 11.1.1 of
the toolset release note, and page 402 of the book.
 - Rod