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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Parsing Ada? Date: Mon, 08 Jun 2015 09:53:23 +0200 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <87k2vebpqk.fsf@adaheads.sparre-andersen.dk> References: <87pp5es5u4.fsf@adaheads.sparre-andersen.dk> <85mw0hte8w.fsf@stephe-leake.org> <8738282c2a.fsf@adaheads.sparre-andersen.dk> NNTP-Posting-Host: 109.59.87.188.mobile.3.dk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: loke.gir.dk 1433750011 26342 109.59.87.188 (8 Jun 2015 07:53:31 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 8 Jun 2015 07:53:31 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) Cancel-Lock: sha1:ymsqHkBBsODG3CYNmDvEtfxuSos= Xref: news.eternal-september.org comp.lang.ada:26212 Date: 2015-06-08T09:53:23+02:00 List-Id: Simon Wright wrote: > Jacob Sparre Andersen writes: >> - The functions to call for converting the formal parameter type to >> and from type String. > > This is going to be tricky to automate! My original plan was to require the existence of Image and Value functions declared in the same package as the types. But if I go for ASIS, I expect that I can check if the types have Image and Value functions as primitive operations, or have 'Image and 'Value attributes. If neither is the case, I can report the error already while analysing the package specification, instead of leaving it to the compiler to complain, when compiling the generated driver. Greetings, Jacob -- "It is very easy to get ridiculously confused about the tenses of time travel, but most things can be resolved by a sufficiently large ego."