Permalink
Commits on May 13, 2003
  1. @xavierleroy

    MAJ version

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed May 13, 2003
  2. @xavierleroy

    Ajout expand_head_once pour Parmatch

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed May 13, 2003
  3. @xavierleroy

    Revu get_constr, etc, pour resister aux abreviations bizarres introdu…

    …ites pour le typage des module rec
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed May 13, 2003
  4. @xavierleroy

    Nettoyage

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed May 13, 2003
Commits on May 2, 2003
  1. @xavierleroy

    No need for -g

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed May 2, 2003
  2. @xavierleroy
  3. This commit was manufactured by cvs2svn to create branch

    'recursive_modules'.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/recursive_modules@5530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    No author committed May 2, 2003
  4. @pierreweis

    Addition of fragile match warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed May 2, 2003
  5. @maranget

    new warning, fragile match

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed May 2, 2003
  6. @pierreweis

    Addition of the new Fragile_pat warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed May 2, 2003
  7. @pierreweis

    Addition of the Fragile_pat warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed May 2, 2003
  8. @pierreweis

    Introduction du warning Fragile_pat pour signaler les filtrages

    exhaustifs mais fragiles, car sensibles à la modification des types
    qu'ils filtrent: une modification d'un des types resterait
    insoupçonnée au sens où aucun Warning de filtrage ne serait émis par
    le compilateur.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed May 2, 2003
Commits on May 1, 2003
  1. @pierreweis

    Complete move from virtual to private for concrete types with private

    constructors (or labels).
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed May 1, 2003
Commits on Apr 29, 2003
  1. @pierreweis

    Une grammaire à 0 conflits, ça se fête, ça se choie, ça se maintient.

    (Je sais j'ai mis un s à conflits, mais c'est par une attraction
    grammaticale irrésistible de l'usage du 0 en français: une grammaire
    sans conflits prend un s à conflits tout comme ``une maison sans
    fenêtres'' prend un s à fenêtres, au motif que si la maison avait des
    fenêtres, elle en aurait évidemment plusieurs; mutatis mutandis pour
    les grammaires: de mon expérience, s'il y avait des conflits ils
    seraient forcément plusieurs :)
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 29, 2003
  2. @pierreweis

    Getting rid of conflicts recently introduced.

    One step more towards use of keyword private instead of virtual for
    algebraic concrete types with private constructors or labels
    (previously known as virtual types).
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 29, 2003
Commits on Apr 28, 2003
  1. @pierreweis

    Adding a test for escaped end of lines.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  2. @pierreweis

    Documentation.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  3. @pierreweis

    Virtual becomes private.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  4. @pierreweis

    Introducing new constants deserve a new sub-version increment!

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  5. @pierreweis

    Introducing format %$ (to print strings with variables substitution)

    and %! (to flush the output). See printf.mli for details.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  6. @pierreweis

    Addition of function add_substitute for adding strings to buffer with

    variable names substitution via a function mapping.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  7. @pierreweis

    Ignoring test executables.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5515 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  8. @pierreweis

    Adding cleaning of gifanimtest-static.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  9. @pierreweis

    Adding the PATH option to find the Caml unix library.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
  10. @pierreweis

    Declare external Tkanim_Init.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 28, 2003
Commits on Apr 25, 2003
  1. @xavierleroy

    Bug dans Int32.shift_right_unsigned sur archi 64 bits

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Apr 25, 2003
  2. @xavierleroy

    Ajout des litteraux de type int32, nativeint, int64

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Apr 25, 2003
  3. @xavierleroy

    Pouvoir changer le nom de la fenetre avant de l'ouvrir

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Apr 25, 2003
  4. @xavierleroy

    Correction de draw_rectangle

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Apr 25, 2003
  5. @pierreweis

    Introduction of the new Bool and Tuple constructors for command line

    arguments. To be revisited.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 25, 2003
  6. @pierreweis

    Correcting the bug of large buffering when scanning files.

    Introduction of two new functions Scanning.from_file and
    Scanning.from_file_bin to alleviate this problem.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 25, 2003
  7. @pierreweis

    Adding new arguments types: boolean with spec Bool for function taking

    a boolean as argument, and tuples with spec Tuple of spec list for
    functions that takes more than one argument in turn on the command
    line. For instance Arg.(Tuple [Arg.Int f; Arg.Bool b; Arg.Int g])
    specifies an option that will take 3 elements on the command line and
    will call f, b, and g in turn with converted values of the
    corresponding types.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Apr 25, 2003
Commits on Apr 22, 2003
  1. ajout -dtypes

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 22, 2003
  2. cosmetique

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 22, 2003
  3. fix PR#1599 and PR#1616

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 22, 2003