Skip to content

Instantly share code, notes, and snippets.

@MaxBarraclough

MaxBarraclough/hello.adb

Created November 8, 2020 15:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save MaxBarraclough/a393539f7c71514237dc553fa22e4559 to your computer and use it in GitHub Desktop.
Save MaxBarraclough/a393539f7c71514237dc553fa22e4559 to your computer and use it in GitHub Desktop.
Download ZIP
Print an uninitialized integer in Ada
Raw
hello.adb
-- Prints a nondeterministic integer value
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
subtype NumFingers is Integer range 0..10;
my_num_fingers : NumFingers; -- := 4;
begin
-- my_num_fingers; := 3;
Put_Line ("The number is: " & my_num_fingers'Image);
end Hello;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment