No subject

[Henry Cejtin]

In  your  fine  version of Refnum, exceptions are completely un-needed.  If I
pass a given ref to two different results of
    refnum ()
they will be viewed as different.  Thus each such function can be closed over
its  own  list  of  refs  (actually  over a ref pointing at such a list).  Of
course then, if you want their to be only one pool of  ints  which  they  all
draw  from  then you will have to have it be a list of pairs: the ref and the
number it got.  Thus you are going to be faster but bigger.  Still, the point
is no exceptions.