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,95d036084078aa89
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Compiling, binding, and linking an Ada prog. interfaced with C
Date: 1998/08/04
Message-ID: <dewar.902213347@merv>#1/1
X-Deja-AN: 377751477
References: <1998072706002200.CAA02664@ladder01.news.aol.com>
 	<35BD28BF.A5B@atlas.otago.ac.nz> <6pn02g$2ue$1@mulga.cs.mu.OZ.AU>
 <EACHUS.98Jul30145039@spectre.mitre.org> <dewar.901945701@merv>
 <6q28po$42j$1@mulga.cs.mu.OZ.AU>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 902213419 28660 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-08-04T00:00:00+00:00
List-Id: <comp.lang.ada>

<<As it happens, both ISE Eiffel and Mercury translate to C.  That's
probably what prompted us to invent the feature in the first place.
But the feature can be implemented quite easily even in an implementation
that does not normally translate to C.
>>

No surprise! Yes, of course this is easy if you translate to C. But let's
have an example of implementing this where you do NOT translate into C.
I don't for a moment accept that this is technically reasonable or feasible.
It would be like requiring the acceptance of machine language inserts for
the IBM 370 on all targets.