X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment8.mdwn;h=42b22e174f9deb93ef32283bc73206de65d5e108;hp=5a2780d8459e95e45fa07ea0de4ce26c26a88a76;hb=f482d276a35e6ebadaa03abfccdc8f635f1f0c2f;hpb=1c203e3ca6a3b29830af36ea6f6b3a86be93675f

diff --git a/assignment8.mdwn b/assignment8.mdwn
index 5a2780d8..42b22e17 100644
--- a/assignment8.mdwn
+++ b/assignment8.mdwn
@@ -29,16 +29,13 @@
 	 
 
 		let make_fringe_enumerator (t: 'a tree) =
-			(* create a zipper targetting the root of t *)
-			let zstart = new_zipper t
-			in let zbotleft = move_botleft zstart
+			(* create a zipper targetting the botleft of t *)
+			let zbotleft = move_botleft (new_zipper t)
 			(* create a refcell initially pointing to zbotleft *)
 			in let zcell = ref (Some zbotleft)
 			(* construct the next_leaf function *)
 			in let next_leaf () : 'a option =
 				match !zcell with
-				| None -> (* we've finished enumerating the fringe *)
-					None
 				| Some z -> (
 					(* extract label of currently-targetted leaf *)
 					let Leaf current = z.filler
@@ -48,7 +45,9 @@
 						| Some z' -> Some (move_botleft z')
 					(* return saved label *)
 					in Some current
-				)
+				    )
+				| None -> (* we've finished enumerating the fringe *)
+					None
 			(* return the next_leaf function *)
 			in next_leaf
 			;;