From c09a7b134f9543962c333146117a17d730f3627c Mon Sep 17 00:00:00 2001 From: henz Date: Mon, 1 Jul 2024 14:51:58 +0800 Subject: [PATCH] fixes #839 --- xml/chapter3/section5/subsection1.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/chapter3/section5/subsection1.xml b/xml/chapter3/section5/subsection1.xml index 2c22b34f9..228d0c155 100644 --- a/xml/chapter3/section5/subsection1.xml +++ b/xml/chapter3/section5/subsection1.xml @@ -1057,7 +1057,7 @@ stream_ref(pair(10001, () => stream_enumerate_interval(10002, 1000000)), 100); pair(head(stream), - stream_filter(pred, stream_tail(stream))); + () => stream_filter(pred, stream_tail(stream))); which in this case is