[r2003-01-15 09:22:14 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-15 09:22:14+00:00

web/macros2.cd

 type XML_elem = <(_)>XML;;
 type XML = [ (XML_elem | Char)* ];;
 
+
 let fun banner (title : Any, subtitle : Any) : XML =
 [<div class="title">[
   !(match title with t & XML \ [] -> [<p>[] <h1>t] | _ -> [])
@@ -16,7 +17,7 @@ let fun box (title : Any, subtitle : Any, name : Any, content : XML) : XML =
   !content
 ]];;
 
-let fun convert (XML_elem | Char | XML -> XML)
+let fun convert (XML_elem | Char | XML  -> XML)
  | <box ({ title=t } 
          & ({ subtitle=st } | (st := `nil))
          & ({ link=name } | (name := `nil)) )>x -> 
@@ -44,5 +45,5 @@ let out : String =
   @
   (transform convert src with x -> print_xml x);;
 
-dump_to_file "index2.html" out;;
+dump_to_file "index.php" out;;