comp.lang.ada
 help / color / mirror / Atom feed
From: Mehdi Saada <00120260a@gmail.com>
Subject: "unconstrained subtype in component declaration" vs "discriminant in constraint must appear alone"
Date: Sun, 21 Feb 2021 16:14:05 -0800 (PST)	[thread overview]
Message-ID: <4086f350-c56b-4eec-91d3-ef685230b011n@googlegroups.com> (raw)

this message "unconstrained subtype in component declaration"
arises from this:

    subtype Limit_number is Natural range 0..51;
    type CARDS is new Natural range Limit_number'Range;
    type Sets_of_Card is array (Limit_number range <>) of Cards;
    function INITIALIZATION (Nb: Nombre_cartes) return Sets_of_Card;
         type CARDS_SETS (Nb: Nombre_cartes) is record
         Set: Sets_of_Card := INITIALIZATION (Nb);
    end record;

okay,
then this "Set: Sets_of_Card (0..nb-1) := INITIALIZATION (Nb);"
gives "discriminant in constraint must appear alone" !
|[{|@]ŋ¤£# !!

How do you do ?

             reply	other threads:[~2021-02-22  0:14 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-02-22  0:14 Mehdi Saada [this message]
2021-02-22  6:32 ` "unconstrained subtype in component declaration" vs "discriminant in constraint must appear alone" J-P. Rosen
2021-02-22 10:14   ` AdaMagica
2021-02-22 10:57     ` Dmitry A. Kazakov
2021-02-22 14:20       ` Mehdi Saada
2021-02-22 15:11         ` J-P. Rosen
2021-02-22 15:55         ` Dmitry A. Kazakov
2021-02-22 16:21           ` Mehdi Saada
2021-02-23 22:06             ` Mehdi Saada
2021-02-24  9:59               ` AdaMagica
2021-02-24 10:04               ` Jeffrey R. Carter
2021-02-24 14:11               ` Simon Wright
2021-02-24 15:57               ` Shark8
2021-02-25  0:13                 ` Mehdi Saada
2021-02-25  8:58                   ` AdaMagica
2021-02-25 10:25                     ` Mehdi Saada
2021-02-25 10:28                     ` Mehdi Saada
2021-02-22 10:35 ` Jeffrey R. Carter
2021-02-22 14:21   ` Mehdi Saada
2021-02-22 15:02     ` Jeffrey R. Carter
2021-02-22 15:08       ` J-P. Rosen
replies disabled

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