Re: generic type identification

[tmoran@acm.org]

> I wish it was this simple but as you will probably pass OpenGL alot of
> vertices every frame (if there are lots of stuff changing in the scene) you
> don't want to pass it 64bit doubles if 32bit floats are enough. Same goes
> for int vs short.
  So you surely don't want to spend execution time figuring out what
"type" was passed in.
  If I understand correctly, you have a set of C procedures like
    something_int(int x);
    something_short(short x);
    something_float(float x);
    something_double(double x);
etc. and you want to get the compiler to figure out which one to call?
How about
  package Short_Forms is
    subtype Distances is Interfaces.C.Short;
    procedure Something(x : in Distances);
    procedure Other_Thing(x : in Distances);
  end Short_Forms;
  package Int_Forms is
    subtype Distances is Interfaces.C.Int;
    procedure Something(x : in Distances);
    procedure Other_Thing(x : in Distances);
  end Int_Forms;
  package Float_Forms is
    subtype Distances is Interfaces.C.C_Float;
    procedure Something(x : in Distances);
    procedure Other_Thing(x : in Distances);
  end Float_Forms;
and then 'with' and 'use' the appropriate one in each calculation package?
  with Int_Forms; use Int_Forms;
  package body Draw_Stuff is
    x,y : Distances;
    ...
    Something(x);
Does that match what you are trying to do?