From: tmoran@acm.org
Subject: Re: Actual stream of a certain type
Date: Wed, 26 Jul 2006 13:25:41 -0500
Date: 2006-07-26T13:25:41-05:00 [thread overview]
Message-ID: <yoqdnX8teKA4LlrZnZ2dnUVZ_rWdnZ2d@comcast.com> (raw)
In-Reply-To: mailman.0.1153934868.32700.comp.lang.ada@ada-france.org
> I want to write a library that exports a type T whose stream
> operations 'Write and 'Read require that the actual stream be of a
> certain type, also provided by the library, and visible and usable in
You can write your own 'Read and 'Write for T and within those check
if not Stream.all in T_Kind_of_Stream then raise ...
next prev parent reply other threads:[~2006-07-26 18:25 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-07-26 17:27 Actual stream of a certain type Marius Amado-Alves
2006-07-26 18:25 ` tmoran [this message]
2006-07-26 23:47 ` Marius Amado-Alves
2006-07-27 8:05 ` Dmitry A. Kazakov
2006-07-27 8:45 ` Marius Amado-Alves
[not found] ` <2AA0FC04-5130-42BF-A6C9-03C3D6F4C642@amado-alves.info>
2006-07-27 10:47 ` Marius Amado-Alves
[not found] ` <71E9A504-B016-49E2-AB85-34CCDF0AEEC8@amado-alves.info>
2006-07-27 0:25 ` Marius Amado-Alves
[not found] <03AF72A2-6759-4DE5-9D52-4E8266C19C43@amado-alves.info>
2006-07-26 18:04 ` Marius Amado-Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox