From 4afb5894348b73e779d6a8f88b835b96f18c282e Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Tue, 7 Dec 2010 13:07:35 -0500 Subject: [PATCH] edit --- assignment9.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/assignment9.mdwn b/assignment9.mdwn index 145904ae..c8d2889f 100644 --- a/assignment9.mdwn +++ b/assignment9.mdwn @@ -118,14 +118,14 @@ val make_int_stream : int -> int stream = [fun] val int_stream : int stream = Next (1, [fun]) (* First element: 1 *) # let tail = match int_stream with Next (i, rest) -> rest;; -val tail : unit -> int stream = (* Tail: a thunk *) +val tail : unit -> int stream = [fun] (* Tail: a thunk *) (* Force the thunk to compute the second element *) # tail ();; - : int stream = Next (2, [fun]) (* Second element: 2 *) # match tail () with Next (_, rest) -> rest ();; -- : int stream = Next (3, ) (* Third element: 3 *) +- : int stream = Next (3, [fun]) (* Third element: 3 *) You can think of `int_stream` as a functional object that provides -- 2.11.0