summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2011-12-14Update Changes.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 ↵Alain Frisch
compiles but does not support this new feature yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14remove conflictJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14Boostrap ocamlbuild (#5338).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13#5411: New #load_rec primitive for the toplevel (finds and loads .cmo files ↵Alain Frisch
recursively). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13#5420: fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13#5420: adding a O_SHARE_DELETE flag to Unix.openfile, for enabling ↵Alain Frisch
FILE_SHARE_DELETE mode under Windows (ignored under Unix). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13PR#5306: comparing values of type Thread.tXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13#5338: sanitize.sh has windows style end-of-lines (mingw).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12#5179: the 'official' 32-bit mingw compiler is now the one from the ↵Alain Frisch
mingw-w64 project, packaged in Cygwin (as supported by flexdll 0.27). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12Fix for Windows.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12Add counter-example for PR#5343Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10fix PR#5343Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10add test for polymorphic variantsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29set ignoreDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29better reporting of wrong version for .cmi filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29better reporting of wrong version for .cmi filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29cleanup white space and robustify mkuminusDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29correct fontification for strings and commentsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-25do not fail when injectivity not proved in Pattern mode, use mcompJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-24merge branches/gadts-develJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Implementing the precision feature for Scanf.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Too long lines.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Get rid of spurious warningsPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Get rid of spurious warningsPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Module Lnenum has vanished!Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Typo in doc.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25Dev++ for #4380 correction.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25Bug #4380.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25Untabify.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25Module Buffer, printf, Format and Scanf are compiled with -w A.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25TypoPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21allow breaking line for locations inside error messagesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21Do not keep locations in .cmis!Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21merge branches/located_errorsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-20Shorter error messages for modulesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15Reverted most of previous change re: local labels in AMD64/MacOSX.Xavier Leroy
The wretched MacOSX "ld -shared" (under 10.6 at least) balks on subtracting two local labels, while it deigns subtracting two nonlocal labels. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15PR#5328: Windows, Unix.select and non-blocking sockets (untested patch)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15AMD64/MacOSX code generator: make local asm labels really local. (L100 ↵Xavier Leroy
instead of .L100) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-05update patchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-30PR#5364: missing thinning on (val m : S) projectionXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-27another approach to principalityJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-27fix gadt type variablesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22Keep type variable namesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22patch for better module errorsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22update patchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18PR#5349: "replace" uses new key instead of reusing old key.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18Improve backward compatibility for Hashtbl functorial interface:Xavier Leroy
Hashtbl.Make returns a "create" function without an optional seed parameter. (Which would be ignored anyway.) Hashtbl.MakeSeeded returns a "create" function with an optional seed parameter. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18PR#5336: add .type directives in ARM codeXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-24 17:16:05 +0000