gcc/testsuite/gnat.dg/predicate8.adb

   1 --  { dg-do compile }
   2
   3 pragma Spark_Mode (On);
   4
   5 with Predicate8_Pkg;
   6
   7 procedure Predicate8 is
   8    package Ring_Buffer is new Predicate8_Pkg (Element_Type => Integer);
   9    use Ring_Buffer;
  10
  11    X : Ring_Buffer_Type (4);
  12
  13 begin
  14    Put (X, 1);
  15 end Predicate8;