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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,cea03ed275aa3d28 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!198.186.190.247.MISMATCH!news-out.readnews.com!news-xxxfer.readnews.com!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Question about generics. From: "Peter C. Chapin" References: <7Q2qg.812592$084.507058@attbi_s22> <44A9495A.7020106@obry.net> Organization: Kelsey Mountain Software Message-ID: User-Agent: Xnews/5.04.25 Date: 04 Jul 2006 10:48:19 GMT NNTP-Posting-Host: 19f29134.news.sover.net X-Trace: DXC=CM_>Fi02lXbZ_caXTC`bQlK6_LM2JZB_cUBkR@RfT:Zh3?@`i3kGa5k:_m4`QY`H[oid^oJ5@n1>n X-Complaints-To: abuse@sover.net Xref: g2news2.google.com comp.lang.ada:5471 Date: 2006-07-04T10:48:19+00:00 List-Id: M E Leypold wrote in news:x6ac7pyjud.fsf@hod.lan.m-e-leypold.de: > Wouldn't it do to check the parameter in the body of the package > during elaboration? Admittedly there is overhead and usage errors are > not caught by the compiler then, but it would help to avoid more > obscure errors later. I was hoping to make use of the automatic wrap-around facility of modular types. Peter