Permalink
Commits on Mar 22, 2005
  1. rename fixed types as private

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 22, 2005
Commits on Mar 14, 2005
  1. fix subtyping

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 14, 2005
  2. print variance in private types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 14, 2005
Commits on Feb 23, 2005
  1. properly handle mutually recursive types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 23, 2005
Commits on Feb 22, 2005
  1. allow refining recursive types through with

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 22, 2005
  2. preciser check for fixed types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 22, 2005
Commits on Feb 21, 2005
  1. recursives types + cleanup

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 21, 2005
Commits on Feb 19, 2005
  1. fix with-type-as

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6794 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 19, 2005
  2. with constraints

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 19, 2005
  3. proper scoping + with constraints

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 19, 2005
Commits on Feb 16, 2005
  1. works a bit

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6785 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 16, 2005
Commits on Feb 15, 2005
  1. allow free vars

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 15, 2005
  2. define fixed types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6783 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 15, 2005
Commits on Feb 6, 2005
  1. This commit was manufactured by cvs2svn to create branch 'fixedtypes'.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    No author committed Feb 6, 2005
  2. use explicit variance for private types

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 6, 2005
Commits on Feb 4, 2005
  1. Ajout de camldebug dans le menu Caml d'emacs.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6779 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    diremy committed Feb 4, 2005
Commits on Feb 3, 2005
  1. MAJ construction camlheader.exe

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 3, 2005
  2. MAJ

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6776 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 3, 2005
  3. Suite utilisation _lseeki64: il faut declarer la fonction car on ne p…

    …eut pas inclure IO.H du systeme
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6775 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 3, 2005
Commits on Feb 2, 2005
  1. Nettoyage de l'implementation

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 2, 2005
  2. Utilisation de _lseeki64 au lieu de lseek (PR#3324)

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 2, 2005
  3. Construction de version.h

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6772 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Feb 2, 2005
Commits on Jan 31, 2005
  1. argl.* are now installed in LIBDIR/camlp4 (cf request #3439).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Michel Mauny committed Jan 31, 2005
Commits on Jan 28, 2005
  1. PR#3328 option ocaml -init <fichier>

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 28, 2005
  2. correction de quelques bugs signales par le warning Y

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 28, 2005
Commits on Jan 21, 2005
  1. ajout support ocamlopt -pack pour Mac OS X

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 21, 2005
  2. ajout support ocamlopt -pack pour Mac OS X

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6750 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 21, 2005
  3. des ignores partout pour supprimer les warnins S

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed Jan 21, 2005
Commits on Jan 18, 2005
  1. meilleur report d'erreur pour temp_file et open_temp_file

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 18, 2005
Commits on Jan 4, 2005
  1. PR#3406, parentheses

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 4, 2005
  2. PR#3406 CAMLreturn manquant

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 4, 2005
  3. coercion plus robuste apres magic

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6740 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jan 4, 2005
Commits on Dec 10, 2004
  1. make private types abstract for variance

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 10, 2004
Commits on Dec 9, 2004
  1. print variance only when needed

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 9, 2004
  2. dead code

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 9, 2004