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,ebdc5ed511896a0 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!eweka.nl!lightspeed.eweka.nl!195.114.231.69.MISMATCH!feeder.news-service.com!newsfeed.kamp.net!newsfeed.kamp.net!newsfeed.freenet.de!bolzen.all.de!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: urgent question - generics From: Georg Bauhaus In-Reply-To: <1188817570.271073.170320@y42g2000hsy.googlegroups.com> References: <1188809249.040351.100160@r29g2000hsg.googlegroups.com> <46dbe4ac$0$3196$39db0f71@news.song.fi> <1188817116.418473.63040@50g2000hsm.googlegroups.com> <1188817470.2630.28.camel@kartoffel.vocalweb.de> <1188817570.271073.170320@y42g2000hsy.googlegroups.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1188820828.2630.34.camel@kartoffel.vocalweb.de> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Date: Mon, 03 Sep 2007 14:00:28 +0200 Organization: Arcor NNTP-Posting-Date: 03 Sep 2007 13:59:49 CEST NNTP-Posting-Host: 7aedb0f4.newsspool1.arcor-online.net X-Trace: DXC=gHCk@afl_VE6PJ?[X6JIXEic==]BZ:afN4Fo<]lROoRA4nDHegD_]RE;?BJ2P]4GgMN[W On Mon, 2007-09-03 at 04:06 -0700, shoshanister@gmail.com wrote: > On Sep 3, 2:04 pm, Georg Bauhaus > wrote: > > On Mon, 2007-09-03 at 03:58 -0700, shoshanis...@gmail.com wrote: > > > I understood the generics, but I was looking to make a generic > > > function that receives an unknown procedure as a parameter, and runs > > > the procedure. > > > It's not like the 'regular' samples of " with function ">"(... " > > > I was wondering if there is a chance of creating a generic function > > > that receives an annonymous procedure. > > > > Is anything known about the parameter profile of the procedure? > > simple empty procedure without any input parameters. Try thinking of a "non-empty" procedure and how you would specify that as a generic formal procedure. Then consider how, in general, you declare (a) a procedure with parameters and (b) a procedure without parameters. Combine the two results.