From: Julian Leyh <julian@vgai.de>
Subject: Re: Garbage Collection ???
Date: Wed, 18 Apr 2012 02:07:05 -0700 (PDT)
Date: 2012-04-18T02:07:05-07:00 [thread overview]
Message-ID: <6997433.1158.1334740025722.JavaMail.geo-discussion-forums@ynmm10> (raw)
In-Reply-To: <wccy5pymaxu.fsf@shell01.TheWorld.com>
Am Samstag, 14. April 2012 20:21:17 UTC+2 schrieb Robert A Duff:
> In Ada 2012, you can say:
>
> type T_Ptr_Opt is access all T;
> subtype T_Ptr is T_Ptr_Opt with
> Dynamic_Predicate => T_Ptr /= null;
In Ada 2005, you can already say:
type T_Ptr_Opt is access all T;
subtype T_Ptr is not null T_Ptr_Opt;
next prev parent reply other threads:[~2012-04-18 9:07 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-04-13 12:14 Garbage Collection ??? ldries46
2012-04-13 13:20 ` Dmitry A. Kazakov
2012-04-13 19:27 ` ldries46
2012-04-13 20:06 ` Dmitry A. Kazakov
2012-04-13 22:49 ` Brian Drummond
2012-04-14 3:21 ` ldries46
2012-04-14 18:21 ` Robert A Duff
2012-04-18 9:07 ` Julian Leyh [this message]
2012-04-19 14:36 ` Robert A Duff
2012-04-19 20:26 ` Randy Brukardt
2012-04-20 7:11 ` Dmitry A. Kazakov
2012-04-21 0:46 ` Randy Brukardt
-- strict thread matches above, loose matches on Subject: below --
1992-04-22 18:55 Garbage collection? dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!yale.edu!jvnc.net!darw
1992-04-21 23:48 Robert I. Eachus
1992-04-21 23:02 Rick Hudson
1992-04-21 21:09 titan.ksc.nasa.gov!mcroberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox