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: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!easy.in-chemnitz.de!news2.arglkargh.de!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada platforms and pricing, was: Re: a new language, designed for safety ! Date: Thu, 19 Jun 2014 16:03:43 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <1402308235.2520.153.camel@pascal.home.net> <85ioo9yukk.fsf@stephe-leake.org> <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com> <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com> <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org> <857442918424729589.090275laguest-archeia.com@nntp.aioe.org> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: loke.gir.dk 1403211825 23892 69.95.181.76 (19 Jun 2014 21:03:45 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Thu, 19 Jun 2014 21:03:45 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Original-Bytes: 3095 Xref: number.nntp.dca.giganews.com comp.lang.ada:187076 Date: 2014-06-19T16:03:43-05:00 List-Id: "Natasha Kerensikova" wrote in message news:slrnlq54jv.i0l.lithiumcat@nat.rebma.instinctive.eu... ... > Maybe it's a vocabulary issue, but it's not the part where tokens are > carved out of input text that frighten me, but rather the first level of > interpretation: what entity is that word referring to? More > specifically, dealing with use clauses, prefix notations, overloading, > and stuff like that. That's the semantics. > Am I mistaken in assuming an ASIS provider takes care of that part as > well? It's supposed to, but there are enough holes that I suspect it will not be easy to use. > To clarify, I'm currently only contemplating doing the simplest > ASIS-to-LLVM-intermediate-form translator. That sounds like a week's work to me. :-) Well, it would be if ASIS made much sense, but the missing information about types and the like will make it into hell. I doubt there would be much advantage to starting from ASIS as opposed to a raw parse tree, and having your own parser would help a lot in the goal of making a separate compiler family. (Depending on the GNAT front-end to make your ASIS information is not exactly going to wean anyone from GNAT.) Randy.