comp.lang.ada
 help / color / mirror / Atom feed
From: Markus Schoepflin <nospam@no.spam>
Subject: Re: Enumeration representation clause surprise.
Date: Fri, 13 Jun 2008 16:45:09 +0200
Date: 2008-06-13T16:45:09+02:00	[thread overview]
Message-ID: <g2u15l$2a1$1@nntp.ilk.net> (raw)
In-Reply-To: <1c847838-26d7-4517-a010-1851aa12351a@m3g2000hsc.googlegroups.com>

Mike Silva wrote:

> So that's why I'm wondering why compiler writers ever introduced biased
> representations in the first place.  I can't believe that the problem
> with this approach has only been noticed in 2008.

In the project where I was bitten by this, it is clearly not the first time
that this problem has occurred.

In my search for other occurrences of the problem in the full source code
(a few million SLOC) of the system, I discovered an old comment dating back
from 1996, indicating that they had the same issue back then.

> Aren't biased representations fundamentally incompatible with "the 
> representation clearly *does* matter"?

 From my point of view, biased representations and representation clauses
should be mutually exclusive. Whenever I care enough about the 
representation that I think it necessary to write a representation clause, 
the compiler shouldn't fiddle with that representation behind my back.

Markus



  reply	other threads:[~2008-06-13 14:45 UTC|newest]

Thread overview: 42+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-06-11 11:38 Enumeration representation clause surprise Markus Schoepflin
2008-06-11 12:30 ` christoph.grein
2008-06-11 12:56   ` Markus Schoepflin
2008-06-11 13:08     ` christoph.grein
2008-06-11 13:28     ` Samuel Tardieu
2008-06-11 13:48       ` Markus Schoepflin
2008-06-11 13:56         ` Samuel Tardieu
2008-06-11 14:58       ` Adam Beneschan
2008-06-11 15:23         ` Markus Schoepflin
2008-06-12  2:37           ` Randy Brukardt
2008-06-12  2:37           ` Randy Brukardt
2008-06-11 15:56         ` Samuel Tardieu
2008-06-11 19:10           ` Adam Beneschan
2008-06-11 19:59             ` Niklas Holsti
2008-06-12  1:16               ` tmoran
2008-06-12  8:27                 ` christoph.grein
2008-06-12  8:45               ` Markus Schoepflin
2008-06-12 16:43                 ` Mike Silva
2008-06-12 18:41                   ` Markus Schöpflin
2008-06-12 20:10                     ` Mike Silva
2008-06-12 20:52                       ` Simon Wright
2008-06-12 23:36                         ` Mike Silva
2008-06-13  5:49                           ` Simon Wright
2008-06-13  7:21                       ` Keith Thompson
2008-06-13 13:31                         ` Mike Silva
2008-06-13 14:45                           ` Markus Schoepflin [this message]
2008-06-13 17:52                           ` Keith Thompson
2008-06-13  9:14                       ` Jean-Pierre Rosen
2008-06-12 19:05 ` richtmyer
2008-06-12 21:26   ` Samuel Tardieu
2008-06-12 22:42     ` Adam Beneschan
2008-06-13  7:11       ` Samuel Tardieu
2008-06-13  8:27       ` christoph.grein
2008-06-13 16:21         ` Adam Beneschan
2008-06-15 19:33           ` Robert A Duff
2008-06-16 14:50             ` Adam Beneschan
2008-06-16 19:18               ` Robert A Duff
2008-06-17  6:03               ` christoph.grein
2008-06-17  7:22                 ` christoph.grein
2008-06-13  8:24     ` Peter Hermann
2008-06-13 14:47       ` Samuel Tardieu
2008-06-14 11:48         ` John B. Matthews
replies disabled

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