1 // RUN: tblgen %s | grep {}
4 class List<list<string> n> {
5 list<string> names = n;
12 class CDR<list<string> r, int n> {
13 list<string> rest = r;
17 class NameList<list<string> Names> :
18 List<Names>, CAR<!head(Names)>, CDR<!tail(Names), !empty(!tail(Names))>;
20 def Three : NameList<["Tom", "Dick", "Harry"]>;
22 def One : NameList<["Jeffrey Sinclair"]>;