adamc@131: val rec endlessList1 = fn () =>
adamc@131: Buy eggs.
adamc@131: {endlessList2 ()}
adamc@131:
adamc@131:
adamc@131: and endlessList2 = fn () =>
adamc@131: Buy milk.
adamc@131: {endlessList1 ()}
adamc@131: {endlessList3 ()}
adamc@131:
adamc@131:
adamc@131: and endlessList3 = fn () =>
adamc@131: Buy goat.
adamc@131:
adamc@131:
adamc@131: val main = fn () =>
adamc@131: {endlessList1 ()}
adamc@131: