summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2011-12-27fix PR#5450Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-27simplify fix of PR#5445Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11957 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-27fix PR#5445Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-23Fix #5171: Map: avoid unnecessary uses of the user-provided comparison ↵Jonathan Protzenko
function in [join]. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-23PR#5442: strings must be escaped when the ast meta-expansed by Camlp4Jérémie Dimino
Because strings in the Camlp4 Ast are escaped. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-23Followup fix to #5437: make sure [align] doesn't add padding to undocumented ↵Jonathan Protzenko
options, so that these don't show up when passed to [parse] or [usage]. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22PR#5120: fix the output function of Camlp4.Debug.formatterJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22PR#5313: Add Change log entryWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22Fix PR#5313: Run the rest of the ocamlopt optimisations even when -g flag is ↵Wojciech Meyer
specifed git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22Fix #5437: when registering an option with Arg, if the option has an empty ↵Jonathan Protzenko
doc string, do not include it when printing the usage. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22PR#5345: optimize checkbound for constant indices.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22Clarify doc about Oo.id (#5436).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22PR#5360: on 64-bit platforms, generate more compact code for Parrayrefs and ↵Xavier Leroy
Parraysets. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22PR#5179 continued: no extra stack adjustment in caml_c_callXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22fix PR#5436Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21PR#5179: giant steps towards a Mingw64 port.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Fix #5393: make sure -R is only passed to the linker with a BSD that has a ↵Jonathan Protzenko
BSD userland Patch by: Stéphane Glondu <stephane@glondu.net> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21correct syntax highlighting in emacs (continued)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21continuing to change the name to OCamlDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21cygwin is changing from Windows-based to X-based tcl/tkDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21PR#5410: fix printing of class application with Camlp4Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Fix #5382: EOPNOTSUPP and ENOTSUPP different on exotic platforms (Solaris, ↵Jonathan Protzenko
GNU/Hurd). Patch by Samuel Thibault <sthibault@debian.org> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21OCaml, not Objective Caml, I get it.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11914 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Module Array: faster implementations of "blit", "copy", "sub",Xavier Leroy
"append" and "concat" (PR#2395, PR#2787, PR#4591) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Fix #5434: implement times in win32unix (partially).Jonathan Protzenko
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21New syntax for 'custom let bindings': let.simple_expr pat = expr in exprAlain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20PR#5374: be consistent for locations of type declarations between Camlp4 and ↵Jérémie Dimino
the OCaml parser Camlp4 used only the location of the rhs of type declarations, while OCaml used the location of the whole type declaration. The location of abstract types was then wrong when using Camlp4. Thanks to furuse for his contribution. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20Avoid creating malformed location in Camlp4 when no token is consumedJérémie Dimino
When no token was consumed, Camlp4 created a location with start-pos > stop-pos. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20PR#4746: wrong detection of stack overflows in native code under LinuxXavier Leroy
(quick fix, will have to find something better) testsuite/tests/runtime-errors: make the test output independent of the stack size; add a "ulimit -s" just to make sure stack is limited. testsuite/tests/asmcomp: updated to compile again. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20Cosmetic: old-style K&R function -> new style prototyped functionXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20Fix pretty-printing of let-like operators.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20let-like operators.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20PR#4880: added appropriate event to "assert" so that it shows up properly in ↵Xavier Leroy
stack backtraces git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20New option to force the compilers to show absolute paths in error messages.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20Fix ocamlnet.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20PR#5416: better implementation of set/clear_close_on_execXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-18PR#4869: rare collisions between assembly labels for code and dataXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-18Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.Xavier Leroy
Part 4: cleaning up some more references & specific code for these archs. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,Xavier Leroy
part 3: config/Makefile-templ (for reference, because this file is unused) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,Xavier Leroy
part 2: configure. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.Xavier Leroy
So long and thanks for all the fish. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy
longer part of this distribution. It now lives its own life at https://forge.ocamlcore.org/projects/camldbm/. Bye bye, DBM. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16#5358: update the Camlp4 ast translator to support constraints on types in ↵Jérémie Dimino
sub-modules in package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16Fix printing of GADTs by Camlp4 with original syntaxJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16#5358: update Camlp4 to support constraints on types in sub-modules in ↵Jérémie Dimino
package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.Xavier Leroy
This avoids much code duplication and is a baby step towards Mingw-64 bits support (PR#5179). (There will be no need to create a third proc_xxx.ml file for this configuration.) Also, in amd64/emit_nt.mlp, the ml64 assembler didn't like my label subtractions, so I put the jumptable in code area instead of in data area. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15trim module signaturesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15A patch adding primitives to browse types in the toplevelJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15Fix PR#5425 and PR#5427Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14#5411: close input channel when loading a .cmo file fails in the toplevel.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02