GitLab

to the main suite, R and SEQ to the extended suite.

has not been built, only displaying a warning.

committing. To install the hooks locally: tools/install_hooks.sh

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

Tests in tests/misc are now part of the suites.

	make test
For the complete one:
	make extendedtest
This last test suite will show some errors as it tests unimplemented
features. See tests/test.sh for the implementation.
Useless Makefiles removed

	./opam_config.sh [OCaml version]
to switch to an OCaml version and install the necessary opam
packages to compile CDuce.

Minor fix for Makefile verbose mode.

tests/ocaml folder to use it.

this point. Besides, CDuce doesn't compile here with OCaml 3.12 as
the old types have been replaced by the new ones.