Path: utzoo!mnetor!uunet!husc6!cmcl2!nrl-cmf!ames!pasteur!ucbvax!CUNYVM.CUNY.EDU!kempe%elma.epfl.ch
From: kempe%elma.epfl.ch@CUNYVM.CUNY.EDU (Black Adder)
Newsgroups: comp.lang.ada
Subject: Of Empty Records
Message-ID: <880505160055.206002c7@elde.epfl.ch>
Date: 5 May 88 15:00:55 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 28


    I have a problem when using empty records. Here is the sample type
    declaration that I use:

      type EMPTY_TYPE is
        record
          null;
        end record;

    now, I would like to declare a constant of that type, i.e.

      EMPTY : constant EMPTY_TYPE := ??? ;

    but it seems there is no way I could specify a value of type
    EMPTY_TYPE. One solution would be to declare a variable of that type,
    without any initial value. It does work on my compiler, behaves as a
    constant, but I don't "like" it.

    Is there another solution? did the language designers simply ignore
    this problem?

    Thanks,

      Magnus Kempe
      CS Dept.
      Swiss Federal Institute of Technology, Lausanne

      kempe@elma.epfl.ch (not always, avoid stormy days...)