Skip to content
Commits on Apr 6, 2010
  1. revert c9634: no need to modify env.ml

    Jacques Garrigue committed Apr 6, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 19, 2010
  1. source

    Jacques Garrigue committed Mar 19, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. more reuse

    Jacques Garrigue committed Mar 19, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Ramsey et al. examples

    Jacques Garrigue committed Mar 19, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 18, 2010
  1. eliminate values with same name in signatures

    Jacques Garrigue committed Mar 18, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 6, 2010
  1. add parameters to Pwith_typesubst

    Jacques Garrigue committed Mar 6, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. override val fields in signatures

    Jacques Garrigue committed Mar 6, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 3, 2010
  1. handle dependencies

    Jacques Garrigue committed Mar 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 18, 2010
  1. add "with module M = <path>"

    Jacques Garrigue committed Feb 18, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. a few examples

    Jacques Garrigue committed Feb 18, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. first attempt at signature substitution

    Jacques Garrigue committed Feb 18, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. allow destructive substitutions on signatures

    Jacques Garrigue committed Feb 18, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 9, 2010
  1. @pierreweis

    Incorporating OBSD patches.

    pierreweis committed Feb 9, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. @pierreweis

    Incorporating OBSD patches.

    pierreweis committed Feb 9, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. ignore generated files

    Damien Doligez committed Feb 9, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9624 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. test directory was removed -- portable version

    Damien Doligez committed Feb 9, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. test directory was removed

    Damien Doligez committed Feb 9, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 5, 2010
  1. better PRNG

    Damien Doligez committed Feb 5, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Feb 3, 2010
  1. @np

    ocamlbuild,solver: GC some dead comment

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

    ocamlbuild,TODO: one thing done

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. @np

    ocamlbuild,solver: add two comments.

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. @np

    ocamlbuild: no longer open Lexers

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9613 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. @np

    ocamlbuild: Improve a lexing error message

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. @np

    ocamlbuild: fix a bug about $PATH

    np committed Feb 3, 2010
    Replace the colon_sep_strings lexing
    function by parse_environment_path which
    better account for leading or trailing
    colons.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. @np

    ocamlbuild,start: update start.sh

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  8. @np

    ocamlbuild: two comments

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  9. @np

    ocamlbuild,doc: add Ocamlbuild_Myocamlbuild_config

    np committed Feb 3, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jan 29, 2010
  1. updated warnings

    Damien Doligez committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. numbering problem in comments

    Damien Doligez committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9606 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. mistake in the size of allocated integers (again)

    Damien Doligez committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. @xclerc

    Tests moved to 'lib-num*'

    xclerc committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. @xclerc

    Ensures that the process is always killed

    xclerc committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. mistake in the size of allocated integers

    Damien Doligez committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. obsolete file (Mac OS 9 / MPW)

    Damien Doligez committed Jan 29, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jan 28, 2010
  1. @pierreweis

    Test9 was modified and thus wrong.

    pierreweis committed Jan 28, 2010
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Something went wrong with that request. Please try again.