Another typing question
Tue, 5 Aug 2003 12:23:06 +0200
Is there any way to parametrize a type by a value, rather than another ty=
What I would like to do is to define "list of length 3" and "list of leng=
4" as separate parametrization of the same type, such that I could write=20
functions that accept lists (under my new typename) of any length as long=
parameters have the same length. The goal is to remove the need for runti=
checks all over the code.