Advent of Code Day 7

[John Perry <john.perry@usm.edu>]

When doing today's exercise, I encountered an issue where I wanted to initialize only some fields of a record, with the other fields having a default initialization. In particular:

   type Bag_Entry is record
      Description: Bag_Description := "                    ";
      Quantity: Positive;
   end record;

  Entry: Bag_Entry := ( Quantity => 10 );

However, GNAT says this is invalid because I didn't specify Bag_Description. I looked in the ARM but didn't see anyplace that implies that; did I miss it? Is there a reason that Description can't be initialized automatically according to the rules above?

john perry