From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e9247d4ba8198ede,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news.germany.com!news.tu-darmstadt.de!newsfeed.hanau.net!newsfeed.vmunix.org!news.cs.univ-paris8.fr!proxad.net!cleanfeed2-a.proxad.net!nnrp8-2.free.fr!not-for-mail Return-Path: Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: comp.lang.ada@ada-france.org From: Marius Amado-Alves Subject: Actual stream of a certain type Date: Wed, 26 Jul 2006 18:27:23 +0100 X-Mailer: Apple Mail (2.752.2) X-Antivirus-Scanner: Clean mail though you should still use an Antivirus X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - zaphen.serversonline.net X-AntiAbuse: Original Domain - ada-france.org X-AntiAbuse: Originator/Caller UID/GID - [0 0] / [47 12] X-AntiAbuse: Sender Address Domain - amado-alves.info X-Source: X-Source-Args: X-Source-Dir: X-Virus-Scanned: amavisd-new at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.8rc1 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.ada Message-ID: X-Leafnode-NNTP-Posting-Host: 88.191.17.134 Organization: Guest of ProXad - France NNTP-Posting-Date: 26 Jul 2006 19:30:46 MEST NNTP-Posting-Host: 88.191.14.223 X-Trace: 1153935046 nnrp8-2.free.fr 11774 88.191.14.223:40341 X-Complaints-To: abuse@proxad.net Xref: g2news2.google.com comp.lang.ada:5942 Date: 2006-07-26T19:30:46+02:00 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 the body of the operations. Any idea how to accomplish his? I've been at it for hours now. Thanks a lot.