From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada package registry?
Date: Mon, 8 Feb 2016 16:58:57 -0600
Date: 2016-02-08T16:58:57-06:00 [thread overview]
Message-ID: <n9b6ji$g3d$1@loke.gir.dk> (raw)
In-Reply-To: dbd56a53-7a9c-4707-8d6d-0156174f7263@googlegroups.com
<gautier_niouzes@hotmail.com> wrote in message
news:dbd56a53-7a9c-4707-8d6d-0156174f7263@googlegroups.com...
> Regarding the U2200 machine I think it's OK. The type in question is:
>
> min_bits: constant:= Integer'Max(32, System.Word_Size);
> -- 13.3(8): A word is the largest amount of storage that can be
> -- conveniently and efficiently manipulated by the hardware,
> -- given the implementation's run-time model.
>
> type Integer_M32 is range -2**(min_bits-1) .. 2**(min_bits-1) - 1;
> -- We define an Integer type which is at least 32 bits, but n bits
> -- on a native n > 32 bits architecture (no performance hit on 64+
> -- bits architectures).
>
> You say: "The lower bound would have to be -2**(min_bits-1)-1 on such a
> machine.". Since -2**(min_bits-1) > -2**(min_bits-1)-1, Integer_M32 is a
> subrange of what you mean and it should be OK.
>
> I let you the pleasure of trying the actual compilation for the U2200. I
> wait with excitement for the results ;-).
Since we didn't implement stream attributes until after that project petered
out, it sadly wouldn't prove anything. But I know I say String'Read in there
somewhere, and the 9-bit Size for Character on the U2200 would have
interesting effects.
It really doesn't make sense to run those programs on the U2200 anyway; no
browsers or that sort of thing there. They had a POSIX emulator, but that
was about as modern as it got.
Randy.
next prev parent reply other threads:[~2016-02-08 22:58 UTC|newest]
Thread overview: 132+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-29 1:13 Ada package registry? olivier.henley
2016-01-29 3:43 ` gautier_niouzes
2016-01-29 22:06 ` Randy Brukardt
2016-01-30 17:21 ` Dirk Heinrichs
2016-01-29 14:20 ` David Botton
2016-01-29 22:27 ` Randy Brukardt
2016-01-30 7:35 ` Dmitry A. Kazakov
2016-01-30 22:14 ` Tero Koskinen
2016-01-31 7:51 ` Dmitry A. Kazakov
2016-01-31 15:52 ` Mart van de Wege
2016-01-31 16:21 ` Dmitry A. Kazakov
2016-01-31 19:16 ` olivier.henley
2016-02-01 23:22 ` Randy Brukardt
2016-02-05 19:52 ` Tero Koskinen
2016-02-05 20:42 ` Dmitry A. Kazakov
2016-02-06 1:25 ` Randy Brukardt
2016-02-06 6:09 ` Jeffrey R. Carter
2016-02-08 22:54 ` Randy Brukardt
2016-02-06 23:08 ` AdaMagica
2016-02-07 7:08 ` gautier_niouzes
2016-02-07 8:50 ` gautier_niouzes
2016-02-08 22:58 ` Randy Brukardt [this message]
2016-02-07 10:24 ` gautier_niouzes
2016-01-31 19:10 ` olivier.henley
2016-02-02 0:44 ` Randy Brukardt
2016-02-02 18:45 ` Shark8
2016-02-02 20:14 ` gautier_niouzes
2016-02-02 20:46 ` Shark8
2016-02-02 21:32 ` gautier_niouzes
2016-02-03 4:21 ` Shark8
2016-02-03 9:39 ` Georg Bauhaus
2016-02-02 22:51 ` Randy Brukardt
2016-02-03 4:16 ` Shark8
2016-02-01 8:30 ` Thomas Løcke
2016-02-01 9:32 ` Georg Bauhaus
2016-02-02 8:54 ` Thomas Løcke
2016-02-02 14:51 ` jsquirek
2016-02-02 18:25 ` Dmitry A. Kazakov
2016-02-02 20:05 ` gautier_niouzes
2016-02-02 20:58 ` Björn Lundin
2016-02-02 23:06 ` Randy Brukardt
2016-02-03 7:15 ` Pascal Obry
2016-02-03 22:11 ` Randy Brukardt
2016-02-04 6:51 ` Pascal Obry
2016-02-04 20:52 ` Randy Brukardt
2016-02-05 7:11 ` Pascal Obry
2016-02-06 1:11 ` Randy Brukardt
2016-02-04 9:05 ` Dmitry A. Kazakov
2016-02-04 9:20 ` Mark Carroll
2016-02-04 12:58 ` Nasser M. Abbasi
2016-02-04 21:03 ` Randy Brukardt
2016-02-05 8:31 ` Dmitry A. Kazakov
2016-02-04 16:52 ` Björn Lundin
2016-02-04 16:59 ` Dmitry A. Kazakov
2016-02-04 17:29 ` Björn Lundin
2016-02-04 21:21 ` Randy Brukardt
2016-02-04 22:04 ` Björn Lundin
2016-02-05 8:51 ` Dmitry A. Kazakov
2016-02-05 22:06 ` Björn Lundin
2016-02-06 0:30 ` Randy Brukardt
2016-02-06 23:26 ` Björn Lundin
2016-02-07 0:16 ` Jeffrey R. Carter
2016-02-07 8:02 ` Dmitry A. Kazakov
2016-02-07 8:36 ` gautier_niouzes
2016-02-07 8:52 ` Dmitry A. Kazakov
2016-02-07 10:06 ` gautier_niouzes
2016-02-07 10:23 ` Dmitry A. Kazakov
2016-02-07 20:02 ` Björn Lundin
2016-02-08 8:19 ` Dmitry A. Kazakov
2016-02-07 10:00 ` Georg Bauhaus
2016-02-07 10:18 ` Dmitry A. Kazakov
2016-02-07 19:27 ` Georg Bauhaus
2016-02-07 19:47 ` Georg Bauhaus
2016-02-07 19:54 ` Dmitry A. Kazakov
2016-02-07 22:56 ` Georg Bauhaus
2016-02-08 8:22 ` Dmitry A. Kazakov
2016-02-07 20:11 ` Björn Lundin
2016-02-07 22:11 ` Georg Bauhaus
2016-02-08 8:16 ` Björn Lundin
2016-02-07 19:57 ` Björn Lundin
2016-02-08 8:25 ` Dmitry A. Kazakov
2016-02-08 22:42 ` Randy Brukardt
2016-02-07 20:07 ` Björn Lundin
2016-02-08 8:38 ` Dmitry A. Kazakov
2016-02-08 18:24 ` Björn Lundin
2016-02-08 22:38 ` Randy Brukardt
2016-02-09 20:56 ` Björn Lundin
2016-02-05 12:54 ` G.B.
2016-02-05 13:27 ` Dmitry A. Kazakov
2016-02-05 15:53 ` G.B.
2016-02-05 16:45 ` Dmitry A. Kazakov
2016-02-05 17:58 ` G.B.
2016-02-05 18:47 ` Dmitry A. Kazakov
2016-02-07 9:40 ` Georg Bauhaus
2016-02-07 10:13 ` Dmitry A. Kazakov
2016-02-07 19:21 ` Georg Bauhaus
2016-02-07 19:57 ` Dmitry A. Kazakov
2016-02-07 22:16 ` Georg Bauhaus
2016-02-08 8:20 ` Björn Lundin
2016-02-08 9:03 ` Dmitry A. Kazakov
2016-02-08 10:08 ` G.B.
2016-02-08 13:42 ` Dmitry A. Kazakov
2016-02-06 0:49 ` Randy Brukardt
2016-02-07 8:42 ` Georg Bauhaus
2016-02-04 21:09 ` Randy Brukardt
2016-02-05 8:59 ` Dmitry A. Kazakov
2016-02-06 0:04 ` Randy Brukardt
2016-02-06 8:54 ` Dmitry A. Kazakov
2016-02-08 23:02 ` Randy Brukardt
2016-02-09 8:50 ` Dmitry A. Kazakov
2016-02-11 1:37 ` Randy Brukardt
2016-02-11 8:25 ` Dmitry A. Kazakov
2016-02-11 22:00 ` Randy Brukardt
2016-02-06 18:48 ` olivier.henley
2016-02-09 0:05 ` Randy Brukardt
2016-02-09 3:50 ` Shark8
2016-02-11 1:40 ` Randy Brukardt
2016-02-09 8:04 ` Thomas Løcke
2016-02-09 13:33 ` Alejandro R. Mosteo
2016-02-09 14:58 ` Shark8
2016-02-11 1:46 ` Randy Brukardt
2016-02-11 5:19 ` Shark8
2016-02-09 18:08 ` Jeffrey R. Carter
2016-02-09 21:00 ` Shark8
2016-02-09 21:07 ` Björn Lundin
2016-02-09 21:31 ` Shark8
2016-02-09 23:47 ` Jeffrey R. Carter
2016-02-10 5:10 ` J-P. Rosen
2016-02-11 1:51 ` Randy Brukardt
2016-02-12 16:05 ` Alejandro R. Mosteo
2016-02-13 5:42 ` olivier.henley
2016-02-13 12:20 ` Alejandro R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox