X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment8.mdwn;h=59e0090ba98dce44262b5072190bb62473d3582a;hp=495ef2f7218b10182b4e955b8d606dae4dea9c70;hb=8fbf14566363197bb08307a6bf4daece2f27602e;hpb=6adfe1eb3c123e9c415a9356f58c55beb9a2ec28

diff --git a/assignment8.mdwn b/assignment8.mdwn
index 495ef2f7..59e0090b 100644
--- a/assignment8.mdwn
+++ b/assignment8.mdwn
@@ -2,9 +2,10 @@
 
 		type 'a tree = Leaf of 'a | Node of ('a tree * 'a tree)
 
-		type 'a starred_tree = Root | Starring_Left of 'a starred_pair | Starring_Right of 'a starred_pair
-		and 'a starred_pair = { parent : 'a starred_tree; sibling: 'a tree }
-		and 'a zipper = { tree : 'a starred_tree; filler: 'a tree };;
+		type 'a starred_level = Root | Starring_Left of 'a starred_nonroot | Starring_Right of 'a starred_nonroot
+		and 'a starred_nonroot = { parent : 'a starred_level; sibling: 'a tree };;
+
+		type 'a zipper = { tree : 'a starred_level; filler: 'a tree };;
 
 		let rec move_botleft (z : 'a zipper) : 'a zipper =
 			(* returns z if the targetted node in z has no children *)