Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.00.2+dev (Released 2012-10-05) View Issues ]
========================================
- 0005910: [back end (clambda to assembly)] assembler complains of invalid code (meurer) - closed.
- 0005971: [documentation] Omission in caml_copy_int64 documentation (meyer) - closed.
- 0005858: [typing] Assert failure during typing of class (garrigue) - closed.
- 0005819: [back end (clambda to assembly)] ocamlopt generates segfaulting code when using [with] on recursive record with 6+ fields. (doligez) - closed.
- 0005930: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep leaks temporary files in trunk (gasche) - closed.
- 0006006: [back end (clambda to assembly)] Cannot "ocamlopt" the expression "x mod 1" on ARM (meurer) - closed.
- 0005994: [back end (clambda to assembly)] Error: shift expression is too large (meurer) - closed.
- 0005892: [typing] GADT exhaustiveness check is broken (garrigue) - closed.
- 0005948: [typing] GADT with polymorphic variants bug (garrigue) - closed.
- 0005993: [typing] Variance information on private type abbreviations is not checked for module subtyping (garrigue) - closed.
- 0005989: [typing] Assumed inequalities involving private rows (garrigue) - closed.
- 0005997: [typing] Non-compatibility assumed between concrete types with same constructor (garrigue) - closed.
- 0005793: [standard library] Integer marshalling is inconsistent between architectures (xclerc) - closed.
- 0005911: [typing] Signature substitutions fail in submodules (garrigue) - closed.
- 0005840: [documentation] Missing information concerning the meaning of the returned value (Unix.lseek) (xclerc) - closed.
- 0005880: [documentation] Genlex.make_lexer documention mentions the wrong exception (xclerc) - closed.
- 0005891: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Support rectypes tag for mlpack (xclerc) - closed.
- 0005810: [~DO NOT USE (was: OCaml general)] [patch] Clambda switch printing is broken (xclerc) - closed.
- 0005800: [typing] missing labels in generated applications in Typecore.type_argument (garrigue) - closed.
- 0005775: [~DO NOT USE (was: OCaml general)] Bug fixes for tools/pprintast.ml (hongboz) - closed.
- 0005102: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild, problems with %(name) syntax in the rules ~prod argument (xclerc) - closed.
- 0005240: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Register exception printers for Unix.Unix_error and Dynlink.Error (xclerc) - closed.
- 0005772: [runtime system and C interface] Bug in marshaling of recursive functions - closed.
- 0005785: [typing] Misbehaviour with abstracted structural type used as GADT index (garrigue) - closed.
- 0005906: [typing] GADT exhaustiveness check is still broken (garrigue) - closed.
- 0005944: [typing] [patch] Bad typing performances of big variant type declaration (garrigue) - closed.
- 0005907: [typing] Exceptions raised by type checker (garrigue) - closed.
- 0005798: [back end (clambda to assembly)] Patch to add ARM VFPv2 support (meurer) - closed.
[28 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker