Re: Gnat 2013 is out!

[Wesley Pan <wesley.y.pan@gmail.com>]

On Monday, June 3, 2013 7:52:07 AM UTC-7, Adam Beneschan wrote:
> On Saturday, June 1, 2013 4:51:01 AM UTC-7, Georg Bauhaus wrote:
> 
> > On 01.06.13 00:07, Randy Brukardt wrote:
> 
> > 
> 
> > > Unless the syntax makes it pretty obvious that this is a dummy, discarded
> 
> > > parameter, this idea is going nowhere. (And it might very well go nowhere
> 
> > > even if the syntax is perfect.)
> 
> > 
> 
> > Can you perhaps employ the new subpools mechanism? To provide
> 
> > constraints for an anonymous, "boxed object", we'd write
> 
> > 
> 
> >     My_Proc (Obj1, Obj2, Result => <> String'(1..80 => <>));
> 
> > 
> 
> > Then, if __ stands for a subpool known only to the compiler
> 
> > such as, ahem, the stack, the expansion is the impossible
> 
> > 
> 
> >     My_Proc (Obj1, Obj2, Result => (new(__) String'(1..80 => <>)).all);
> 
> 
> 
> I'm beginning to regret opening this subject up.
> 
> 
> 
>                            -- Adam

I apologize if this sounds really naive. My Ada skills is quite rusty at the moment (trying to slowly re-learn it). Why not simply make 'dummy' a new keyword? I imagine many people would call their throw away variable something like "Dummy". I definitely tend to do this for any language I am using. Assuming dummy is the keyword we would have the following:

My_Proc(Obj1, Obj2, Result => dummy String(1..80));
My_Proc(Obj1, Obj2, Result => dummy String_80);
My_Proc(Obj1, Obj2, Result => dummy Unbounded_String(1..80));
My_Proc(Obj1, Obj2, Result => dummy UString_80);
My_Proc(Obj1, Obj2, Result => dummy Some_Type);
My_Proc(Obj1, Obj2, Result => dummy Some_Type(1));
My_Proc(Obj1, Obj2, Result => dummy access Record_Type);
My_Proc(Obj1, Obj2, Result => dummy Record_Type_Access);

You can also consider using throw_away as the keyword instead of dummy. 

Another alternative idea is to make a new attribute 'Temp. So we would have:

My_Proc(Obj1, Obj2, Result => String'Temp(1..80));
My_Proc(Obj1, Obj2, Result => String_80'Temp);
My_Proc(Obj1, Obj2, Result => Unbounded_String'Temp(1..80));
My_Proc(Obj1, Obj2, Result => UString_80'Temp);
My_Proc(Obj1, Obj2, Result => Some_Type'Temp);
My_Proc(Obj1, Obj2, Result => Some_Type'Temp(1));
My_Proc(Obj1, Obj2, Result => access Record_Type'Temp);
My_Proc(Obj1, Obj2, Result => Record_Type_Access'Temp);

That's my 2 cents...

-Wesley