Re: (elementary question) Test on type ?

[Reinert Korsnes <Reinert.Korsnes@ffi.no>]

Ted Dennison wrote:

> In article <9n2ctk$36v$1@snipp.uninett.no>, Reinert Korsnes says...
>>
>>Jacob Sparre Andersen wrote:
>>> Seriously, what are you trying to do?
>>
>>Just do a bit different things in the function depending on the type
>>of X.   Say, X is Float of Interger....
> 
> But you can't specify such a parameter, unless you are working with
> generics (is that it?).
> 
> Again, what exactly are you trying to do? Or, is this entirely
> theorietical?

Well, I run into some logic problems which I actually solved
by something -simplified - like (overloading):

generic 
  type T is (<>);
  with function F(X : T) return Float;
procedure P(A : some type; B : another type; X : T);

function F(X: some anumeration type) returns Float;
function F(X: another enumeration type) returns Float;

and:

procedure P1 is new P(T => simething,F);

Someone called John McCabe gave me the hint (in this interesting
discussion).  Thanks...

reinert

PS: Yes, call me "newbie" :-)



> 
> ---
> T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
>           home email - mailto:dennison@telepath.com
> 

http://home.chello.no/~rkorsnes