- gYear.cd
	- gYear.xsd
	- gYear.xml

Debug in schema/schema_builtin.ml :
	- reworked validate_gYear
	- modified validate_duration to test P and -P

Clean in schema/schema_builtin.ml :
	- deleted old validate_gYear

	- gYearMonth.cd
	- gYearMonth.xml
	- gYearMonth.xsd
Debug in schema/schema_builtin.ml :
	- validate_gYearMonth
Clean in schema/schema_builtin.ml :
	- delete old validate_gYearMonth

	- dateTime.cd
	- dateTime.xml
	- dateTime.xsd
Debug in schema/schema_pcre.ml :
	- in sub_token, there was an error in the while conditions
Debug in schema/schema_builtin.ml :
	- there was an error with the sign treatment
Clean in in schema/schema_builtin.ml :
	- removed old validate_dateTime
	- removed old parse_time

	- duration.xml
	- duration.xsd
	- duration.cd
Debug in schema/schema_builtin.ml :
	- validate_duration
Cleaning in schema/schema_builtin.ml :
	- Old version of validate_duration

	tests/schema_wo_pcre/test.* -> tests/schema_wo_pcre/date.*

	- 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.