[Aldor-l] depending on tuples...

[Martin Rubey]

Dear Aldor experts,

I'd like to have a dependent signature roughly as follows:

F(t: Tuple PrimitiveType): SomeThing with {

   g: (i: MachineInteger) -> List element(t, i);
} == add {

...

}

I.e., I would like to supply a tuple, list, vector whatever you wish of types
of the same category. It would also be OK to have a signature of F like

F(k: MachineInteger, t: Vector(k, PrimitiveType)): SomeThing ...

i.e., where the number of given Types is arbitrary but fixed.


(using the first signature, I always get  

  Unhandled Exception: RuntimeError()
  (Aldor error) Bad use of a dependent type

Any ideas?

Martin