4 // CHECK-NEXT: list<string> names = ["Jeffrey Sinclair"];
5 // CHECK-NEXT: string element = "Jeffrey Sinclair";
6 // CHECK-NEXT: list<string> rest = [];
7 // CHECK-NEXT: int null = 1;
8 // CHECK-NEXT: string NAME = ?;
10 // CHECK-NEXT: def Three {
11 // CHECK-NEXT: list<string> names = ["Tom", "Dick", "Harry"];
12 // CHECK-NEXT: string element = "Tom";
13 // CHECK-NEXT: list<string> rest = ["Dick", "Harry"];
14 // CHECK-NEXT: int null = 0;
15 // CHECK-NEXT: string NAME = ?;
18 class List<list<string> n> {
19 list<string> names = n;
26 class CDR<list<string> r, int n> {
27 list<string> rest = r;
31 class NameList<list<string> Names> :
32 List<Names>, CAR<!head(Names)>, CDR<!tail(Names), !empty(!tail(Names))>;
34 def Three : NameList<["Tom", "Dick", "Harry"]>;
36 def One : NameList<["Jeffrey Sinclair"]>;