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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,463c5796782db6d8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-04-10 23:35:03 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!msunews!not-for-mail
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: [Spark] Arrays of Strings
Date: Fri, 11 Apr 2003 02:28:02 -0400
Organization: Michigan State University
Message-ID: <b75nhi$hd1$1@msunews.cl.msu.edu>
References: <slrnb95ehu.ob.lutz@taranis.iks-jena.de>
 <1ec946d1.0304090942.3106b4e4@posting.google.com>
 <slrnb9aagi.p2.lutz@taranis.iks-jena.de>
 <1ec946d1.0304100609.52b0fac0@posting.google.com>
 <slrnb9b1r8.p2.lutz@taranis.iks-jena.de>
NNTP-Posting-Host: arctic.cse.msu.edu
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Xref: archiver1.google.com comp.lang.ada:36078
Date: 2003-04-11T02:28:02-04:00
List-Id: <comp.lang.ada>


"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrnb9b1r8.p2.lutz@taranis.iks-jena.de...


> Right, but I'm looking for the Spark frontend of this hide clause. );
>
> How do I do this in a Spark frontend? Of course, I can hide the whole
> program, but this is not really a solution.

Couldn't you just create an inlined procedure for each literal call to
execv?
This way you could just hide the execv call in the body while keeping the
rest of your code in Spark.