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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,60fe876e7675f11 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.135.231 with SMTP id pv7mr16140445pbb.8.1328684021855; Tue, 07 Feb 2012 22:53:41 -0800 (PST) Path: wr5ni272pbc.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Weird behavior with modular type Date: Wed, 08 Feb 2012 07:53:42 +0100 Organization: A noiseless patient Spider Message-ID: References: <32c99412-2c88-4438-a955-de19a7f034a2@d15g2000yqg.googlegroups.com> Mime-Version: 1.0 Injection-Date: Wed, 8 Feb 2012 06:53:41 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="cJo7kSTQUrCFv2/D8KKtqw"; logging-data="30719"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/fB9WlVVWPWh6F0Ir+ja/P" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:9.0) Gecko/20111222 Thunderbird/9.0.1 In-Reply-To: Cancel-Lock: sha1:G8faI+8tP6o/y+V3nAU7NoDraH8= Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Date: 2012-02-08T07:53:42+01:00 List-Id: Le 07/02/2012 19:21, Yannick Duchêne (Hibou57) a écrit : > I still can't explain the first and the second interpretation. In the > first case “10 ** I” seems to be interpreted as “(10 ** I) mod 256” and > “Natural'Pos (10 ** I)” seems not. > /operations/ of modular type wrap, and only operations. In the first case, there is an operation (**). In the second case, there is none (the ** is on Universal_Integer, which is not a modular type). Static expressions have to belong statically to their type, so it seems correct to me. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr