Change Log - MantisBT

OCaml - Change Log
OCaml - 4.00.2+dev (Not Yet Released) [ View Issues ] ===================================== - 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. - 0005686: [OCamlbuild (the tool)] .itarget does not work (meyer) - 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. - 0005858: [OCaml typing] Assert failure during typing of class (garrigue) - 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. [26 issues]