with ada.text_io; with ada.integer_text_io; with merge_sort; procedure mytest is type array_type is array(positive range <>) of integer; a :array_type(1..21) ; -- constraining the array variable procedure myMerge is new merge_sort (integer,array_type); -- instantiation begin for i in 1..21 loop ada.integer_text_io.get (a(i)); end loop; ada.text_io.new_line; ada.text_io.put_line (" here are the original values "); for j in 1..21 loop ada.integer_text_io.put (a(j), 4); end loop; myMerge (a); -- call the instantiated merge_sort ada.text_io.new_line; ada.text_io.put_line (" here are the sorted values "); for j in 1..21 loop ada.integer_text_io.put (a(j), 4); end loop; end myTest;