Permalink
Switch branches/tags
Commits on Apr 18, 2002
  1. merging poly_meth2

    Jacques Garrigue
    Jacques Garrigue committed Apr 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 16, 2002
  1. Use type_argument for constructor and record arguments.

    Jacques Garrigue
    Jacques Garrigue committed Apr 16, 2002
    Allows special processing of optional arguments.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 4, 2002
  1. use memorize_abbrev for simple_abbrevs

    Jacques Garrigue
    Jacques Garrigue committed Apr 4, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4585 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 25, 2002
  1. version string

    Jacques Garrigue
    Jacques Garrigue committed Mar 25, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. build_subtype and univars

    Jacques Garrigue
    Jacques Garrigue committed Mar 25, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. version string

    Jacques Garrigue
    Jacques Garrigue committed Mar 25, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. simple_abbrevs + no abbrev univars in records

    Jacques Garrigue
    Jacques Garrigue committed Mar 25, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. merge HEAD

    Jacques Garrigue
    Jacques Garrigue committed Mar 25, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 18, 2002
  1. This commit was manufactured by cvs2svn to create branch 'poly_meth2'.

    No author
    No author committed Mar 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. merge changes

    Jacques Garrigue
    Jacques Garrigue committed Mar 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Solaris est tatillon

    Jacques Garrigue
    Jacques Garrigue committed Mar 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 13, 2002
  1. improve error message

    Jacques Garrigue
    Jacques Garrigue committed Mar 13, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 8, 2002
  1. abbreviate polymorphic methods in class types

    Jacques Garrigue
    Jacques Garrigue committed Mar 8, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 1, 2002
  1. could break type soundness!

    Jacques Garrigue
    Jacques Garrigue committed Mar 1, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 28, 2002
  1. permet Tvar -> Tunivar dans moregeneral

    Jacques Garrigue
    Jacques Garrigue committed Feb 28, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 26, 2002
  1. principalite' pour type_argument

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

    No author
    No author committed Feb 20, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 18, 2002
  1. clean-up warning

    Jacques Garrigue
    Jacques Garrigue committed Feb 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 16, 2002
  1. generalise le constructeur

    Jacques Garrigue
    Jacques Garrigue committed Feb 16, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. poly.ml passe en -principal

    Jacques Garrigue
    Jacques Garrigue committed Feb 16, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 15, 2002
  1. merge packaging

    Jacques Garrigue
    Jacques Garrigue committed Feb 15, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. ajoute -principal

    Jacques Garrigue
    Jacques Garrigue committed Feb 15, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. ajout de -principal

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

    No author
    No author committed Feb 14, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 12, 2002
  1. merge 3.04+6

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

    No author
    No author committed Feb 11, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jan 7, 2002
  1. polymorphic objects too

    Jacques Garrigue
    Jacques Garrigue committed Jan 7, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. re-merci Alain

    Jacques Garrigue
    Jacques Garrigue committed Jan 7, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4238 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jan 5, 2002
  1. handle poly types

    Jacques Garrigue
    Jacques Garrigue committed Jan 5, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. merge from HEAD

    Jacques Garrigue
    Jacques Garrigue committed Jan 5, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. merci Alain

    Jacques Garrigue
    Jacques Garrigue committed Jan 5, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jan 4, 2002
  1. polymorphic methods and records

    Jacques Garrigue
    Jacques Garrigue committed Jan 4, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. This commit was manufactured by cvs2svn to create branch 'poly_meth2'.

    No author
    No author committed Jan 4, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. correct variant explicit polymorphism + object types

    Jacques Garrigue
    Jacques Garrigue committed Jan 4, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. polymorphisme explicite pour les variantes

    Jacques Garrigue
    Jacques Garrigue committed Jan 4, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02