summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* remove doublonsstrict_labelsJacques Garrigue2001-09-0235-122/+91
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* allow also omission in class applicationJacques Garrigue2001-05-221-2/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* silencieux si pas verbeuxJacques Garrigue2001-05-141-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Cherche tcl.h dans le path de X11Jacques Garrigue2001-05-141-12/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* liste des labels manquants dans l'exception Labels_missingJacques Garrigue2001-05-102-6/+33
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* update options/warningsJacques Garrigue2001-05-102-3/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* majuscules dans les labelsJacques Garrigue2001-05-102-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* meilleures dependencesJacques Garrigue2001-05-091-7/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* better dependenciesJacques Garrigue2001-05-091-11/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add warningJacques Garrigue2001-05-095-2/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* oublis variesJacques Garrigue2001-05-0811-34/+44
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Try switching libraries to strict labelsJacques Garrigue2001-05-07111-516/+3106
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* This commit was manufactured by cvs2svn to create branchNo author2001-04-301-1/+0
| | | | | | 'strict_labels'. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* more tests against zeroLuc Maranget2001-04-301-1/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* stupid bug in offsets (Switch)Luc Maranget2001-04-304-4/+29
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* new Switch moduleLuc Maranget2001-04-306-693/+672
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Erreur dans la doc de Array.createXavier Leroy2001-04-261-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* cleaned bytecomp/simplif.mlLuc Maranget2001-04-231-61/+179
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bug 342 (records dans les orpats)Luc Maranget2001-04-233-8/+41
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* enforce uniqueness of typing in label modeJacques Garrigue2001-04-1920-82/+132
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* search symbolJacques Garrigue2001-04-151-15/+25
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add smalltalk-style browserJacques Garrigue2001-04-1310-29/+553
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de link pour W2K (L. Fourquaux)Xavier Leroy2001-04-103-2/+43
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changements cosmetiques dans le signal_threadXavier Leroy2001-04-102-16/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* toilette du filtrage variants polymorphe + force traitement apres decouverte ↵Jacques Garrigue2001-04-101-38/+26
| | | | | | d'un cas de non-completude git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Patch pour trouver tcl/tk 8.2/8.3 sur certains Debians (PR#331)Xavier Leroy2001-04-061-0/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Suppression re-partage des constantes structurees, ne sert pas a grand chose ↵Xavier Leroy2001-04-021-14/+8
| | | | | | et introduit trop de differences semantiques par-rapport au compilateur bytecode git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Suite revision immediats entiers (PR#327,#328)Xavier Leroy2001-04-021-12/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* corrected bug 325Luc Maranget2001-03-303-36/+110
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu gestion des immediats entiers (PR#327,#328) -- non testeXavier Leroy2001-03-302-31/+50
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Petites correctionsXavier Leroy2001-03-301-5/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Cleanup patches (see PR#321)Xavier Leroy2001-03-307-5/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Doc de temp_file (PR#315)Xavier Leroy2001-03-291-1/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ieee mode for FreeBSD before 4.0R (checked)Jacques Garrigue2001-03-271-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bug idiot 324Luc Maranget2001-03-265-32/+43
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* *** empty log message ***Fabrice Le Fessant2001-03-261-11/+555
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* *** empty log message ***Fabrice Le Fessant2001-03-261-555/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Correction d'une erreur sur la gestion des definitions de modulesPierre Weis2001-03-231-8/+6
| | | | | | | toplevel (sur le conseil de Judicael Courant). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bug 319 (equivalent orpats with variables)Luc Maranget2001-03-212-9/+42
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Petit bug dans un titre de documentation (doit etre sur une seule ligne)Xavier Leroy2001-03-151-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Dans float_of_bits, eviter de faire un load ou store flottant au cas ou le ↵Xavier Leroy2001-03-151-4/+4
| | | | | | processeur serait en mode 'trapping' (PR#309) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* floating point requires initialization on FreeBSD before 3.1RJacques Garrigue2001-03-141-0/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* macos9: suppression de GUSI (PR#307); suppression 68kDamien Doligez2001-03-1312-3200/+88
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* macos9: suppression GUSI (PR#307)Damien Doligez2001-03-1311-198/+94
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Mac OS 9Damien Doligez2001-03-075-10/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Mac OS XDamien Doligez2001-03-072-3/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* MacOS XDamien Doligez2001-03-062-2/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#303Damien Doligez2001-03-062-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#302Damien Doligez2001-03-061-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* commentairesDamien Doligez2001-03-061-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02