edit
[lambda.git] / assignment9.mdwn
index bb15aab..524c9ef 100644 (file)
@@ -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 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 = <fun>                 (* 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 ();;
 
 (* 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, <fun>)                     (* Third element: 3 *)
+- : int stream = Next (3, <fun>)                         (* Third element: 3 *)
 </pre>
 
 You can think of `int_stream` as a functional object that provides
 </pre>
 
 You can think of `int_stream` as a functional object that provides