LaTeX formatting for derivation treesHEADmaster

1 files changed, 6 insertions, 3 deletions

diff --git a/tree.icl b/tree.icl
index c7cdc77..f895c89 100644
--- a/tree.icl
+++ b/tree.icl
@@ -1,6 +1,6 @@
 module tree
 
-import StdEnv
+import StdEnv, StdDebug
 
 import Data.Maybe, Data.List
 from Data.Func import $
@@ -9,15 +9,18 @@ import System.CommandLine, System.GetOpt
 
 import Smurf
 import SmurfParse
+import LaTeX
 
 Start w
 # (_,f,w)    = fopen "reverse.smf" FReadText w
 # (pgm,f)    = readFile f
 # (ok,w)     = fclose f w
 # (Just pgm) = parse [c \\ c <-: pgm]
-= toString (devtree pgm)
+# tree       = devtree pgm
+# tree       = trace (toString tree +++ "\n") tree
+= toString (toLaTeX tree)
 where
-	devtree pgm = fromJust (tree pgm zero {zero & input = ["reverse"]} listIO)
+	devtree pgm = fromJust (tree pgm zero { zero & input = [""] } listIO)
 
 	readFile :: !*File -> *(!String, !*File)
 	readFile f