sdf2rtg and rtg2signature introduce new sorts for tuples occurring inside of lists and options.

 (A B)+ -> C {"C"}

results in

  : A * B -> A_B0
C : List(A_B0) -> C

The introduction of new sorts can be avoided by supporting generic tuple sorts:

 C: List(Tuple(A, B)) -> C

 : a * b -> Tuple(a, b)
 : a * b * c -> Tuple(a, b, c)
 ...

Submitted by Guido Wachsmuth on 10 March 2013 at 11:23