- date tests
Debug in schema/schema_pcre.ml :
	- next_token
	- sub_token
Debug in schema/schema_builtin.ml :
	- make_sign
	- parse_date
	- validate_date
	- parse_timezone
Cleaning in schema/schema_builtin.ml :
	- unused functions
	- Old parse_sign
	- Old parse_date
	- Old validate_date
	- Old parse_timezone

Commit before testing and cleaning session...

Non testé.

parse_date modified in schema/schema_builtin.ml

split_spaces (fichier schema_pcre.ml).

pouvoir supprimer la fonction pcre_split.

les schemas xml. Permettant de tester le pattern matching a la main.

Do not try to print a sample for types for which no printable sample exists (Abstract types in particular).

Modification de la règle uninstall pour supprimer les .cdo installés.

Lucas authored Mar 31, 2015 and Kim Nguyễn committed May 08, 2015

Tests sur les listes fonctionnant.
Deplacement des fichiers tests au bon endroit.
Sauvegarde avant modification fichier systeme pour installation stdlib.

Lucas authored Mar 10, 2015 and Kim Nguyễn committed May 08, 2015

Reste algo tri / test.cd.

Do not add constraints of the form s <= 'a <= t, for monomorphic alpha's, just check that the constraint holds for all substitution and replace it with a universal Sat or Unsat. This prevent the algorithm from introducing dummy substitutions later on of the form 'a <- 'a which interact badly with type cleaning (replacing covariant/contra-variant occurences by Empty/Any).

Fix conditionaly compiled code, that contained type errors.

Fix a regression where polymorphic variables would not be chosen in favor of monomorphic ones during the 'single' phase of constraint generation.

This branch fixes several problem with the typechecker and pretty-printer.
It also re-organizes the Types module and extract the Tallying into a separate file.