Permalink
Switch branches/tags
Commits on Dec 15, 2000
  1. more details

    Jacques Garrigue committed Dec 15, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Dec 13, 2000
  1. merged

    Jacques Garrigue committed Dec 13, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Dec 6, 2000
  1. merge

    Jacques Garrigue committed Dec 6, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 28, 2000
  1. import from HEAD

    Jacques Garrigue committed Oct 28, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. import more

    Jacques Garrigue committed Oct 28, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 25, 2000
  1. instance_poly

    Jacques Garrigue committed Oct 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 24, 2000
  1. implement instance_sep, modify printtyp and typetexp

    Jacques Garrigue committed Oct 24, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 23, 2000
  1. beginning of polymorphic methods

    Jacques Garrigue committed Oct 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 2, 2000
  1. This commit was manufactured by cvs2svn to create branch 'poly_meth'.

    No author committed Oct 2, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth@3305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. or-pat avec variables et compil du switch

    maranget committed Oct 2, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. or-pat avec variables et compil du switch

    maranget committed Oct 2, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 28, 2000
  1. precision doc append

    Damien Doligez committed Sep 28, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 26, 2000
  1. adaptation zsh sous MacOS X

    Damien Doligez committed Sep 26, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 20, 2000
  1. PR#191: ne pas inclure les cas traites dans la liste des cas oublies

    Jacques Garrigue committed Sep 20, 2000
    pour les variantes polymorphes.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 8, 2000
  1. alloc.c: typo; weak.c: include manquant

    Damien Doligez committed Sep 8, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 7, 2000
  1. change variance syntax

    Jacques Garrigue committed Sep 7, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. construit supertypes pour constructeurs contravariants

    Jacques Garrigue committed Sep 7, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. patch par Didier le Botlan pour les commentaires

    Jacques Garrigue committed Sep 7, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 6, 2000
  1. bug begin end

    Damien Doligez committed Sep 6, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. ajout des variances

    Jacques Garrigue committed Sep 6, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 4, 2000
  1. relaxation de la semantique des effets de bords sur les parametres

    Jacques Garrigue committed Sep 4, 2000
    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
Commits on Sep 1, 2000
  1. alpha-conversion pour eviter un clash bizarre sur Rhapsody

    Damien Doligez committed Sep 1, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. 1- Ajout d'alpha-conversion dans substitute pour eviter les captures …

    xavierleroy committed Sep 1, 2000
    …de 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
Commits on Aug 31, 2000
  1. add ocamllex.opt and opt.opt targets

    Jacques Garrigue committed Aug 31, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Aug 25, 2000
  1. must detect executable name first for Cygwin

    Jacques Garrigue committed Aug 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. use windows fonts for Cygwin; but shell does not work

    Jacques Garrigue committed Aug 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Warning changes

    Jacques Garrigue committed Aug 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. for Cygwin

    Jacques Garrigue committed Aug 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. recognize Tk under Cygwin

    Jacques Garrigue committed Aug 25, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Aug 23, 2000
  1. petit probleme avec Assert

    Damien Doligez committed Aug 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. option -warn-error

    Damien Doligez committed Aug 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. option -warn-error, directive #warn_error

    Damien Doligez committed Aug 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. test de -warn-error

    Damien Doligez committed Aug 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. ajout Weak.get_copy

    Damien Doligez committed Aug 23, 2000
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. ajout Weak.get_copy

    Damien Doligez committed Aug 23, 2000
    Assert -> CAMLassert
    suppression des conjonctions dans les Assert
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02