Permalink
Switch branches/tags
Commits on May 14, 2003
  1. merge from HEAD

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed May 14, 2003
Commits on Apr 3, 2003
  1. This commit was manufactured by cvs2svn to create branch 'multimatch'.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    No author committed Apr 3, 2003
Commits on Jan 21, 2003
  1. switch to unification-base moregeneral

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 21, 2003
Commits on Jan 17, 2003
  1. merge from head

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 17, 2003
Commits on Dec 11, 2002
  1. moregen dependent matching

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 11, 2002
Commits on Dec 10, 2002
  1. make moregeneral exponential

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 10, 2002
Commits on Dec 6, 2002
  1. merge changes

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 6, 2002
Commits on Nov 8, 2002
  1. add multifun keyword + correctly print types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 8, 2002
  2. merge changes + handle or-patterns

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

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    No author committed Nov 4, 2002
Commits on Nov 1, 2002
  1. unify_row_field in fixed mode

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

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 1, 2002
Commits on Oct 30, 2002
  1. enable unification backtracking

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 30, 2002
Commits on Oct 10, 2002
  1. handle interfaces

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 10, 2002
Commits on Oct 9, 2002
  1. handle or-patterns

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 9, 2002
Commits on Oct 8, 2002
  1. add dependent matching

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

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/multimatch@5164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    No author committed Oct 8, 2002
  3. collapse conjunctive types in class definition parameters

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 8, 2002
  4. Revised semantics of @c: the c character is now skipped by default.

    This behaviour is documented.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 8, 2002
Commits on Oct 7, 2002
  1. Unused match case 'B' in orpat.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 7, 2002
  2. A lot of modifications: provision for unsigned numbers in binary

    notation + addition of a new ``bof'' field in input buffers to detect that
    no chars have ever been read + careful check and debugging of reading
    from empty buffers + code review. Addition of stdib for reading from stdin.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 7, 2002
  3. Provision for unsigned numbers in binary notation.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 7, 2002
  4. Provision for printing of unsigned numbers in binary notation.

    (Still to be revised.)
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 7, 2002
  5. Adding the %b convertion for unsigned numbers in binary notation.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Oct 7, 2002
Commits on Oct 2, 2002
  1. bug improbable dans matching (exemple a la fin de morematch.ml)

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed Oct 2, 2002
  2. ajout _ dans les nombres; ajout \xhh dans les chaines

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 2, 2002
  3. correction d'un oubli : cross ref dans les text des custom tags

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    zoggy committed Oct 2, 2002
Commits on Oct 1, 2002
  1. Petite discussion avec Jacques.

      1 Pb typage variants, en attente, exemple dans test/Moretest/morematch.ml
      2 Meilleure compilation des switch de variants -> bytecomp/switch.ml
         a Vider la table t en cas de changement de ok_inter
         b Traiter les intervalles de taille 1 meme si !ok_inter = false
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed Oct 1, 2002
  2. Manquait unix_[gs]etsockopt_bool si pas HAS_SOCKET

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Oct 1, 2002
  3. ajout -linkall et Nativeint dans les crc pour le chargement dynamique

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    zoggy committed Oct 1, 2002
Commits on Sep 30, 2002
  1. ouf tests finis ?

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed Sep 30, 2002
Commits on Sep 27, 2002
  1. PR#1378

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Sep 27, 2002
  2. \xFF dans les chaines et les caracteres

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Sep 27, 2002
  3. Pour trouver binutils sur Mac OS X

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Sep 27, 2002
  4. ajout class css td.typefieldcomment pour pouvoir bien separer des com…

    …mentaires des definitions de constructeurs ou de champs dans un type
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5145 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    zoggy committed Sep 27, 2002