Re: Generics???

[tmoran@acm.org]

>Suppose I use the example provided by Frank Beard and want to round up the
>result when the type is an integer.
>How do I test which type the parameter (in the example: Item) is?
>Something like the pseudocode:
>
>   function Divide (the_Left  : Item;
>                    the_Right : Item) return Item is
  If you are passing in the operations as generic parameters, you will
have passed in a "/", either an integer one that does rounding, or a
floating point one that doesn't.  If you want a special "rounded_divide"
operation, you'll pass one in and the floating point one will not
actually do any rounding.
  If someone calls your package asking for integer arithmetic, doesn't
that indicate they don't care too much about accuracy in things like
a divide, anyway?