summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Provide workaround for missing _vscprintfDavid Allsopp2016-03-102-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 MSVCDavid Allsopp2016-03-103-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 2002David Allsopp2016-03-101-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 CompilersDavid Allsopp2016-03-101-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_handlerDavid Allsopp2016-03-103-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 ↵alainfrisch2016-03-109-9/+21
| | | | | | | | | | | | | | | | Francois Bobot).
* | | | An quick way to ensure that ocamlopt compiles fine on supported archs.Alain Frisch2016-03-091-40/+33
| | | | | | | | | | | | | | | | Examples: `make check_arch=power`, `make check_all_arches`.
* | | | Avoid ambiguous or-pattern.Alain Frisch2016-03-091-1/+4
| | | |
* | | | Fix a probable non-bug.alainfrisch2016-03-091-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 trunkJacques Garrigue2016-03-062-120/+211
|\ \ \ \
| * | | | 4.03 Changes: clarification and further credits (partial)Gabriel Scherer2016-03-051-119/+210
| | | | |
| * | | | Merge pull request #492 from chambart/fix_dflambdaGabriel Scherer2016-03-051-1/+1
| |\ \ \ \ | | | | | | | | | | | | Fix -dflambda argument
| | * | | | Fix -dflambda argumentPierre Chambart2016-03-041-1/+1
| |/ / / /
* | | | | Fix PR#7152: lower level of non-generalized variables to binding time of ↵Jacques Garrigue2016-03-065-6/+93
|/ / / / | | | | | | | | | | | | enclosing module
* | | | fix expect tests on windowsJeremie Dimino2016-03-031-1/+1
| | | |
* | | | PR#1956 (partial): do not export marshall_flagsDamien Doligez2016-03-031-1/+2
| | | |
* | | | check-typo: check LICENCE cited without a pathDamien Doligez2016-03-031-0/+1
| | | |
* | | | Merge pull request #477 from trefis/4.03-docstringsMark Shinwell2016-03-034-9/+196
| | | | | | | | | | | | | | | | GPR#477: docstrings
* | | | Fix PR7157 (too many minor collections)Mark Shinwell2016-03-034-16/+24
| | | |
* | | | Fix PR#7160: Type synonym definitions can weaken gadt constructor typesJacques Garrigue2016-03-034-15/+37
| | | |
* | | | Correct erroneous commentMark Shinwell2016-03-021-10/+10
| |_|/ |/| |
* | | Merge pull request #457 from diml/expect-testsJérémie Dimino2016-03-0119-1415/+1326
|\ \ \ | | | | | | | | Rewrite typing tests as expect tests
| * | | Switch typing-poly to expect testsJeremie Dimino2016-03-014-1306/+748
| | | |
| * | | Switch typing-immediate to expect testsJeremie Dimino2016-03-014-72/+78
| | | |
| * | | Add support for expect test in the testsuiteJeremie Dimino2016-03-016-4/+409
| | | |
| * | | Add Misc.delete_eol_spacesJeremie Dimino2016-03-012-0/+36
| | | |
| * | | Add Toploop.override_sys_argvJeremie Dimino2016-03-014-3/+33
| | | |
| * | | Add Misc.protect_refsJeremie Dimino2016-03-014-30/+22
|/ / /
* | | add test for required externalsJacques Garrigue2016-03-014-0/+28
| | |
* | | Fix PR#7113: -safe-string can break GADT compatibility checkJacques Garrigue2016-03-016-1/+35
| | |
* | | Flambda: do not forget the default case when measuring the size of SwitchMark Shinwell2016-02-291-1/+2
| | |
* | | Flambda: restore correct simplification code for over-applicationsMark Shinwell2016-02-291-7/+1
| | |
* | | Stop producing erroneous backtrace frames in Flambda modeMark Shinwell2016-02-291-1/+22
| | |
* | | Forgotten warning message change from pchambart's review of 4137939cMark Shinwell2016-02-291-1/+1
| | |
* | | Merge pull request #484 from lpw25/fix-extract-projectionsMark Shinwell2016-02-261-10/+36
| | | | | | | | | | | | GPR#484: Change how Extract_projections handles nested sets of closures
* | | Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-2646-438/+894
| | | | | | | | | | | | GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably
* | | Move PR7118/7120 Changes entry into correct sectionMark Shinwell2016-02-261-3/+3
| | |
* | | Merge pull request #485 from kayceesrk/trunkDamien Doligez2016-02-251-3/+3
|\ \ \ | | | | | | | | Minor prettify printing of tuple types and constructor declaration
| * | | Minor prettify pretty printing of tuple types and constructor declarationKC Sivaramakrishnan2016-02-251-3/+3
|/ / /
* | | fix printing of prefix operator applicationsJeremie Dimino2016-02-251-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 argumentsSpiros Eliopoulos2016-02-251-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 submoduleDamien Doligez2016-02-241-1/+2
| | |
* | | fix several problems with tests/lib-dynlink-csharp on MSVCDamien Doligez2016-02-245-15/+15
| | |
* | | Fix printing of type delcs that use 'private' keywordSpiros Eliopoulos2016-02-241-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 testGabriel Scherer2016-02-231-5/+5
| | |
* | | testsuite: attempt to make unwind's linker-version test portableGabriel Scherer2016-02-231-3/+16
| | |
* | | Merge pull request #476 from btj/trunkGabriel Scherer2016-02-231-1/+3
|\ \ \ | | | | | | | | Guard unwind test against old OS X versions
| * | | Guard unwind test against old OS X versionsBart Jacobs2016-02-181-1/+3
| | | |
* | | | Merge pull request #478 from yallop/let-bound-operatorsJérémie Dimino2016-02-231-1/+1
|\ \ \ \ | | | | | | | | | | Fix printing for constrained infix operator bindings:
| * | | | Fix printing for constrained infix operator bindings:Jeremy Yallop2016-02-221-1/+1
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | let (++) : _ = (+) was previously printed as let ++ : _ = (+)