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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>


    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...)