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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,64f0fb07a88662b1
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
Subject: Re: Contract checking in Ada
Date: Thu, 31 Mar 2005 08:22:36 +0100
Organization: BAE SYSTEMS
Message-ID: <424ba381$1_1@glkas0286.greenlnk.net>
References: <424a9079$0$11482$9b4e6d93@newsread2.arcor-online.net>
 <0ux2e.4977$nP.4533@reader1.news.jippii.net>
 <d_qdnXdxk-j5xdbfRVn-1A@megapath.net> <op.soheshu15afhvo@localhost>
 <d2g4bo$l0k$1@titan.btinternet.com>
X-Trace: individual.net 0ob4fOqXXOyO+xLrxs3R5wFngu1nst788OxIjkxGkwQVub+urr
X-Orig-Path: glkas0286.greenlnk.net!glkas0286!not-for-mail
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
X-Original-NNTP-Posting-Host: glkas0286.greenlnk.net
Xref: g2news1.google.com comp.lang.ada:10176
Date: 2005-03-31T08:22:36+01:00
List-Id: <comp.lang.ada>

Martin Dowie wrote:
> I don't know if Randy is refering to the AdaUK conference that Tucker
> spoke at but - as far as I can recall - the vote went against them
> there.

Ok, found a like http://www.ada-auth.org/ai-files/grab_bag/adauk200y.zip

Check slide 39. Compared to other proposed features pre/post & invariant
were voted a lower priority by those attending (vast majority being users).

These were the only votes where no one considered them high priority.

I voted for both as 'medium' priority - I didn't buy into the idea that this
would confuse people about SPARK.

Cheers

-- Martin