summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* be principalimplicit-unpackJacques Garrigue2010-10-121-11/+23
* compile everythingJacques Garrigue2010-09-244-4/+5
* more examplesJacques Garrigue2010-09-101-2/+19
* improve type propagation: allow ty_expected to be polymorphic in type_expectJacques Garrigue2010-09-022-52/+74
* also support implicit packJacques Garrigue2010-08-269-46/+116
* allow also in let .. inJacques Garrigue2010-08-263-44/+65
* add examplesJacques Garrigue2010-08-241-0/+10
* support implicit unpack in patterns too; see implicit_unpack.mlJacques Garrigue2010-08-248-16/+130
* use Tmty_ident when there is no withJacques Garrigue2010-05-181-18/+19
* check full generalizability, like for subtypingJacques Garrigue2010-05-175-8/+17
* allow implicit unpackJacques Garrigue2010-05-178-20/+82
* allow subtyping of package typesJacques Garrigue2010-05-172-0/+33
* allow unpack with implicit package typeJacques Garrigue2010-05-1722-0/+0
* camlp4: bootstrapNicolas Pouillard2010-05-171-32/+19
* camlp4: initial support for polymorphic recursionNicolas Pouillard2010-05-171-6/+7
* dist: rebuild boot/myocamlbuild.bootNicolas Pouillard2010-05-171-0/+0
* Add a recipe to bootstrap camlp4Nicolas Pouillard2010-05-171-0/+164
* camlp4: bootstrapping part of last commitNicolas Pouillard2010-05-173-19/+201
* camlp4: add support for "type :=" and "module :="Nicolas Pouillard2010-05-175-15/+41
* Remove an old camlp4 makefileNicolas Pouillard2010-05-171-24/+0
* build: let cold_camlp4o = "camlp4o"Nicolas Pouillard2010-05-121-1/+2
* camlp4: add support for let-open-inNicolas Pouillard2010-05-128-8/+109
* PR#4721: documented the fact that Lazy.force is not thread-safeDamien Doligez2010-05-121-0/+3
* PR#4742: finalisation function raising an exception blocks other finalisationsDamien Doligez2010-05-124-3/+13
* camlp4: bootstrapNicolas Pouillard2010-05-111-9/+21
* camlp4: record punning in expressions as wellNicolas Pouillard2010-05-112-11/+16
* camlp4: bootstrapNicolas Pouillard2010-05-111-0/+16
* camlp4: add support for record punningNicolas Pouillard2010-05-111-0/+6
* Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard2010-05-114-4/+34
* Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard2010-05-111-6/+15
* Merge branch 'ocaml-git/buildsys' (early part) into trunkNicolas Pouillard2010-05-119-146/+45
* build: cleanup ocamlbuild build scriptsNicolas Pouillard2010-05-116-60/+53
* rename -help-warnings to -warn-helpDamien Doligez2010-05-087-21/+21
* document explicit override and destructive substitutionJacques Garrigue2010-05-071-3/+18
* Bootstrap.Pierre Weis2010-05-051-0/+0
* Simpler implementation of error narrowing. Factorization of lid finding code.Pierre Weis2010-05-051-58/+49
* Typo in module Scanf prevented tests to succeeded properly.Pierre Weis2010-05-055-2/+2
* cut long linesDamien Doligez2010-05-051-19/+23
* comment out useless code in StrMaxence Guesdon2010-05-051-3/+3
* Forgotten export added. Remove spurious warninggs from Oug[1].Pierre Weis2010-05-052-6/+7
* Directory changes are now silent under GNU make.Xavier Clerc2010-05-051-2/+5
* Fortran-related test now disabled by default.Xavier Clerc2010-05-052-2/+5
* LD_LIBRARY_PATH explicitly set for dynlink test.Xavier Clerc2010-05-051-3/+3
* New -help-warnings command-line option.Alain Frisch2010-05-0420-1415/+1422
* Update comment.Alain Frisch2010-05-041-2/+1
* Allow range of warnings and synchronize default for warnings given in usage i...Alain Frisch2010-05-042-24/+31
* Generalization of unbound identier error narrowing to all kind of qualifiedPierre Weis2010-05-045-42/+54
* Test modified to be locale-independent.Xavier Clerc2010-05-042-2/+31
* LD_LIBRARY_PATH explicitly set for dynlink test.Xavier Clerc2010-05-041-1/+1
* Correct assembler symbols under amd64 whether the system is MacOS X or not (t...Xavier Clerc2010-05-041-8/+20
View Lorry Controller Status