summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Correction de la declaration de Match_failure (1 argument qui est unXavier Leroy1995-06-051-1/+1
* typecore: [||] est generiqueXavier Leroy1995-06-052-1/+4
* Remplacement de Cset par SetXavier Leroy1995-05-307-12/+12
* Detection des types sommes avec trop de constructeurs.Xavier Leroy1995-05-224-2/+9
* Correction bug dans nondep_supertype.Xavier Leroy1995-05-221-7/+7
* Printf.sprintf et String.concat dans stdlibXavier Leroy1995-05-057-9/+9
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-0432-0/+4021