Commit 158eb2ae authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-01-15 09:22:14+00:00
parent 95925bb9
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;;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment