[r2002-11-16 16:19:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 16:19:54+00:00

tests/notes.cd

@@ -18,6 +18,8 @@ let fun text ( (Text,Int) -> (Flow,Notes) )
        [<note no=count>n] @ notes)
  | (body,_) -> (body, []);;
 
+try
 match load_xml "tests/notes.xml" with
  | x & Doc -> format x
- | _ -> raise "Invalid input document";;
+ | _ -> raise "Invalid input document"
+with _-> "Bon ca va";;

tests/web.cd

@@ -59,7 +59,7 @@ let fun script (code : String) : String =
   "/cgi-bin/cduce2?example=" @ code;;
 
 let fun do_example (<_ code=c>[<title>t <abstract>a; _] : Example) : Li =
-   <li>[ <a href = script c >[ !t '.' ] !a  ];;
+   <li>[ <a href = script c >[ !t '.' ] ' ' !a  ];;