1-- { dg-do compile }
2-- { dg-options "-gnat12" }
3
4package body Cond_Expr2 is
5
6  function F (X : integer) return String is
7  begin
8    return (if X > 0 then "positive" else "negative");
9  end;
10
11end Cond_Expr2;
12