1 // RUN: tblgen %s | grep {}
3 class List<list<string> n> {
4 list<string> names = n;
11 class CDR<list<string> r, int n> {
12 list<string> rest = r;
16 class NameList<list<string> Names> :
17 List<Names>, CAR<!car(Names)>, CDR<!cdr(Names), !null(!cdr(Names))>;
19 def Three : NameList<["Tom", "Dick", "Harry"]>;
21 def One : NameList<["Jeffrey Sinclair"]>;