From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 4 May 93 04:05:03 GMT From: netnews!schonberg!dewar@nyu.edu (Robert Dewar) Subject: Re: FIXED bug in Medidian 4.1.1? Message-ID: List-Id: Tucker Taft shouldn't apologize for disagreeing with me when I am wrong! I think his analysis is probably exactly correct, and it does indeed appear that there is a bug. Also, when I said that a compiler was required to excluded end-points that are declared in some declarations, I didn't mean all declarations, just that the rules do require such exclusion in some cases. This remains a mighty peculiar feature to many programmers, who find it mysterious to get a constraint error when they write: type x is delta x range y .. z; vx : x := y; -- ce raised here We thought about trying to fix this in 9X, but decided against it (at least according to my current understanding), because it would have introduced subtle incompatibities, and not than many people use fixed point. The new information systems annex *does* provide the necessary facilities, based on use of a specialized form of fixed-point, for financial calculations.