summaryrefslogtreecommitdiff
path: root/ocamldoc
Commit message (Collapse)AuthorAgeFilesLines
* PR#4243: make the Makefiles parallelizableDamien Doligez2013-07-242-7/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* build: select win32 variants of unix and graph for mingw.Wojciech Meyer2013-06-301-7/+7
| | | | | | (Patch by Adrien Nader!) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Improved implementation of OCAMLPARAMFabrice Le Fessant2013-06-051-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13747 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* get rid of deprecated operators (&) and (or)Damien Doligez2013-05-286-71/+71
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#5985 for constrained parameters too.Jacques Garrigue2013-05-032-10/+8
| | | | | | | Required more variance information, so variance is now an abstract type. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue2013-04-302-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5933 type-specialize 'let compare = compare' on ints and stringsGabriel Scherer2013-03-194-5/+11
| | | | | | | | | | | According to the reporter 'sliquister', type-specialized comparison can nearly halve compilation time in some cases. This patch applies type-specialization throughout the OCaml distribution sources, so not all changes will have performance utility, but in this case I think it's best to be consistent, as I see no downside to the change. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-8/+8
|\ | | | | | | | | | | | | | | | | Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-2145-863/+1374
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | #5904: support for -ppx in the toplevel.Alain Frisch2013-01-251-2/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Stop keeping a Path.t to refer to labels and constructors in the Typedtree ↵Alain Frisch2012-10-241-1/+1
| | | | | | | | | | | | | | | | | | | | | | AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway (especially when we will add more powerful disambiguation strategies). The correct way to identify an item is through the pair (type,name), which can be deduced from the label_description/constructor_description stored in the Typedtree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | remove all $Id keywordsDamien Doligez2012-10-1572-156/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Typo.Alain Frisch2012-10-102-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge changes from 4.00.0 to 4.00.1Damien Doligez2012-10-051-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5111: description of module not put into a tagMaxence Guesdon2012-09-251-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12954 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5744: fix pb with virtual attributesMaxence Guesdon2012-09-251-12/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5111: no more span around hX tagsMaxence Guesdon2012-08-271-4/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5725: add pre tag also for -colorize-codeMaxence Guesdon2012-08-271-1/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5690: ocamldoc error with -text files with no extension (from rev 12862 ↵Maxence Guesdon2012-08-161-1/+5
| | | | | | | | | | | | in version/4.00) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | better way of doing conditionals in makefilesDamien Doligez2012-08-091-3/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | add some missing copyright headersDamien Doligez2012-08-022-0/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix formatting of copyright headersDamien Doligez2012-08-0165-0/+65
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix TABs and whitespaceDamien Doligez2012-07-3011-20/+16
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix encoding bugs by replacing all non-ASCII charactersDamien Doligez2012-07-3013-61/+61
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-2632-427/+885
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-122-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | - Reset most of the fields of Env.t when saving bin-annot files - Move debugger/envaux.ml to typing/, and add a function to recover environements from bin-annot files. - Move tools/typedtreeIter.ml to typing/ - Move the code of typing/typedtreeMap.ml from cmt_format.ml git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5218: use $(MAKE) instead of "make" in MakefilesDamien Doligez2012-07-102-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Reduce diff between Makefile and Makefile.nt, probably removing a few bugs. ↵Alain Frisch2012-06-132-41/+58
| | | | | | | | | | | | Generators are still missing for Windows. We should really factorize common parts of such makefiles... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Adapt ocamldoc for -ppx. Also reuse some code from Pparse instead of ↵Alain Frisch2012-06-137-63/+18
| | | | | | | | | | | | duplicating it. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge with branch bin-annotFabrice Le Fessant2012-05-3012-282/+318
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Keep locations for exception declaration. This gives better error messages ↵Alain Frisch2012-03-062-2/+2
| | | | | | | | | | | | and paves the way to #5524. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez2012-02-231-2/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | aftermath of PR#5497Damien Doligez2012-02-232-4/+10
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5497: better handling of special characters in printed codeDamien Doligez2012-02-211-66/+77
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#5504: Fix. Patch proposed by Stephane Glondu, thanks.Wojciech Meyer2012-02-192-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | reverse previous commitDamien Doligez2012-02-151-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Change "Ocaml" to "OCaml" everywhereDamien Doligez2012-02-131-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | at least on my machine, makeindex doesn't like "|"| in a \verb within a \indexDamien Doligez2012-02-031-1/+1
|/ | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Unused_var has been removed.Alain Frisch2012-01-182-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove unused constructors in the AST: Cf_let, Pcf_let.Alain Frisch2011-12-281-4/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix for Windows.Alain Frisch2011-12-121-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branches/gadts-develJacques Garrigue2011-11-241-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Bug #4380.Pierre Weis2011-10-251-9/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Keep type variable namesJacques Garrigue2011-09-223-6/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Jonathan's updates to the Windows/Mingw portXavier Leroy2011-09-151-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez2011-08-042-1/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branches/gadtsJacques Garrigue2011-07-298-28/+90
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * clean upJacques Le Normand2010-11-102-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * allow variance in GADTsJacques Garrigue2010-11-081-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status