X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment9.mdwn;h=145904ae33208b543baa338a2d97a410453d29a7;hp=20a8968dcd807b1d79505b23fbf6b5cc882014e4;hb=e1e73571e65c3c8c138f375a7893a1bd76fa2f4d;hpb=f5af9a2dbe19bcd70978009a80771ab0f381c710;ds=inline diff --git a/assignment9.mdwn b/assignment9.mdwn index 20a8968d..145904ae 100644 --- a/assignment9.mdwn +++ b/assignment9.mdwn @@ -122,10 +122,10 @@ val tail : unit -> int stream = (* Tail: a thunk *) (* Force the thunk to compute the second element *) # tail ();; -- : int stream = Next (2, [fun]) (* Second element: 2 *) +- : 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, ) (* Third element: 3 *) You can think of `int_stream` as a functional object that provides