int
main() {
Lexp l;
int i;
setvbuf(stdout, NULL, _IONBF, 0);
initpool();
for (i = 0; i < sizeof(testcases)/sizeof(testcases[0]); i++) {
l = Lstr2Lexp(testcases[i]);
printf("*** Doing dfs on "); printlexp(l);
dfsLexp(l, func);
}
return 0;
}
int
main() {
Lexp c1, c2, c3, c4, c5;
int i;
char buf[1024];
setvbuf(stdout, NULL, _IONBF, 0);
initpool();
c1 = Lstr2Lexp("(L 1.(L 2.(2 1)))");
c2 = Lstr2Lexp("(L 1.(L 2.1))");
c3 = Lstr2Lexp("(L 1.(L 2.2))");
c4 = Lappl(c1, c2);
c5 = Lappl(c4, c3);
printlexp(c5);
i = nbeta(c5, CANONICAL, 10);
LLexp2str(c5, buf, sizeof(buf));
printf(" -> reduced to %s in %d times\n", buf, i);
c1 = Lnewvar(1L);
c2 = Lnewvar(2L);
c3 = Lappl(c1, c2);
c4 = Labst(1L, c3);
c5 = Labst(2L, c4);
printf("first: ");
printlexp(c5);
c1 = Lstr2Lexp("(4 (5 6))");
c2 = Lappl(c5, c1);
printf("next: ");
printlexp(c2);
c3 = Lstr2Lexp("(L 7.(7 7))");
c4 = Lappl(c2, c3);
printf("last: ");
printlexp(c4);
i = nbeta(c4, CANONICAL, 20);
LLexp2str(c4, buf, sizeof(buf));
printf(" -> reduced to %s in %d times\n", buf, i);
return 0;
}
int
main() {
Lexp l1, l2;
int i, dif;
setvbuf(stdout, NULL, _IONBF, 0);
initpool();
for (i = 0; i < sizeof(testcases)/sizeof(testcases[0]); i++) {
l1 = Lstr2Lexp(testcases[i][0]);
l2 = Lstr2Lexp(testcases[i][1]);
printlexp(l1);
printlexp(l2);
dif = diff(l1, l2);
printf("diff = %d\n", dif);
}
return 0;
}
int
main() {
Lexp l;
int i;
initpool();
for (i = 0; i < sizeof(testcases)/sizeof(testcases[0]); i++) {
printf("%s\n", testcases[i]);
l = str2lexp(testcases[i]);
while (betastep(l, CANONICAL)) {
printf(" -> ");
printlexp(l);
}
printf("done.\n");
}
return 0;
}
void
initialize(void)
{
engine_initialize();
initvmstat();
initpigs();
initifstat();
initiostat();
initsensors();
initmembufs();
initnetstat();
initswap();
initpftop();
initpf();
initpool();
initmalloc();
initnfs();
}
int
main() {
char **p;
Lexp l, newl;
initpool();
for (p = testcases; *p != NULL; p++) {
printf("Lambda expression string \"%s\" -> ", *p);
l = str2lexp(*p);
printlexp(l);
newl = deepcopy(l);
printf("Original Lexp: ");
printlexp(l);
printf("Copied Lexp: ");
printlexp(newl);
}
return 0;
}
int
main() {
Lexp c;
int i;
char buf[1024];
int nc;
if (setvbuf(stdout, NULL, _IONBF, 0) == EOF)
fprintf(stderr, "*** setvbuf failed ***\n");
initpool();
for (i = 0; i < sizeof(testcases)/sizeof(testcases[0]); i++) {
printf("%s ***\n", testcases[i]);
c = str2lexp(testcases[i]);
printf(" printlexp: ");
printlexp(c);
nc = lexp2str(c, buf, sizeof(buf));
printf(" lexp2str: ");
printf("%s (code %d)\n", buf, nc);
}
return 0;
}
