dragonegg/test/validator/ada/real_cst.adb

-- RUN: %dragonegg -S -O2 -gnatn %s
package body Real_Cst is
   Cst : constant Float := 0.0;
   procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class) is
   begin
      Float'Write (Stream, Cst);
   end;
end;