[r6rs-discuss] fxarithmetic-shift

[Abdulaziz Ghuloum]

Page 44 of r593rs-lib says about (fxarithmetic-shift fx1 fx2):

   If (* fx1 (expt 2 fx2)) is a fixnum, that fixnum is returned.
   Otherwise, an exception [...] is raised.

Is the intension that (fxarithmetic-shift 5 -2) must signal an error?
Or was the above a typo?  Maybe it should be corrected to be:

   If (floor (* fx1 (expt 2 fx2))) is a fixnum, that fixnum is [...]

Also, at the same paragraph, there is a mention of a "fixnum-"
procedure that was dropped at some point.  Should change to "fx-".

Also, is there a good reason for restricting the range of the second
argument to be less than (fixnum-width)?

Aziz,,,