Change Log - MantisBT

OCaml - Change Log
OCaml - 4.00.0+dev (Released 2012-03-12) [ View Issues ] ======================================== The 4.00.0 development branch (previously known as 3.13.0). Marked as released to remove it from the roadmap page. - 0005597: [OCaml runtime system] register names for instrtrace primitives when using embedded bytecode library (meyer) - resolved. - 0005696: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldep -native does not print bytecode deps and confuses omake (lefessan) - resolved. - 0005215: [OCaml general] Serialization of dynlinked closure - resolved. - 0005214: [OCamlbuild (the tool)] ocamlfind plugin invokes 'cut' utility (xclerc) - resolved. - 0005682: [OCaml general] In Typemod.type_implementation: cmt file is created in case of typing error, even in print_types or dont_write_files mode (lefessan) - resolved. - 0004319: [OCaml general] Feature request: -dtypes preserve type variables names from annotations (garrigue) - resolved. - 0005627: [OCaml backend (code generation)] Cannot compile lablgtk2 (Fabrice) - resolved. - 0005679: [OCaml internal build/install (Makefiles, configure)] make opt fails on pervasives.cmx on (old?) MacOS (lefessan) - resolved. - 0005666: [Incoming] C includes don't provide a revision number - resolved. - 0005398: [OCaml windows] Inadequate exception thrown when creating IPv6 socket on win32/msvc (protz) - resolved. - 0005655: [OCamlbuild (the tool)] ocamlbuild doesn't pass cflags to ocaml compilers when building C stubs (xclerc) - resolved. - 0005647: [OCaml tools (ocaml{lex,yacc,dep,browser})] Cannot use install_printer in debugger (xclerc) - resolved. - 0005637: [Camlp4] Printer does not agree with parser for anonymous type parameters in type definitions in revised syntax (xclerc) - resolved. - 0005651: [Camlp4] printer for abstract data type (xclerc) - resolved. - 0005671: [OCaml runtime system] missing initializer in caml_final_custom_operations - resolved. - 0005668: [Camlp4] Camlp4 produces invalid syntax for "let _ = ..." (dim) - resolved. - 0005633: [Camlp4] Camlp4Ast.ml takes very long to compile (garrigue) - resolved. - 0005643: [OCaml internal build/install (Makefiles, configure)] 4.00.0+beta2 fails to compile with llvm/clang 3.1 on OS X - resolved. - 0005646: [Camlp4] Camlp4 Printer for escaped string (dim) - resolved. - 0005636: [OCaml internal build/install (Makefiles, configure)] pthread_atfork symbol not linked correctly when using glibc - resolved. - 0005555: [OCaml standard library] Hashtbl.remove/clear never shrink the internal bucket array (lefessan) - resolved. - 0005632: [OCaml typing] Broken "unused type" cases in the developer tree with := type substitutions (frisch) - resolved. - 0005080: [Camlp4] type application in quotations (xclerc) - resolved. - 0005104: [Camlp4] extra TySum constructors arise from <:ctyp< >> in original syntax (xclerc) - resolved. - 0005389: [OCaml general] GC fails to collect large array (doligez) - resolved. - 0005586: [OCaml otherlibs] Wish: Increase UNIX_BUFFER_SIZE (frisch) - resolved. - 0005616: [OCaml documentation] Please claritfy license and copyright holders of ocamlbuild/manual/* - resolved. - 0001804: [OCaml general] "make install" should install interface files for toploop-manipulation modules (xleroy) - resolved. - 0004653: [OCaml general] Install utils/config.cmi so OCaml programs can query their environment (xleroy) - resolved. - 0002415: [OCaml general] feature request - Haskell's $ operator (lefessan) - resolved. - 0005305: [OCamlbuild (the tool)] ocamlbuild creates link for some files in .itarget (lefessan) - resolved. - 0005603: [OCaml backend (code generation)] ocamlopt generates wrong assembly file number with multiple files. - resolved. - 0005610: [OCaml runtime system] Updating of object ids in intern.c is broken (meyer) - resolved. - 0005598: [OCaml general] Incompatibility between ocamllex and compiler (doligez) - resolved. - 0005084: [OCamlbuild (the tool)] sub-sub-module building fails for native code compilation (protz) - resolved. - 0005599: [OCamlbuild (the tool)] add flag to control warnings by numbers (meyer) - resolved. - 0005604: [OCamlbuild (the tool)] _log file has different permissions than the other _build/* files (dim) - resolved. - 0005318: [OCaml general] segfault on stack overflow when reading marshaled data (meyer) - resolved. - 0005572: [OCaml standard library] Hashtbl is vulnerable to collision-based DOS attack (CVE-2012-0839) (xleroy) - resolved. - 0005582: [OCaml otherlibs] Bogus dependencies in otherlibs/graph - resolved. - 0005463: [OCaml general] map_file fails to map to empty bigarray - resolved. - 0003571: [OCaml general] mmaped bigarrays over NFS - resolved. - 0004866: [OCaml documentation] Module Ratio - resolved. - 0005295: [OCaml general] Systhreads bug - resolved. - 0005415: [OCaml documentation] Obtaining an OCaml closure from C (xleroy) - resolved. - 0005397: [OCaml general] Filename.temp_dir_name should be mutable (frisch) - resolved. - 0005553: [OCaml typing] Type checker output contains type variable with suprising name in 3.13.0+dev11 (garrigue) - resolved. - 0004892: [OCaml general] 'index out of bound' check too early? - resolved. - 0004292: [OCamldoc] various documentation problems - resolved. - 0005689: [OCaml typing] Problem with GADTs and polymorphic variants (garrigue) - closed. - 0005575: [OCaml standard library] Random states are not marshallable across architectures (doligez) - closed. - 0005694: [OCaml typing] Exception raised by type checker (garrigue) - closed. - 0005659: [OCaml windows] ocamlmklib's -L option does not work as expected with Microsoft Visual C compiler - closed. - 0005137: [OCaml general] caml-types-explore does not work (doligez) - closed. - 0005218: [OCaml general] use $(MAKE) instead of "make" in Makefiles (doligez) - closed. - 0005677: [OCaml general] reserve value as a keyword (genprintval.ml) - closed. - 0005661: [OCaml general] Fixes for the test-suite... - closed. - 0005274: [OCaml general] add test for bsd elf support in asmcomp test - closed. - 0005674: [OCaml backend (code generation)] Methods call are 2 times slower with the 4.0 native compiler code than with the 3.12 native compiler code (garrigue) - closed. - 0005255: [OCaml general] natdynlink detection on powerpc and hurd (doligez) - closed. - 0005131: [OCaml general] compilation of custom runtime with g++ generates lots of warnings (doligez) - closed. - 0005233: [OCaml general] Finaliser on weak pointers allows to acces invalid address (doligez) - closed. - 0005073: [OCaml typing] Wrong location for 'Unbound record field label' error (garrigue) - closed. - 0004838: [OCaml general] Treat let-module expressions as non-expansive where possible (garrigue) - closed. - 0004511: [OCaml general] Local modules remove polymorphism. (garrigue) - closed. - 0005224: [OCaml general] Confusing error message at object type definition (garrigue) - closed. - 0005291: [OCaml general] A not detected loop -> seg fault (garrigue) - closed. - 0005619: [OCaml general] Uncuaght CType.Unify exception (garrigue) - closed. - 0005617: [Camlp4] defining infix "or" - closed. - 0005614: [OCamldoc] Compile ocamldoc.opt with -linkall (guesdon) - closed. - 0005608: [OCaml general] Shadowing a variable by a different type fails in a module in OCaml 4.01 (garrigue) - closed. - 0005587: [OCaml documentation] "allows to" is incorrect (doligez) - closed. - 0005590: [OCaml documentation] typo (doligez) - closed. - 0005585: [OCaml general] Typo: explicitely (doligez) - closed. - 0005501: [OCaml runtime system] Wish: Increase IO_BUFFER_SIZE (doligez) - closed. - 0005310: [OCaml general] Ratio.create_ratio and Ratio.create_normalized_ratio have behaviors that can be seen as misleading (doligez) - closed. - 0005512: [OCaml general] Please backport test suite fixes to the 3.12 branch (meyer) - closed. - 0005311: [OCaml general] Warning 23 message is confusing (doligez) - closed. - 0005560: [OCaml typing] Typing of tuple patterns with -principal (garrigue) - closed. - 0005538: [OCaml general] combining -i and -annot - closed. - 0005552: [OCaml general] Unrecognized gcc option (doligez) - closed. - 0005517: [OCaml documentation] Broken link - closed. - 0005554: [OCaml typing] Type annotation do not always propagate when defining a function that contains local definitions (seen with GADT) in 3.13.0+dev1 (garrigue) - closed. - 0005539: [OCaml documentation] broken link in format.mli - closed. [84 issues]