Mantis Bug Tracker

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.

- 0005389: [-OCaml general] GC fails to collect large array (doligez) - closed.
- 0005598: [-OCaml general] Incompatibility between ocamllex and compiler (doligez) - closed.
- 0005603: [back end (clambda to assembly)] ocamlopt generates wrong assembly file number with multiple files. - closed.
- 0005671: [runtime system] missing initializer in caml_final_custom_operations - closed.
- 0005597: [runtime system] register names for instrtrace primitives when using embedded bytecode library (meyer) - closed.
- 0005696: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep -native does not print bytecode deps and confuses omake (lefessan) - closed.
- 0005215: [-OCaml general] Serialization of dynlinked closure - closed.
- 0005214: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlfind plugin invokes 'cut' utility (xclerc) - closed.
- 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) - closed.
- 0004319: [-OCaml general] Feature request: -dtypes preserve type variables names from annotations (garrigue) - closed.
- 0005627: [back end (clambda to assembly)] Cannot compile lablgtk2 (Fabrice) - closed.
- 0005679: [configure and build/install] make opt fails on pervasives.cmx on (old?) MacOS (lefessan) - closed.
- 0005666: [-Incoming] C includes don't provide a revision number - closed.
- 0005398: [platform support (windows, cross-compilation, etc)] Inadequate exception thrown when creating IPv6 socket on win32/msvc (protz) - closed.
- 0005655: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild doesn't pass cflags to ocaml compilers when building C stubs (xclerc) - closed.
- 0005647: [tools (ocaml{lex,yacc,dep,debug,...})] Cannot use install_printer in debugger (xclerc) - closed.
- 0005637: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Printer does not agree with parser for anonymous type parameters in type definitions in revised syntax (xclerc) - closed.
- 0005651: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] printer for abstract data type (xclerc) - closed.
- 0005668: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 produces invalid syntax for "let _ = ..." (dim) - closed.
- 0005633: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4Ast.ml takes very long to compile (garrigue) - closed.
- 0005643: [configure and build/install] 4.00.0+beta2 fails to compile with llvm/clang 3.1 on OS X - closed.
- 0005646: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 Printer for escaped string (dim) - closed.
- 0005636: [configure and build/install] pthread_atfork symbol not linked correctly when using glibc - closed.
- 0005555: [standard library] Hashtbl.remove/clear never shrink the internal bucket array (lefessan) - closed.
- 0005632: [typing] Broken "unused type" cases in the developer tree with := type substitutions (frisch) - closed.
- 0005080: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] type application in quotations (xclerc) - closed.
- 0005104: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] extra TySum constructors arise from <:ctyp< >> in original syntax (xclerc) - closed.
- 0005586: [otherlibs] Wish: Increase UNIX_BUFFER_SIZE (frisch) - closed.
- 0005616: [documentation] Please claritfy license and copyright holders of ocamlbuild/manual/* - closed.
- 0001804: [-OCaml general] "make install" should install interface files for toploop-manipulation modules (xleroy) - closed.
- 0004653: [-OCaml general] Install utils/config.cmi so OCaml programs can query their environment (xleroy) - closed.
- 0002415: [-OCaml general] feature request - Haskell's $ operator (lefessan) - closed.
- 0005305: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild creates link for some files in .itarget (lefessan) - closed.
- 0005610: [runtime system] Updating of object ids in intern.c is broken (meyer) - closed.
- 0005084: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] sub-sub-module building fails for native code compilation (protz) - closed.
- 0005619: [-OCaml general] Uncuaght CType.Unify exception (garrigue) - closed.
- 0005131: [-OCaml general] compilation of custom runtime with g++ generates lots of warnings (doligez) - closed.
- 0005311: [-OCaml general] Warning 23 message is confusing (doligez) - closed.
- 0005599: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] add flag to control warnings by numbers (meyer) - closed.
- 0005604: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] _log file has different permissions than the other _build/* files (dim) - closed.
- 0005318: [-OCaml general] segfault on stack overflow when reading marshaled data (meyer) - closed.
- 0005582: [otherlibs] Bogus dependencies in otherlibs/graph - closed.
- 0005572: [standard library] Hashtbl is vulnerable to collision-based DOS attack (CVE-2012-0839) (xleroy) - closed.
- 0005463: [-OCaml general] map_file fails to map to empty bigarray - closed.
- 0003571: [-OCaml general] mmaped bigarrays over NFS - closed.
- 0004866: [documentation] Module Ratio - closed.
- 0005295: [-OCaml general] Systhreads bug - closed.
- 0005415: [documentation] Obtaining an OCaml closure from C (xleroy) - closed.
- 0005397: [-OCaml general] Filename.temp_dir_name should be mutable (frisch) - closed.
- 0005553: [typing] Type checker output contains type variable with suprising name in 3.13.0+dev11 (garrigue) - closed.
- 0004892: [-OCaml general] 'index out of bound' check too early? - closed.
- 0004292: [ocamldoc] various documentation problems - closed.
- 0005689: [typing] Problem with GADTs and polymorphic variants (garrigue) - closed.
- 0005575: [standard library] Random states are not marshallable across architectures (doligez) - closed.
- 0005694: [typing] Exception raised by type checker (garrigue) - closed.
- 0005659: [platform support (windows, cross-compilation, etc)] 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: [back end (clambda to assembly)] 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.
- 0005233: [-OCaml general] Finaliser on weak pointers allows to acces invalid address (doligez) - closed.
- 0005073: [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.
- 0005617: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [documentation] "allows to" is incorrect (doligez) - closed.
- 0005590: [documentation] typo (doligez) - closed.
- 0005585: [-OCaml general] Typo: explicitely (doligez) - closed.
- 0005501: [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.
- 0005560: [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: [documentation] Broken link - closed.
- 0005554: [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: [documentation] broken link in format.mli - closed.
[84 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker