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: 101deb,495b037244521cf3
X-Google-Attributes: gid101deb,public
X-Google-Thread: 103376,22b2c05a8088bbb2
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Leading zeros with Int_IO.Put()? Or another package?
Date: 1996/11/20
Message-ID: <dewar.848496171@merv>#1/1
X-Deja-AN: 197723633
references: <baldwinE0Eq2n.KLB@netcom.com>
 <327FB8A3.745B@itg-sepg.logicon.com> <55ubsh$lh0$1@goanna.cs.rmit.edu.au>
 <dewar.847457421@merv> <56bi13$3pa$1@goanna.cs.rmit.edu.au>
 <328A0DDD.94B@lmtas.lmco.com> <56rgou$r4k$1@goanna.cs.rmit.edu.au>
 <56tjrh$4ak$1@goanna.cs.rmit.edu.au>
organization: New York University
newsgroups: comp.lang.ada,comp.lang.pl1
Date: 1996-11-20T00:00:00+00:00
List-Id: <comp.lang.ada>


Richard says

"I also willingly concede that waiting until run time to check pictures
whose strings are known at compile time is not what I would have chosen.""

No need to concede, willingly or otherwise, points that are plain false!

There is nothing that stops a compiler from checking pictures at compile
time and issuing warnings, and compiling the picture, if the picture
string is static. 

GNAT doesn't do that yet (it's a convenience feature, and an optimization,
not a requirement), but it's on the list of things to do. Whether and
when it gets done depends on how much use the picture editing gets.

The way you would do this is to make the picture editing routines
compiler intrinsics, which is, as I say, on the list of possible
enhancements.