Do generic versions affect subtypes

kevlar700 · October 28, 2024, 6:24pm

If Status_Code in the following file is a static predicate and you assign an enum value outside of it’s predicate then no constraint error occurs but it does with a non generic version.

Does anyone happen to know if that is expected behaviour?

github.com

kevlar700/option_type/blob/494630b4f9385119b71c3ece445577064afd6844/option.ads

generic
   type Status_Code is (<>);
   type Item is limited private;
package Option is

   type Result (Output_Available : Boolean := False) is record
      Status : Status_Code;
      case Output_Available is
         when True =>
            Output : Item;

         when False =>
            null;
      end case;
   end record;

end Option;

sttaft · November 13, 2024, 7:04pm

This certainly sounds like a compiler bug to me, but you need to provide a more complete example if you want someone else to check it …