Threading TL throughout Semant. Still a single todoAccess left to be …

…purged
g15ecb · Apr 7, 2011 · c3707f6 · c3707f6
1 parent 4d1e906
commit c3707f6
Show file tree

Hide file tree

Showing 5 changed files with 219 additions and 110 deletions.
diff --git a/chap06/main.sml b/chap06/main.sml
@@ -10,11 +10,12 @@ struct
     in
       print ("parse =>\n");
       PP.print(TextIO.stdOut, ast);
+      print ("find escapes =>\n");
+      FindEscape.findEscape(ast); (* pass: note variables that escape *)
       print ("type check =>\n");
-      Semant.transProg(ast); (* pass: type check *)
-      FindEscape.findEscape(ast) (* pass: note variables that escape *)
-    handle Fail msg => ErrorMsg.error 1 ("failed with: " ^ msg)
-    handle        _ => ErrorMsg.error 1 "type check failed with unknown exception"
+      Semant.transProg(ast) (* pass: type check *)
+        handle Fail msg => ErrorMsg.error 1 ("failed with: " ^ msg)
+        handle        _ => ErrorMsg.error 1 "type check failed with unknown exception"
     end
   end
 

diff --git a/chap06/run b/chap06/run
@@ -16,5 +16,7 @@ ml-yacc tiger.grm &&
       echo
     done
   ) > run.actual.out &&
-  diff -U5 run.expected.out run.actual.out | tee run.diff.out && echo "good!"
+  (
+    diff -U7 run.expected.out run.actual.out && echo "good!"
+  ) | tee run.diff.out
 echo status=$?