Mantis Bug Tracker

OCaml - Change Log

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker