Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.01.1+dev (Released 2013-09-12) View Issues ]
========================================
- 0006276: [OCaml runtime system] BLocking stubs not releasing the runtime in stdlib and unix (dim) - resolved.
- 0006267: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [PATCH] Include more useful information in ocamldebug "bt" (xclerc) - resolved.
- 0006183: [OCaml standard library] Unix.shutdown_connection should be commented with more details (xclerc) - resolved.
- 0006233: [OCaml general] Incomplete native backtraces on armel - resolved.
- 0006277: [OCaml backend (code generation)] Compiler crash when turning on -unsafe option. - resolved.
- 0006216: [OCaml backend (code generation)] inlining of GADT matches generates invalid assembly (xleroy) - resolved.
- 0006275: [OCaml typing] Soundness bug related to type constraints (garrigue) - resolved.
- 0006071: [OCaml general] ocaml (toplevel) should have a -no-init option (gasche) - resolved.
- 0006243: [Misc] Coq doesn't compile in debug mode - resolved.
- 0006239: [OCaml general] make world.opt seems to crash on tip of trunk on up-to-date OS X - resolved.
- 0006241: [OCaml typing] Assumed inequality between paths involving functor arguments (garrigue) - resolved.
- 0006240: [OCaml typing] Strange error with abstract module types and functors (garrigue) - resolved.
- 0006235: [OCaml typing] Issue with type information flowing through a variant pattern (garrigue) - resolved.
- 0006174: [OCaml general] OCaml compiler loops on an example using GADTs (garrigue) - resolved.
- 0006194: [OCaml general] Incorrect warning about unused match cases with first-class modules in patterns (garrigue) - resolved.
- 0006116: [OCaml standard library] more efficient Digest.to_hex (gasche) - resolved.
- 0006165: [OCaml windows] Alterations to handling of \013 in source files breaking other tools - closed.
[17 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker