Fix broken tests

tests/misc/log

@@ -4,7 +4,7 @@
 ==============fixml4.3v20020920.cd===============
 ==============funs.cd===============
 ==============html2latex.cd===============
-File "../misc/xhtml-trans.cd", line 3, characters 8-10:
+File "tests/misc/xhtml-trans.cd", line 3, characters 8-10:
 Parsing error: [attrib_spec] expected (in [type/pattern expression])
 
 ==============IFX130.cd===============
@@ -12,17 +12,17 @@ Parsing error: [attrib_spec] expected (in [type/pattern expression])
 ==============lazy.cd===============
 ==============mc.cd===============
 ==============memento.cd===============
-File "../misc/memento.cd", line 11, characters 5-9:
+File "tests/misc/memento.cd", line 11, characters 5-9:
 Warning: This definition yields an empty type for Misc
-File "../misc/memento.cd", line 76, characters 8-157:
+File "tests/misc/memento.cd", line 76, characters 8-157:
 Warning: The following variables always match the empty sequence: s
-File "../misc/memento.cd", line 78, characters 28-48:
+File "tests/misc/memento.cd", line 78, characters 28-48:
 Warning: This branch is not used
-File "../misc/memento.cd", line 76, characters 29-105:
+File "tests/misc/memento.cd", line 76, characters 29-105:
 Warning: This branch is not used
-File "../misc/memento.cd", line 64, characters 3-116:
+File "tests/misc/memento.cd", line 64, characters 3-116:
 Warning: This branch is not used
-File "../misc/memento.cd", line 86, characters 49-53:
+File "tests/misc/memento.cd", line 86, characters 49-53:
 This expression should have type:
 { }
 Field no is not allowed here.
@@ -38,34 +38,32 @@ Field no is not allowed here.
 ==============stress_opt_seq.cd===============
 ==============vouill.cd===============
 ==============web.cd===============
-File "../misc/web.cd", line 41, characters 5-10:
+File "tests/misc/web.cd", line 41, characters 5-10:
 Warning: This definition yields an empty type for Table
-File "../misc/web.cd", line 11, characters 5-9:
+File "tests/misc/web.cd", line 11, characters 5-9:
 Warning: This definition yields an empty type for Misc
-File "../misc/web.cd", line 74, characters 0-193:
+File "tests/misc/web.cd", line 74, characters 0-193:
 Warning: This operator may fail
 ==============wp.cd===============
 ==============xhtml.cd===============
-File "../misc/xhtml.cd", line 3, characters 8-10:
+File "tests/misc/xhtml.cd", line 3, characters 8-10:
 Parsing error: [attrib_spec] expected (in [type/pattern expression])
 
 ==============xhtml-trans.cd===============
-File "../misc/xhtml-trans.cd", line 3, characters 8-10:
+File "tests/misc/xhtml-trans.cd", line 3, characters 8-10:
 Parsing error: [attrib_spec] expected (in [type/pattern expression])
 
 ==============xtrans.cd===============
+==============ref.cd===============
 ==============bugs_prod.cd===============
-File "../misc/bugs_prod.cd", line 3, characters 26-31:
+File "tests/misc/bugs_prod.cd", line 3, characters 26-31:
 This expression should have type:
 (`B,`B) | (`A,`A)
 but the first component has type `A | `B
 
 ==============eval_concat.cd===============
-File "../misc/eval_concat.cd", line 6, characters 1-7:
+File "tests/misc/eval_concat.cd", line 6, characters 1-7:
 This expression should have type:
 Arrow
 but it is a pair
 
-==============ref.cd===============
-Stack overflow
-

tests/misc/ns.cd

-let doc = load_xml ['ns.xml'];;
+let doc = load_xml ['tests/misc/ns.xml'];;
 
 print (print_xml doc);;
 

tests/misc/ref.cd

 type Person = FPerson | MPerson
-type FPerson = <person gender = "F" >[ Name Children (Tel | Email)?]
-type MPerson = <person gender="M">[ Name Children (Tel | Email)?]
+type FPerson = <person gender = "F" >[ Name Children? (Tel | Email)?]
+type MPerson = <person gender="M">[ Name Children? (Tel | Email)?]
 type Children = <children>[(ref Person)+]
 type Name = <name>[ PCDATA ]
 type Tel = <tel kind=?"home"|"work">['0'--'9'+ '-' '0'--'9'+]
@@ -17,11 +17,11 @@ loop [];;
 
 
 let newperson ([] -> Person) 
-  _ -> let person = ref Person (newperson []) in
+  _ -> let person = ref Person (<person gender ="M"> [<name>"GladOS"]) in
        let x = <person gender ="F"> [
                <name>"Pippo"
                <children> [ (person) ]]
        in person := x ; x ;;
 
 
-let pippo = newperson [];;
\ No newline at end of file
+let pippo = newperson [];;

tests/misc/web.cd

@@ -50,7 +50,7 @@ type Example  = <example code=String>[
   ];;
 
 let examples = 
-    match load_xml "examples.xml" with
+    match load_xml "tests/misc/examples.xml" with
     | Examples & <_>e -> e
     | _ -> raise "Invalid input document";;
 
@@ -104,6 +104,6 @@ let doc : Html =
       <address>[ 'This page has been generated by a ' !cduce ' program.' ]
    ]
  ];;
-dump_to_file "examples.html" (print_xml doc);;
+dump_to_file "tests/misc/examples.html" (print_xml doc);;
 *)
 

tests/misc/wp.cd

@@ -7,7 +7,7 @@ type Author = <author>[ PCDATA ];;
 
 
 let bib0 = 
-  match (load_xml "bib.xml") with
+  match (load_xml "tests/misc/bib.xml") with
     | (x & Bib) -> x
     | _ -> raise "Wrong type !" in
   bib0;;

tests/test.sh

@@ -90,8 +90,8 @@ GOODTESTS="$ROOT/misc/addrbook.cd $ROOT/misc/biblio.cd\
  $ROOT/misc/security.cd $ROOT/misc/str.cd $ROOT/misc/stress_opt_arg.cd\
  $ROOT/misc/stress_opt_seq.cd $ROOT/misc/vouill.cd $ROOT/misc/web.cd\
  $ROOT/misc/wp.cd $ROOT/misc/xhtml.cd $ROOT/misc/xhtml-trans.cd\
- $ROOT/misc/xtrans.cd"
-BADTESTS="$ROOT/misc/bugs_prod.cd $ROOT/misc/eval_concat.cd $ROOT/misc/ref.cd"
+ $ROOT/misc/xtrans.cd $ROOT/misc/ref.cd"
+BADTESTS="$ROOT/misc/bugs_prod.cd $ROOT/misc/eval_concat.cd"
 
 echo > $MISCLOG