[bitc-dev] Primary type arithmetic

[Jonathan S. Shapiro]

On Sat, 2005-02-05 at 17:47 +0600, Constantine Plotnikov wrote:
> C# uses "checked" keyword...
> 
> 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.

Or in BitC:

(defmacro (checked expr)
  `(let ((+  checked_+)
        (-  checked_-)
        ...)
     ,e)

and so forth.