Possible GNAT bug w/ tasks and expression functions.

[Shark8 <OneWingedShark@gmail.com>]

I get an interesting compiler error when I try to replace this

> -- Gen handles the actual creation of a new task and state.
> Function Gen(P : Peg; G : not null access Generate) return Generator is
> begin
>   return
>          (if G.Pegs(P) then null
>           else new Generate(
>               Pegs     => new Used_Peg'(G.Pegs.all & P),
>               State    => New Partial_Board'(G.All.State.All & P)
>            )
>           );
> end;

with

> -- Gen handles the actual creation of a new task and state.
> Function Gen(P : Peg; G : not null access Generate) return Generator is
>          (if G.Pegs(P) then null
>           else new Generate(
>               Pegs     => new Used_Peg'(G.Pegs.all & P),
>               State    => New Partial_Board'(G.All.State.All & P)
>            )
>           );

As you can see, it is simply the transformation between the "proper 
subprogram" form and the expression-function form; something which the 
ARM says is equivalent.

Fully compilable code here:
	http://rosettacode.org/wiki/Solve_the_no_connection_puzzle#Ada

I was wondering if any of you have hit this issue as well.