[bitc-dev] Primary type arithmetic

[Constantine Plotnikov]

Jonathan S. Shapiro wrote:

>On Fri, 2005-02-04 at 14:22 -0800, Shawn Garbett wrote:
>  
>
>>How about: ring+, ring-, etc. 
>>
>>Shawn
>>    
>>
>
>And then the others would be tip+, tip-, etc?
>
>  
>
C# uses "checked" keyword for this case it also uses as context 
operator. All arithmentic operators in the scope of this operator are 
interpreted in the same way. See also 
http://msdn.microsoft.com/library/default.asp?url=/library/en-us/csref/html/vclrfchecked.asp. 


So syntax may be (checked+ a b)  or whe can make it like in C# (checked 
(+ a (unchecked (* b c))). Later form is more convenient for non-trivial 
expressions.

For default I would like checked version. If performance is a concern 
for some peice, it may be optimized.

Constantine