Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | Provide workaround for missing _vscprintf | David Allsopp | 2016-03-10 | 2 | -0/+21 | |
| | | | | | | | | | | | | | | | | | | | | _vscprintf was added to Microsoft Visual C++ in .NET 2002. Provide an implementation of it for older compilers. | |||||
* | | | | Correct floating point on old MSVC | David Allsopp | 2016-03-10 | 3 | -16/+62 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Visual Studio 6 and earlier have somewhat insane handling of comparisons with nan values. Provide alternate (slower) versions of float comparison functions using isnan rather than standardized comparison behaviour. | |||||
* | | | | Fix compilation using Visual Studio .NET 2002 | David Allsopp | 2016-03-10 | 1 | -8/+15 | |
| | | | | | | | | | | | | | | | | | | | | Microsoft introduced the `LL` suffix for integer literals in Visual Studio .NET 2003 - earlier versions use `i64` | |||||
* | | | | Fix DEBUG_PRINT for older MS C Compilers | David Allsopp | 2016-03-10 | 1 | -0/+18 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Support was added for variadic macros in the RTM version of Visual Studio 2005 (CL Version 14), but there are variants of the version 14 compiler included in SDKs released before Visual Studio 2005 itself which do not support them. Fix the non-DEBUG version of win32unix to compile correctly and not display a warning for DEBUG_PRINT calls in `otherlibs/win32unix/select.c`. | |||||
* | | | | Correctly detect _set_invalid_parameter_handler | David Allsopp | 2016-03-10 | 3 | -6/+6 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | There is still at least one Microsoft-supported version of the CRT which does not include the secure versions of various functions, and consequently does not include `_set_invalid_parameter_handler`. Tests for the definition and inclusion of caml_install_invalid_parameter_handler refined to detect `__STDC_SECURE_LIB__` defined in `crtdefs.h`. This is a badly documented, but standardised, define. Although `__STDC_SECURE_LIB__` is compatible with MinGW, I have retained the test for `_MSC_VER` and so kept this as an MSVC-only patch. | |||||
* | | | | GPR#324: Make boot/ocamlc read directly byterun/primitives (patch by ↵ | alainfrisch | 2016-03-10 | 9 | -9/+21 | |
| | | | | | | | | | | | | | | | | Francois Bobot). | |||||
* | | | | An quick way to ensure that ocamlopt compiles fine on supported archs. | Alain Frisch | 2016-03-09 | 1 | -40/+33 | |
| | | | | | | | | | | | | | | | | Examples: `make check_arch=power`, `make check_all_arches`. | |||||
* | | | | Avoid ambiguous or-pattern. | Alain Frisch | 2016-03-09 | 1 | -1/+4 | |
| | | | | ||||||
* | | | | Fix a probable non-bug. | alainfrisch | 2016-03-09 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Commit 39760599e5936fe43215545206393be1310456b7 introduced some bogus logic. Emitting structured constants can register more closures to be emitted. But either the name of these closures is "unique enough", in which case we don't need the already_translated argument in transl_all_functions_and_emit_all_constants (and transl_all_functions does not need to return the set of already emitted functions). Or this is not the case, and the previous code was wrong since it forgot to remember the set returned by transl_all_functions. I've fixed the code assuming the latter in order to be on the safe side, but we would probably have noticed if the former assumption did not hold. I've added a note to the commit mentioned above so that @chambart can have a look at it. | |||||
* | | | | Merge branch 'trunk' of ssh://github.com/ocaml/ocaml into trunk | Jacques Garrigue | 2016-03-06 | 2 | -120/+211 | |
|\ \ \ \ | ||||||
| * | | | | 4.03 Changes: clarification and further credits (partial) | Gabriel Scherer | 2016-03-05 | 1 | -119/+210 | |
| | | | | | ||||||
| * | | | | Merge pull request #492 from chambart/fix_dflambda | Gabriel Scherer | 2016-03-05 | 1 | -1/+1 | |
| |\ \ \ \ | | | | | | | | | | | | | Fix -dflambda argument | |||||
| | * | | | | Fix -dflambda argument | Pierre Chambart | 2016-03-04 | 1 | -1/+1 | |
| |/ / / / | ||||||
* | | | | | Fix PR#7152: lower level of non-generalized variables to binding time of ↵ | Jacques Garrigue | 2016-03-06 | 5 | -6/+93 | |
|/ / / / | | | | | | | | | | | | | enclosing module | |||||
* | | | | fix expect tests on windows | Jeremie Dimino | 2016-03-03 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | PR#1956 (partial): do not export marshall_flags | Damien Doligez | 2016-03-03 | 1 | -1/+2 | |
| | | | | ||||||
* | | | | check-typo: check LICENCE cited without a path | Damien Doligez | 2016-03-03 | 1 | -0/+1 | |
| | | | | ||||||
* | | | | Merge pull request #477 from trefis/4.03-docstrings | Mark Shinwell | 2016-03-03 | 4 | -9/+196 | |
| | | | | | | | | | | | | | | | | GPR#477: docstrings | |||||
* | | | | Fix PR7157 (too many minor collections) | Mark Shinwell | 2016-03-03 | 4 | -16/+24 | |
| | | | | ||||||
* | | | | Fix PR#7160: Type synonym definitions can weaken gadt constructor types | Jacques Garrigue | 2016-03-03 | 4 | -15/+37 | |
| | | | | ||||||
* | | | | Correct erroneous comment | Mark Shinwell | 2016-03-02 | 1 | -10/+10 | |
| |_|/ |/| | | ||||||
* | | | Merge pull request #457 from diml/expect-tests | Jérémie Dimino | 2016-03-01 | 19 | -1415/+1326 | |
|\ \ \ | | | | | | | | | Rewrite typing tests as expect tests | |||||
| * | | | Switch typing-poly to expect tests | Jeremie Dimino | 2016-03-01 | 4 | -1306/+748 | |
| | | | | ||||||
| * | | | Switch typing-immediate to expect tests | Jeremie Dimino | 2016-03-01 | 4 | -72/+78 | |
| | | | | ||||||
| * | | | Add support for expect test in the testsuite | Jeremie Dimino | 2016-03-01 | 6 | -4/+409 | |
| | | | | ||||||
| * | | | Add Misc.delete_eol_spaces | Jeremie Dimino | 2016-03-01 | 2 | -0/+36 | |
| | | | | ||||||
| * | | | Add Toploop.override_sys_argv | Jeremie Dimino | 2016-03-01 | 4 | -3/+33 | |
| | | | | ||||||
| * | | | Add Misc.protect_refs | Jeremie Dimino | 2016-03-01 | 4 | -30/+22 | |
|/ / / | ||||||
* | | | add test for required externals | Jacques Garrigue | 2016-03-01 | 4 | -0/+28 | |
| | | | ||||||
* | | | Fix PR#7113: -safe-string can break GADT compatibility check | Jacques Garrigue | 2016-03-01 | 6 | -1/+35 | |
| | | | ||||||
* | | | Flambda: do not forget the default case when measuring the size of Switch | Mark Shinwell | 2016-02-29 | 1 | -1/+2 | |
| | | | ||||||
* | | | Flambda: restore correct simplification code for over-applications | Mark Shinwell | 2016-02-29 | 1 | -7/+1 | |
| | | | ||||||
* | | | Stop producing erroneous backtrace frames in Flambda mode | Mark Shinwell | 2016-02-29 | 1 | -1/+22 | |
| | | | ||||||
* | | | Forgotten warning message change from pchambart's review of 4137939c | Mark Shinwell | 2016-02-29 | 1 | -1/+1 | |
| | | | ||||||
* | | | Merge pull request #484 from lpw25/fix-extract-projections | Mark Shinwell | 2016-02-26 | 1 | -10/+36 | |
| | | | | | | | | | | | | GPR#484: Change how Extract_projections handles nested sets of closures | |||||
* | | | Merge pull request #480 from mshinwell/flambda_unbox-closures | Mark Shinwell | 2016-02-26 | 46 | -438/+894 | |
| | | | | | | | | | | | | GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably | |||||
* | | | Move PR7118/7120 Changes entry into correct section | Mark Shinwell | 2016-02-26 | 1 | -3/+3 | |
| | | | ||||||
* | | | Merge pull request #485 from kayceesrk/trunk | Damien Doligez | 2016-02-25 | 1 | -3/+3 | |
|\ \ \ | | | | | | | | | Minor prettify printing of tuple types and constructor declaration | |||||
| * | | | Minor prettify pretty printing of tuple types and constructor declaration | KC Sivaramakrishnan | 2016-02-25 | 1 | -3/+3 | |
|/ / / | ||||||
* | | | fix printing of prefix operator applications | Jeremie Dimino | 2016-02-25 | 1 | -4/+5 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix printing of prefix operator applications with multiple arguments and/or labelled arguments. Old output (invalid syntax): ! 1 2 3 ! ~a:42 New output: (!) 1 2 3 (!) ~a:42 | |||||
* | | | fix printing of operator applications with labeled arguments | Spiros Eliopoulos | 2016-02-25 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When infix operators are defined to have labeled arguments, such as: let (++) ~n1 ~n2 = n1 + n2 ... applications of the infix operator using labeled arguments like this: (++) ~n1:10 ~n2:20 would be printed out like this, which is a syntax error: ~n1:10 ++ ~n2:20 | |||||
* | | | fix testsuite for Windows with flexlink submodule | Damien Doligez | 2016-02-24 | 1 | -1/+2 | |
| | | | ||||||
* | | | fix several problems with tests/lib-dynlink-csharp on MSVC | Damien Doligez | 2016-02-24 | 5 | -15/+15 | |
| | | | ||||||
* | | | Fix printing of type delcs that use 'private' keyword | Spiros Eliopoulos | 2016-02-24 | 1 | -5/+9 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | type t = private A | B type u = t = private A | B Was previously printed out as: type t = private A | B type u = private t = A | B | |||||
* | | | testsuite: fixing the linker-version test | Gabriel Scherer | 2016-02-23 | 1 | -5/+5 | |
| | | | ||||||
* | | | testsuite: attempt to make unwind's linker-version test portable | Gabriel Scherer | 2016-02-23 | 1 | -3/+16 | |
| | | | ||||||
* | | | Merge pull request #476 from btj/trunk | Gabriel Scherer | 2016-02-23 | 1 | -1/+3 | |
|\ \ \ | | | | | | | | | Guard unwind test against old OS X versions | |||||
| * | | | Guard unwind test against old OS X versions | Bart Jacobs | 2016-02-18 | 1 | -1/+3 | |
| | | | | ||||||
* | | | | Merge pull request #478 from yallop/let-bound-operators | Jérémie Dimino | 2016-02-23 | 1 | -1/+1 | |
|\ \ \ \ | | | | | | | | | | | Fix printing for constrained infix operator bindings: | |||||
| * | | | | Fix printing for constrained infix operator bindings: | Jeremy Yallop | 2016-02-22 | 1 | -1/+1 | |
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | let (++) : _ = (+) was previously printed as let ++ : _ = (+) |