week11 tweaks

[lambda.git] / assignment8.mdwn

diff --git a/assignment8.mdwn b/assignment8.mdwn
index 59e0090..5a2780d 100644 (file)
--- a/assignment8.mdwn
+++ b/assignment8.mdwn
@@ -5,7 +5,7 @@
                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 };;
+               type 'a zipper = { level : '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 *)
@@ -23,7 +23,7 @@
 
 
                let new_zipper (t : 'a tree) : 'a zipper =
-                       {tree = Root; filler = t}
+                       {level = Root; filler = t}
                        ;;