summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* more detailspoly_methJacques Garrigue2000-12-153-37/+104
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mergedJacques Garrigue2000-12-1312-187/+206
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mergeJacques Garrigue2000-12-065-31/+58
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* import from HEADJacques Garrigue2000-10-281-4/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* import moreJacques Garrigue2000-10-282-33/+179
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* instance_polyJacques Garrigue2000-10-251-3/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* implement instance_sep, modify printtyp and typetexpJacques Garrigue2000-10-245-13/+216
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* beginning of polymorphic methodsJacques Garrigue2000-10-239-117/+105
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* This commit was manufactured by cvs2svn to create branch 'poly_meth'.No author2000-10-021413-225449/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* or-pat avec variables et compil du switchLuc Maranget2000-10-0227-321/+1946
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* or-pat avec variables et compil du switchLuc Maranget2000-10-0215-198/+535
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* precision doc appendDamien Doligez2000-09-281-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* adaptation zsh sous MacOS XDamien Doligez2000-09-261-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#191: ne pas inclure les cas traites dans la liste des cas oubliesJacques Garrigue2000-09-201-3/+5
| | | | | | | pour les variantes polymorphes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* alloc.c: typo; weak.c: include manquantDamien Doligez2000-09-082-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* change variance syntaxJacques Garrigue2000-09-0711-104/+130
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* construit supertypes pour constructeurs contravariantsJacques Garrigue2000-09-071-2/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* patch par Didier le Botlan pour les commentairesJacques Garrigue2000-09-071-2/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bug begin endDamien Doligez2000-09-062-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout des variancesJacques Garrigue2000-09-0617-92/+333
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* relaxation de la semantique des effets de bords sur les parametresJacques Garrigue2000-09-048-33/+50
| | | | | | | | optionels, pour permettre une compilation plus efficace. modifie' translcore, typedtree, typecore, typeclass git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* alpha-conversion pour eviter un clash bizarre sur RhapsodyDamien Doligez2000-09-012-22/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* 1- Ajout d'alpha-conversion dans substitute pour eviter les captures de ↵Xavier Leroy2000-09-011-53/+91
| | | | | | | | | variables accidentelles entre le corps d'une fonction inlinee provenant d'un autre module et un Ident.create ulterieur. 2- Desactiver l'optimisation des fonctions recursives closes lorsque la profondeur d'emboitement des fonctions devient trop importante (sinon: comportement exponentiel en la profondeur) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add ocamllex.opt and opt.opt targetsJacques Garrigue2000-08-316-4/+36
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* must detect executable name first for CygwinJacques Garrigue2000-08-251-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* use windows fonts for Cygwin; but shell does not workJacques Garrigue2000-08-252-5/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Warning changesJacques Garrigue2000-08-251-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* for CygwinJacques Garrigue2000-08-253-13/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* recognize Tk under CygwinJacques Garrigue2000-08-251-3/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* petit probleme avec AssertDamien Doligez2000-08-231-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* option -warn-errorDamien Doligez2000-08-2311-18/+65
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* option -warn-error, directive #warn_errorDamien Doligez2000-08-233-5/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* test de -warn-errorDamien Doligez2000-08-231-0/+44
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout Weak.get_copyDamien Doligez2000-08-232-5/+21
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout Weak.get_copyDamien Doligez2000-08-239-18/+62
| | | | | | | | Assert -> CAMLassert suppression des conjonctions dans les Assert git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout option -warn-errorDamien Doligez2000-08-231-0/+10
| | | | | | | ajout Weak.get_copy git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* depsDamien Doligez2000-08-232-61/+68
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Installer bigarray.hXavier Leroy2000-08-211-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ptit bug dans un formatLuc Maranget2000-08-141-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-118-384/+744
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-1118-152/+198
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* imprime les traces meme sans expansion, pour les erreurs de sous-typageJacques Garrigue2000-08-111-3/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Typos introduites pendant le portage CygwinXavier Leroy2000-08-103-3/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Portage CygwinXavier Leroy2000-08-1023-219/+322
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* tiny bug in eqtypeJacques Garrigue2000-08-101-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pour HAS_SELECT, verifier l'existence du type fd_set (PR#158)Xavier Leroy2000-08-081-6/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* int*_of_string: echouer si la chaine contient des chiffres illegaux dans la ↵Xavier Leroy2000-08-081-2/+2
| | | | | | base courante (PR#178) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ouvrir le source en mode binaire pour avoir des numeros de caracteres ↵Xavier Leroy2000-08-041-1/+1
| | | | | | corrects (PR#175) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* autorise l'application d'une contrainte a un type en cours de definitionJacques Garrigue2000-08-043-15/+30
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Utiliser Hashtbl.replaceXavier Leroy2000-07-281-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02