Article View: bln.comp.lang.opal
Article #32-5 in Liste
From: Nikolaus Filus
Date: Thu, 15 Nov 2001 13:50
Date: Thu, 15 Nov 2001 13:50
17 lines
1317 bytes
1317 bytes
Hi, kann mir jemand vielleicht sagen, wie ich eine negative Zahl in einer Liste als Parameter uebergebe? Ich habe folgende Funktion: FUN horner : nat ** seq[nat] -> nat >e horner (2, 2 ::: 0 :: "-5"! :: 3 :: <>) funktioniert leider nicht. Auch () habe ich in verschiedenen Varianten ausprobiert. Nikolaus BTW: ... und denotation als Haupt Datentyp soll wirklich ein Vorteil sein?
Technical Details
Message-ID:
<9t0h7e$eap$1@news.cs.tu-berlin.de>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!fu-berlin.de!cs.tu-berlin.de!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII-7-bit X-Google-Thread: 108421,c0d44bf38501e6f2,start X-Google-Attributes: gid108421,public X-Google-ArrivalTime: 2001-11-15 05:50:40 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!fu-berlin.de!cs.tu-berlin.de!not-for-mail From: Nikolaus Filus <NFilus@cs.tu-berlin.de> Newsgroups: bln.comp.lang.opal Subject: -5 in Liste Date: 15 Nov 2001 13:50:38 GMT Organization: Technische Universitaet Berlin, Deutschland Lines: 18 Message-ID: <9t0h7e$eap$1@news.cs.tu-berlin.de> NNTP-Posting-Host: nereid.cs.tu-berlin.de Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.cs.tu-berlin.de 1005832238 14681 130.149.26.88 (15 Nov 2001 13:50:38 GMT) X-Complaints-To: news@cs.tu-berlin.de NNTP-Posting-Date: 15 Nov 2001 13:50:38 GMT User-Agent: slrn/0.9.7.3 (SunOS)