summaryrefslogtreecommitdiff
path: root/utils/consistbl.mli
Commit message (Collapse)AuthorAgeFilesLines
* Turn warning 31 (Module_linked_twice) into a hard error (#11635)hhugo2023-01-051-5/+0
|
* [refactoring] use named fields for Consistbl.Inconsistency exceptionGabriel Scherer2019-11-071-5/+6
|
* Functorize Consistbl (with some background info on Compilation_unit.t) (#2286)Mark Shinwell2019-03-071-45/+57
|
* refactoring: use Misc type aliases in utils/consistblGabriel Scherer2019-01-301-8/+10
|
* manual: compiler-libs.mld -> compiler_libs.mldFlorian Angeletti2018-09-121-1/+1
|
* MPR7546, manual: preambles and warnings for compiler-libs modules (#2020)Florian Angeletti2018-09-121-1/+6
| | | | | | * preambles for compiler-libs modules * Compilerlibs intro and warning link
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
| | | | Remains to be done: remove all headers in testsuite/tests.
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-071-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* revert commit 14719Jacques Garrigue2014-05-021-4/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell2014-05-011-3/+4
| | | | | | 45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remplacement de is_bound par source pour les besoins d'ocamloptXavier Leroy2002-11-181-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* - Revu en profondeur la verification des CRC d'interfaces.Xavier Leroy2002-11-171-0/+59
Cela corrige le PR#1064. - Les CRC des modules constituant un programme sont stockes dans l'executable bytecode, section CRCS. Revu Dynlink pour utiliser ces CRC au lieu d'attendre de l'utilisateur qu'il les fournisse. MAJ du debugger en consequence. - Introduction et utilisation du fichier stdlib/StdlibModules. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02