blob: 01d76d028e8cda3f751f4ae8adf8ddb7b978e279 (
plain)
1
2
3
4
5
6
7
8
9
|
-- { dg-do compile }
-- { dg-options "-gnat12 -gnato" }
package Cond_Expr1 is
function Tail (S : String) return String is
(if S'Last <= S'First then "" else S (S'First + 1 .. S'Last));
end Cond_Expr1;
|