| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | rename fixed types as privatefixedtypes | Jacques Garrigue | 2005-03-22 | 9 | -49/+81 |
| * | fix subtyping | Jacques Garrigue | 2005-03-14 | 1 | -6/+26 |
| * | print variance in private types | Jacques Garrigue | 2005-03-14 | 1 | -19/+14 |
| * | properly handle mutually recursive types | Jacques Garrigue | 2005-02-23 | 1 | -4/+11 |
| * | allow refining recursive types through with | Jacques Garrigue | 2005-02-22 | 1 | -8/+8 |
| * | preciser check for fixed types | Jacques Garrigue | 2005-02-22 | 1 | -3/+13 |
| * | recursives types + cleanup | Jacques Garrigue | 2005-02-21 | 5 | -55/+61 |
| * | fix with-type-as | Jacques Garrigue | 2005-02-19 | 2 | -3/+1 |
| * | with constraints | Jacques Garrigue | 2005-02-19 | 3 | -35/+60 |
| * | proper scoping + with constraints | Jacques Garrigue | 2005-02-19 | 4 | -12/+23 |
| * | works a bit | Jacques Garrigue | 2005-02-16 | 7 | -16/+83 |
| * | allow free vars | Jacques Garrigue | 2005-02-15 | 2 | -2/+3 |
| * | define fixed types | Jacques Garrigue | 2005-02-15 | 5 | -27/+76 |
| * | use explicit variance for private types | Jacques Garrigue | 2005-02-06 | 1 | -0/+21 |
| * | make private types abstract for variance | Jacques Garrigue | 2004-12-10 | 1 | -1/+6 |
| * | print variance only when needed | Jacques Garrigue | 2004-12-09 | 1 | -2/+8 |
| * | dead code | Jacques Garrigue | 2004-12-09 | 1 | -4/+0 |
| * | fix variance bug | Jacques Garrigue | 2004-12-09 | 11 | -50/+123 |
| * | Correcting bug concerning incomplete (meta)-format strings. | Pierre Weis | 2004-12-07 | 1 | -6/+7 |
| * | changements sur les warnings | Damien Doligez | 2004-11-30 | 4 | -40/+22 |
| * | new warning for black holes | Jacques Garrigue | 2004-11-29 | 1 | -14/+44 |
| * | avoid -W Y warnings in some source I wrote | Luc Maranget | 2004-11-25 | 1 | -2/+2 |
| * | warning Y prioritaire sur Z | Damien Doligez | 2004-11-18 | 1 | -5/+3 |
| * | cleanup warnings | Jacques Garrigue | 2004-11-17 | 3 | -12/+17 |
| * | pour faire "ocamlc -w YZ -warn-error Az" | Damien Doligez | 2004-11-10 | 1 | -20/+16 |
| * | solve warnings | Jacques Garrigue | 2004-11-10 | 3 | -5/+3 |
| * | ajout warning unused variable | Damien Doligez | 2004-11-06 | 1 | -0/+267 |
| * | do not assume all quantified Tunivar occur | Jacques Garrigue | 2004-10-15 | 1 | -18/+6 |
| * | different Tpoly's may share the same vl | Jacques Garrigue | 2004-10-15 | 1 | -7/+7 |
| * | allow for phantom univars | Jacques Garrigue | 2004-10-14 | 1 | -6/+16 |
| * | accept more cases | Jacques Garrigue | 2004-10-14 | 1 | -13/+27 |
| * | do Fmu checks for moregeneral/eqtype/subtype | Jacques Garrigue | 2004-10-13 | 1 | -57/+38 |
| * | check for escaping variables in Fmu | Jacques Garrigue | 2004-10-13 | 1 | -3/+46 |
| * | add location info in Ptype_variant and Ptype_record | Jacques Garrigue | 2004-10-06 | 1 | -7/+9 |
| * | Bug reported by Yutaka Oiwa on meta formats. | Pierre Weis | 2004-10-04 | 1 | -1/+1 |
| * | Implementation des meta formats. | Pierre Weis | 2004-09-22 | 2 | -92/+101 |
| * | fix limited_generalize for variants | Jacques Garrigue | 2004-09-21 | 1 | -1/+7 |
| * | Retour au code d'origine pour la simplification des coercions. | Xavier Leroy | 2004-08-12 | 1 | -5/+5 |
| * | Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0 | Xavier Leroy | 2004-07-13 | 3 | -11/+2 |
| * | Implementation of an extension of record typing: the first path | Pierre Weis | 2004-06-14 | 1 | -2/+18 |
| * | Uniform treatment of errors in constant format strings typing. | Pierre Weis | 2004-06-14 | 1 | -20/+20 |
| * | Generalisation option -o | Xavier Leroy | 2004-06-13 | 2 | -6/+15 |
| * | Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) | Xavier Leroy | 2004-06-12 | 11 | -187/+215 |
| * | Lorsque le sous-typage se traduit par prendre un prefixe strict du bloc repre... | Xavier Leroy | 2004-06-11 | 1 | -14/+12 |
| * | symmetry of unify_univar | Jacques Garrigue | 2004-06-08 | 1 | -15/+15 |
| * | protect against sharing of self type | Jacques Garrigue | 2004-05-31 | 1 | -1/+3 |
| * | trinomy for final classes: self_type/private_self/public_self | Jacques Garrigue | 2004-05-28 | 1 | -11/+15 |
| * | allow public self and private self to be unified | Jacques Garrigue | 2004-05-28 | 1 | -2/+7 |
| * | fix PR#2562 (but break 'let ilist2' in poly.ml) | Jacques Garrigue | 2004-05-28 | 1 | -3/+4 |
| * | fix PR#2062 | Jacques Garrigue | 2004-05-23 | 1 | -2/+2 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |