| Date: Tue, 25 Oct 2005 06:02:06 -0500
 | From: Alan Watson <xxxxxx@astrosmo.unam.mx>
 |
 | The prime goal of this SRFI seems to be to enable Scheme
 | implementations to make the same type inferences that C
 | implementations can make. Yes?
 |
 | I aplaud this goal. However, rather than create this horrid mess of
 | type-specific operators, I would much prefer an approach that used
 | type declarations, perhaps:
 |
 |    (with-flonum (x y) (/ x y))
 |    (with-fixnum (n m) (* n m))
 |
 | Essentially, if you want to do this, follow Common Lisp.

Common Lisp HyperSpec (TM)
http://www.cs.cmu.edu/Groups/AI/html/hyperspec/HyperSpec/FrontMatter/index.html
does not index any with-<type> symbols.  How is this attributable to
CommonLisp?

Also, would with-fixnum declare uniform arrays and vectors?