Mantis Bug Tracker

OCaml - Change Log

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker