Small fix on opam_config.sh.

Add tests on polymorphism (not supported) in the extended suite.

Makefile.distrib

@@ -292,7 +292,7 @@ clean:
 	rm -rf lib
 	$(RM) tests/schema/regtest/test.cd tests/schema/regtest/test.log
 	$(RM) tests/schema/test.cd tests/schema/test.log tests/misc/log tests/misc/memento.html tests/xsltmark/log tests/cql/log
-	$(RM) oUnit-* tests/ocaml/a/c.ml tests/ocaml/a/c.cdo tests/ocaml/a/c.cmi tests/ocaml/a/c.cmo
+	$(RM) oUnit-* tests/ocaml/a/c.ml tests/ocaml/a/c.cdo tests/ocaml/a/c.cmi tests/ocaml/a/c.cmo tests/ocaml/latypes/latypes2* tests/ocaml/latypes/latypes tests/ocaml/latypes/latypes.c[dm][oxi] tests/ocaml/latypes/latypestest.cm[io]
 	for i in $(OUNIT_TESTS); do $(RM) `echo tests/ocaml/$$i/$$i tests/ocaml/$$i/$$i.ml tests/ocaml/$$i/$$i.c[dm][oxi] tests/ocaml/$$i/$${i}test.cm[io]`; done
 
 distclean: clean

opam_config.sh

@@ -10,9 +10,7 @@ usage ()
     echo "Example: $0 --verbose --mliface=ocaml 4.01.0"
 }
 
-if test $# -lt 1; then usage; exit 1; fi
-
-while true; do
+while test $# -ge 1; do
     if test $1 = "-v" || test $1 = "--verbose"; then VERBOSE="true";
     elif echo $1 | grep -qs "\-\-mliface=*"; then
 	WITHOCAML="true"; OCAMLFOLDER=`echo $1 | cut -d '=' -f 2`;
@@ -20,6 +18,8 @@ while true; do
     shift;
 done
 
+if test $# -lt 1; then usage; exit 1; fi
+
 echo -n "Switching to version $1 of OCaml..."
 
 if test $VERBOSE = "false"; then

tests/test.sh

@@ -73,6 +73,12 @@ if test $EXTENDED = "true"; then
     $ROOT/../cduce -I $OCAMLDIR/cdsdl --mlstub -I `ocamlfind query sdl` $OCAMLDIR/cdsdl/cdsdl.cdo > $OCAMLDIR/cdsdl/cdsdl.ml
     ocamlfind ocamlc -I $OCAMLDIR/cdsdl -package cduce,sdl,oUnit -linkpkg -o $OCAMLDIR/cdsdl/cdsdl $OCAMLDIR/cdsdl/cdsdl.ml $OCAMLDIR/cdsdl/cdsdltest.ml
     $OCAMLDIR/cdsdl/cdsdl
+
+    ocamlc -I $OCAMLDIR/latypes -c $OCAMLDIR/latypes/latypes.mli
+    $ROOT/../cduce -I $OCAMLDIR/latypes --compile $OCAMLDIR/latypes/latypes.cd -I `ocamlfind query num`
+    $ROOT/../cduce -I $OCAMLDIR/latypes --mlstub $OCAMLDIR/latypes/latypes.cdo > $OCAMLDIR/latypes/latypes2.ml
+    ocamlfind ocamlc -I $OCAMLDIR/latypes -package cduce,num,oUnit -linkpkg -o $OCAMLDIR/latypes/latypes $OCAMLDIR/latypes/latypes.ml $OCAMLDIR/latypes/latypes2.ml $OCAMLDIR/latypes/latypestest.ml
+    $OCAMLDIR/latypes/latypes
 fi
 
 # Test misc