summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'trunk' of ssh://github.com/ocaml/ocaml into trunkpierreweis2015-11-12134-3197/+832
|\
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-1110-9/+22
| | | | | | | | | | | | | | | | containing the null character '\000' Continuation of commit dc043a7: - Update the win32unix/ files with the new checks. - Completely untested, not even compiled.
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-1131-1/+83
| | | | | | | | | | | | | | | | | | | | | | | | | | | | containing the null character '\000' Implementation notes: - Based on c-cube's GPR#227 code, but many Unix functions were missing. - For Unix.bind and Unix.connect to a PF_UNIX address, tolerate file names whose first character is '\000': in Linux, these have a meaning as "abstract socket addresses", and in other operating systems, the resulting empty path name causes a EINVAL error (tested under MacOS X). - Very lightly tested. - win32unix remains to be fixed.
| * Merge branch 'trunk' of ssh://github.com/ocaml/ocaml into trunkXavier Leroy2015-11-113-58/+63
| |\
| | * Merge pull request #280 from mshinwell/parallel-make-fixesXavier Leroy2015-11-113-58/+63
| | |\ | | | | | | | | Fix stdlib dependencies for .p.cmx
| | | * ChangesMark Shinwell2015-11-041-0/+2
| | | |
| | | * fix stdlib dependencies for .p.cmxMark Shinwell2015-11-042-58/+61
| | | |
| * | | PR#7039: Unix.getsockname returns garbage for unnamed PF_UNIX sockets.Xavier Leroy2015-11-112-1/+10
| |/ / | | | | | | | | | Fix implemented: return ADDR_UNIX "" in this case (the file name is the empty string).
| * | simplify .gitignore; remove .ignore files and tools/setignore; adjust ↵Damien Doligez2015-11-0641-2917/+72
| | | | | | | | | | | | tools/check-typo
| * | update Changes for GPR#279Gabriel Scherer2015-11-051-2/+3
| | |
| * | Merge pull request #281 from bobot/unbox_madlyJérémie Dimino2015-11-0513-34/+99
| |\ \ | | | | | | | | Unbox Sys.time and compare primitive
| | * | Update ChangesFrançois Bobot2015-11-051-0/+5
| | | |
| | * | Make `Pervasives.ldexp` unboxed and noallocFrançois Bobot2015-11-054-3/+14
| | | |
| | * | Make specialized compare unboxedFrançois Bobot2015-11-056-24/+66
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - float - int32 - int64 - nativeint Not for int because the comparison is done directly on the untagged version. Useful mainly for floats since they can be stored unboxed in records or arrays.
| | * | Make `Sys.time` unboxed and noallocFrançois Bobot2015-11-053-7/+14
| |/ /
| * | Merge pull request #261 from lpw25/fix-pr6998Leo White2015-11-0512-50/+145
| |\ \ | | | | | | | | Fix PR6998
| | * | Add a test for no-alias-depsLeo White2015-11-048-1/+61
| | | |
| | * | Use ignore because its less fragile than _Leo White2015-11-041-5/+6
| | | |
| | * | Take the P out of my nameLeo White2015-11-041-8/+8
| | | |
| | * | Add Changes entryLeo White2015-11-041-0/+2
| | | |
| | * | Put back option in persistent struct hashtableLeo White2015-11-041-15/+27
| | | |
| | * | Fix PR6998Leo White2015-11-043-56/+76
| | |/
| * | add missing author in ChangesJeremie Dimino2015-11-051-0/+1
| | |
| * | PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>"Jeremie Dimino2015-11-053-2/+5
| | | | | | | | | | | | Patch by Valentin Gatien-Baron
| * | PR#6806: Syntactic sugar for type annotations on record fieldsJeremie Dimino2015-11-053-8/+33
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add the following syntactic sugars, in both expressions and patterns: - { f : typ = x } to mean { f = (x : typ) } - { f : typ } to mean { f = (f : typ) } In expressions, the type annotation can also be a coercion. For instance: { f :> typ } to mean { f = (f :> typ) }. Patch by Valentin Gatien-Baron
| * | Merge pull request #279 from alainfrisch/fix_frametablesAlain Frisch2015-11-051-2/+5
| |\ \ | | | | | | | | Attempt to fix a probable bug introduced by GPR#156.
| | * | Attempt to fix a probable bug introduced by GPR#156.alainfrisch2015-11-031-2/+5
| | |/
| * | Fix PR#7036: Module alias and package type equalityJacques Garrigue2015-11-053-1/+31
| |/
| * Merge pull request #272 from alainfrisch/unbox_classify_floatAlain Frisch2015-11-036-20/+47
| |\ | | | | | | Avoid boxing floats when calling classify_float
| | * Add a note suggesting to switch to the emulation of clasify_float as a ↵alainfrisch2015-11-031-0/+6
| | | | | | | | | | | | faster alternative to calling the libc.
| | * Changelog.alainfrisch2015-11-031-0/+1
| | |
| | * Merge branch 'trunk' of github.com:ocaml/ocaml into unbox_classify_floatalainfrisch2015-11-0340-187/+387
| | |\ | | |/ | |/|
| * | Merge pull request #277 from diml/more-unboxed-on-externalsJérémie Dimino2015-11-038-32/+114
| |\ \ | | | | | | | | Switch a few externals to [@@unboxed]
| | * | Update ChangesJeremie Dimino2015-11-031-0/+4
| | | |
| | * | Switch a few externals to [@@unboxed]Jeremie Dimino2015-11-037-32/+110
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Switched the following functions: - {Nativeint,Int32,Int64}.{of,to}_float - Int{32,64}.float_of_bits - Int{32,64}.bits_of_float
| * | | update tools/check-typo to work with git attributes instead of svn propertiesDamien Doligez2015-11-032-18/+48
| | | |
| * | | update Changes for GPR #276Gabriel Scherer2015-11-031-0/+2
| | | |
| * | | Merge pull request #276 from lpw25/fix-pr6972Gabriel Scherer2015-11-031-1/+3
| |\ \ \ | | |/ / | |/| | Fix PR6972
| | * | Put the * back on the doc commentsLeo White2015-11-031-1/+3
| |/ /
| * | testsuite: add missing prototypes for C functionsXavier Leroy2015-11-036-23/+20
| | | | | | | | | | | | | | | | | | In Suse SLES 12, gcc (by default) emits warnings for unprototyped C functions. In conjunction with -Werror this makes the test suite unusable. Also: in tests/unboxed-primitive-args/common.ml, fixed what looks like a harmless typo in the declaration of cleanup_float.
| * | byterun/ yacc/ : replace some K&R function declarations with proper prototypes.Xavier Leroy2015-11-034-7/+7
| | |
| * | otherlibs/*unix: proper declaration of cstringvect()Xavier Leroy2015-11-035-5/+3
| | | | | | | | | | | | Share the declaration in "unixsupport.h", and give it a full prototype.
| * | otherlibs/unix: don't use 'h_errno' as a local variableXavier Leroy2015-11-031-3/+3
| | | | | | | | | | | | Under Glibc, 'h_errno' is a macro that expands to a system call, like 'errno'. Here, we just want a local variable.
| * | Changes entries for GPR#270 and GPR#271Mark Shinwell2015-11-021-0/+4
| | |
| * | Merge pull request #270 from mshinwell/immutable_exceptionsMark Shinwell2015-11-025-6/+11
| |\ \ | | | | | | | | GPR#270: Make transl_exception_constructor generate Immutable blocks
| | * | transl_exception_constructor now uses ImmutableMark Shinwell2015-10-285-6/+11
| | | |
| * | | Merge pull request #271 from mshinwell/record_mutabilityMark Shinwell2015-11-021-1/+2
| |\ \ \ | | | | | | | | | | GPR#271: Fix incorrect mutability flag when records are built using "with"
| | * | | push the correct patchMark Shinwell2015-10-281-1/+2
| | | | |
| | * | | look at all labels when determining mutability of a record resulting from 'with'Mark Shinwell2015-10-281-1/+1
| | |/ /
| | | * No need to use CAMLprim for native form of primitives.alainfrisch2015-11-031-1/+1
| | | |
View Lorry Controller Status