comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Erroneous code generation from GNAT or GCC?
Date: Wed, 01 May 2013 20:19:10 +0200
Date: 2013-05-01T20:19:10+02:00	[thread overview]
Message-ID: <klrm4k$clo$1@dont-email.me> (raw)
In-Reply-To: <lyr4hrrg7y.fsf@pushface.org>

Le 30/04/2013 21:06, Simon Wright a écrit :
> The whole thing is bizarre: code statements are written using the form
> of a qualified expression though clearly not a qualified expression
> since it can't be assigned anywhere!

Ada 83 had a requirement to allow inclusion of machine code. There was
therefore a need to have a syntactic form that would fit every possible
machine code. It made sense to represent a machine instruction as a kind
of record, with fields like op-code, registers, address... Specifying
code statements as aggregates provided the necessary flexibility without
inventing a new syntactic form.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr



      parent reply	other threads:[~2013-05-01 18:19 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-04-27 21:08 GNAT not generating any code for sub‑program: known bug? Yannick Duchêne (Hibou57)
2013-04-27 22:22 ` Yannick Duchêne (Hibou57)
2013-04-27 23:48   ` Yannick Duchêne (Hibou57)
2013-04-28  7:14   ` Simon Wright
2013-04-28 17:52     ` Yannick Duchêne (Hibou57)
2013-04-28 19:27       ` Yannick Duchêne (Hibou57)
2013-04-28 20:46         ` Simon Wright
2013-04-28 20:43       ` Simon Wright
2013-04-28 22:35 ` Erroneous code generation from GNAT or GCC? Yannick Duchêne (Hibou57)
2013-04-28 22:49   ` Yannick Duchêne (Hibou57)
2013-04-28 23:52   ` Yannick Duchêne (Hibou57)
2013-04-29  1:35     ` Yannick Duchêne (Hibou57)
2013-04-30  0:48       ` Yannick Duchêne (Hibou57)
2013-04-30  6:40         ` Simon Wright
2013-04-30 17:04           ` Yannick Duchêne (Hibou57)
2013-04-30 19:06             ` Simon Wright
2013-04-30 21:28               ` Yannick Duchêne (Hibou57)
2013-04-30 22:22                 ` Simon Wright
2013-05-01 18:19               ` J-P. Rosen [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox