summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* revert c9634: no need to modify env.mlsigsubstJacques Garrigue2010-04-061-23/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* sourceJacques Garrigue2010-03-191-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* more reuseJacques Garrigue2010-03-191-3/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ramsey et al. examplesJacques Garrigue2010-03-191-0/+87
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* eliminate values with same name in signaturesJacques Garrigue2010-03-181-2/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@10202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add parameters to Pwith_typesubstJacques Garrigue2010-03-067-22/+35
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* override val fields in signaturesJacques Garrigue2010-03-061-1/+23
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* handle dependenciesJacques Garrigue2010-03-031-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add "with module M = <path>"Jacques Garrigue2010-02-185-7/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* a few examplesJacques Garrigue2010-02-181-0/+27
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* first attempt at signature substitutionJacques Garrigue2010-02-184-2/+48
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* allow destructive substitutions on signaturesJacques Garrigue2010-02-1819-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Incorporating OBSD patches.Pierre Weis2010-02-091-0/+52
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Incorporating OBSD patches.Pierre Weis2010-02-091-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ignore generated filesDamien Doligez2010-02-096-7/+33
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9624 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* test directory was removed -- portable versionDamien Doligez2010-02-091-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* test directory was removedDamien Doligez2010-02-091-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* better PRNGDamien Doligez2010-02-051-33/+40
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild,solver: GC some dead commentNicolas Pouillard2010-02-031-6/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild,TODO: one thing doneNicolas Pouillard2010-02-031-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild,solver: add two comments.Nicolas Pouillard2010-02-031-0/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild: no longer open LexersNicolas Pouillard2010-02-031-5/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9613 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild: Improve a lexing error messageNicolas Pouillard2010-02-031-4/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild: fix a bug about $PATHNicolas Pouillard2010-02-033-12/+21
| | | | | | | | | 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
* ocamlbuild,start: update start.shNicolas Pouillard2010-02-031-2/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild: two commentsNicolas Pouillard2010-02-032-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild,doc: add Ocamlbuild_Myocamlbuild_configNicolas Pouillard2010-02-031-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* updated warningsDamien Doligez2010-01-292-208/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* numbering problem in commentsDamien Doligez2010-01-292-26/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9606 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mistake in the size of allocated integers (again)Damien Doligez2010-01-291-9/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-num*'Xavier Clerc2010-01-2918-154/+397
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ensures that the process is always killedXavier Clerc2010-01-291-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* mistake in the size of allocated integersDamien Doligez2010-01-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* obsolete file (Mac OS 9 / MPW)Damien Doligez2010-01-291-121/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Test9 was modified and thus wrong.Pierre Weis2010-01-281-3/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix for incompatibility with respect to BSD make ('-C' option)Xavier Clerc2010-01-281-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-systhreads'Xavier Clerc2010-01-285-92/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-threads'Xavier Clerc2010-01-2823-685/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-threads'Xavier Clerc2010-01-2862-2/+21077
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-scanf-2'Xavier Clerc2010-01-255-2/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9589 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-scanf'Xavier Clerc2010-01-254-5/+16
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9588 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'basic-private'Xavier Clerc2010-01-255-3/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'basic-io-2'Xavier Clerc2010-01-253-0/+30
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'basic-io'Xavier Clerc2010-01-253-0/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9585 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'lib-str'Xavier Clerc2010-01-253-0/+108
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'basic-more'Xavier Clerc2010-01-2513-2/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'basic-manyargs'Xavier Clerc2010-01-254-0/+71
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'runtime-errors'Xavier Clerc2010-01-257-0/+97
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'warnings'Xavier Clerc2010-01-253-0/+29
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tests moved to 'tool-ocaml'Xavier Clerc2010-01-25163-142/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02