OCaml - Change Log OCaml - 3.11.2+dev ================== - 0004847: [OCaml general] callback from C to CAML (frisch) - resolved. - 0004867: [OCaml general] ocamlopt -shared failed on Mac OS X 10.6 Snow Leopard (x86_64) - resolved. - 0004647: [OCaml general] [patch] provide Buffer.blit to avoid unnecessary allocation (xleroy) - resolved. - 0004003: [OCaml general] Generation of temporary files in module Filename should be improved (xclerc) - resolved. - 0004685: [OCaml general] Please expose Filename.dir_sep (doligez) - resolved. - 0003456: [OCaml general] Obj module should provide binding for Double_field and Store_double_field macros (xclerc) - resolved. - 0004477: [OCaml general] Feature wish: custom exception printers (xclerc) - resolved. - 0000123: [OCaml general] Pretty printer pour exceptions (xclerc) - resolved. - 0004813: [OCaml general] incorrect parsing of floating point literals (xleroy) - resolved. - 0004923: [OCaml general] Scanf.sscanf "%S" doesn't handle "\\xff" (weis) - closed. - 0004912: [OCamldoc] compilation of ocamldoc fails (guesdon) - closed. - 0004902: [OCaml general] Printf.sprintf "%1.F" 123.456 returns "12." !! - closed. - 0004810: [OCaml general] small patch for unix/socketaddr.c (xleroy) - closed. - 0004818: [OCaml general] Type alias breaks bigarray access performance - closed. - 0004860: [OCaml general] 3.11.1 fails to link mixed C/Ocaml program which 3.11.0 can link on OS X (xleroy) - closed. - 0004841: [OCaml general] Cannot make callbacks from C code when using the -output-obj option under Mac OS X (xleroy) - closed. - 0004151: [OCaml documentation] NaN, min & max - closed. - 0004836: [OCaml general] Unix.single_write raises bogus exceptions under windows - closed. - 0004823: [OCamldoc] Build issue for Ocaml 3.11.1 under Mac OS X (doligez) - closed. OCaml - 3.12.0+dev ==================
The 3.12.0 development branch
- 0003302: [OCaml general] Int64.of_string does not detect overflow from positive to negative ints - resolved. - 0004245: [OCaml general] Integer conversions do not detect overflow in corner cases (xleroy) - resolved. - 0004210: [OCaml general] little bug in int_of_string (xleroy) - resolved. - 0003047: [OCaml general] Add Unix.setgroups (xleroy) - resolved. - 0004641: [OCaml general] Bit manipulation for Big_int (xleroy) - resolved. - 0004638: [OCaml general] Provide expm1 and log1p (xleroy) - resolved. - 0004759: [OCaml general] March 28, 2009 CVS version won't bootstrap on Mac OS X Intel 64 (xleroy) - resolved. - 0004664: [OCaml documentation] Documentation of Format.print_tab - closed. OCaml - 3.11.1+dev ================== - 0003555: [OCaml general] .ocamldebug init file would be nice (xclerc) - resolved. - 0004816: [OCaml general] module abbreviations remove 'private' type restrictions (garrigue) - resolved. - 0004817: [OCaml general] Object type gives error "Unbound type parameter .." (garrigue) - resolved. - 0004775: [OCaml general] compiler crashes on crazy types (garrigue) - resolved. - 0004403: [OCaml general] ocamldebug does not support -pack'ed modules (xclerc) - resolved. - 0004650: [OCaml general] regexp_case_fold does not work correctly with an exclusion set (xleroy) - resolved. - 0004690: [OCaml general] Bus error in caml_oldify_local_roots when using native dynamic loading on Mac OS 10.5 (xleroy) - resolved. - 0004740: [OCaml general] Int32.rem floating point exception (xleroy) - resolved. - 0004821: [OCaml general] Bad compilation of classes yields segfault - closed. - 0004814: [OCaml general] ocamlbrowser crashes when try editing comments "(* ... *)" - closed. - 0004809: [OCaml general] Windows: Unix.create_process not working properly from a Cygwin shell - closed. - 0004804: [OCaml general] int64_of_big_int fails on negative values that fit in 32-bits - closed. - 0004798: [OCaml general] Cannot "make op.opt " with 3.11.1rc0 under mingw - closed. - 0004785: [OCaml general] Current CVS cannot be build under Windows (guesdon) - closed. - 0004796: [OCaml general] yacc reader.c substring doesnt null terminate - closed. - 0004790: [OCaml general] Windows error ERROR_NO_DATA should be mapped to EPIPE - closed. - 0004792: [OCaml general] big_int_of_int64 is incorrect - closed. - 0004780: [OCaml general] Current CVS cannot be build under Windows (garrigue) - closed. - 0004776: [OCaml general] Bad interaction between exceptions and classes - closed. - 0004758: [OCaml general] Bug in scanf conversion with "%S" (weis) - closed. - 0004756: [OCaml general] closure interpreted as string when using %_ in printf routine (weis) - closed. - 0004735: [OCaml general] Unix.LargeFile.fstat cannot report size over 32bits on Win32 - closed. - 0004666: [OCaml general] Execv unix calls fail with threaded program on Mac OS X. (xleroy) - closed. - 0004704: [OCaml general] Bug in generational global roots handling (xleroy) - closed. - 0004766: [OCaml general] Incorrect type inference with objects - closed. - 0004699: [OCaml general] Regression: dlldbm.so wrongly linked - closed. - 0004722: [OCaml general] Typo in configure - closed. - 0004745: [OCaml general] inferred type with a weak type variable that maybe shouldn't be - closed. - 0004708: [OCamldoc] cannot guess from doc if a binary function is infix or not - closed. - 0004730: [OCaml general] type 'a t = 'a is not correctly handled by the typechecker. - closed. - 0004692: [OCaml general] Wrong error message with options -i and -pack passed to ocamlc - closed. OCaml - 3.11.0 ============== - 0001561: [OCaml general] WISH: uncaught exception trace capture... (xclerc) - resolved. - 0004639: [OCamlbuild] ocamlbuild tries to delete _build/_log and fails and whole build fails (windows) (ertai) - resolved. - 0001833: [OCaml general] Bug modules recursifs - closed. - 0004606: [OCaml general] Native dynlink: Dynlink.init is still required (frisch) - closed. - 0003866: [OCaml general] Patch to build and install libcamlrun.so (xleroy) - closed. - 0004351: [OCaml general] Performance improvements to thread synchronization (xleroy) - closed. - 0004171: [OCaml general] configure should have an option to specify the assembler command and the host arch (xleroy) - closed. - 0004216: [Camlp4] camlp4 not accepting some valid ocaml syntax (ertai) - closed. - 0004633: [OCaml general] I was not able to compile mingw version - closed. OCaml - 3.11.0+beta ===================
3.11.0+beta1 and other betas of 3.11.0, if any
- 0004095: [OCaml general] Comportement etrange de Ctrl-C dans ocamldebug (xclerc) - resolved. - 0004562: [OCaml general] scanf produces wrong %n output value after integer conversion (weis) - closed. - 0003473: [OCaml general] [WISH] Better implementation of Num.quo_num (weis) - closed. OCaml - 3.10.3+dev ================== - 0004576: [OCaml general] Compilation succeeds on SunOS sparc after minor fix in make files - closed. - 0004569: [OCaml general] Conjunctive polymorphic variants in class parameter constraints are rejected - closed. - 0004561: [OCaml general] Another OO segfault - closed. - 0004560: [Caml-light] Segfault in object system - closed. - 0004533: [OCaml general] Échappements invalides dans les commentaires - closed. - 0004527: [OCaml general] Compile of driver/optcompile.ml fails - closed. - 0004525: [OCaml documentation] Bigarray interface Invalid_arg[ument] - closed. - 0004505: [OCaml general] Bug in typing of the object layer - closed. - 0004508: [OCaml general] Wrong printing of floats in toplevel (xleroy) - closed. OCaml - 3.10.1 ============== - 0004497: [OCaml general] exception declaration of unclosed polymorphic variant type are not rejected by the typechecker. (garrigue) - resolved. - 0004472: [OCaml general] configure fails to detect libX11.so - closed. OCaml - 3.11+dev ================ - 0004543: [Camlp4] Patch implementing toplevel phrase filters (ertai) - resolved. - 0004568: [Camlp4] camlp4lib.cma embeds dynlink modules (ertai) - resolved. - 0004623: [OCaml general] Private constraints accepted by toplevel but not by compiler (garrigue) - resolved. - 0004593: [Camlp4] !Toploop.parse_toplevel_phrase hangs after loading camlp4 (ertai) - resolved. - 0004495: [Camlp4] Toplevel unable #use'ing more than once with camlp4 (ertai) - resolved. - 0001696: [Camlp4] feature-wish: camlp4 quotation (ertai) - resolved. - 0004420: [Camlp4] Camlp4 removes brackets around local objects. (ertai) - resolved. - 0004532: [Camlp4] camlp4o tuple versus if-then-else conditional precedence does not match the Yacc parser (ertai) - resolved. - 0004520: [Camlp4] Camlp4 fails with constructors named "True" or "False" (ertai) - resolved. - 0004314: [Camlp4] Problème de localisation des erreurs avec Camlp4 (ertai) - resolved. - 0004521: [Camlp4] Camlp4 produces wrong location information (ertai) - resolved. - 0004529: [OCaml general] labltk does not build with tk 8.5 (garrigue) - resolved. - 0004517: [OCaml general] segmentation fault in ocamllex-generated program (maranget) - resolved. - 0004416: [Camlp4] Camlp4 knows "virtual mutable" but not "mutable virtual". (ertai) - resolved. - 0004603: [Camlp4] camlp4o parses [3 lsl /2] as legal (ertai) - closed. - 0004513: [Camlp4] Camlp4 accepts incorrect syntax (ertai) - closed. - 0004330: [Camlp4] gramlib parses illegal input for recursive rules (ertai) - closed. - 0004614: [Incoming] inconsistent declaration of CamlCBCmd() (garrigue) - closed. - 0003915: [OCaml documentation] Please add -cc option in ocamlc's man page (doligez) - closed. - 0004204: [OCaml general] Positional specifiers in Printf don't appear to work (weis) - closed. - 0003992: [OCaml general] Printf: positional specifiers do not work (weis) - closed. - 0004321: [OCaml general] Scanf ignores possitional parameters parsing format strings... (weis) - closed. - 0004607: [OCaml general] Native dynlink and filenames containing '-' (doligez) - closed. - 0004563: [OCaml general] ocamldumpobj misreports address operands of CLOSUREREC instructions - closed. - 0004600: [OCaml documentation] associativity of (&) (&&) and (||) - closed. - 0004555: [OCaml general] Compilation of equality involving polymorphic variants not optimized - closed. - 0004572: [OCaml general] ocamlbuild does not give correct switches to ocamldep when running menhir (ertai) - closed. - 0004514: [OCaml documentation] documentation is incorrect for string_length function - closed. - 0003760: [OCaml general] wish: validation when retrieving public methods - closed. - 0004052: [OCaml general] Constructeur constant et _ - closed. - 0003930: [OCaml general] Wish: Helper function for maintaining lexer position info - closed. - 0003036: [OCaml general] -impl -intf - closed. - 0001852: [OCaml documentation] Grammar bug: expressions are definitions - closed. - 0003114: [OCaml general] Suggestion for error messages - closed. - 0004440: [OCaml general] Report errors before warnings. (doligez) - closed. OCaml - 3.10.0 ============== - 0003965: [Camlp4] "as pattern" syntax difference between camlp4o and yacc parsers (ertai) - resolved. - 0002954: [OCaml general] pos_lnum and pos_bol are worngs on exceptions from Grammar.Entry.parse (ertai) - resolved. - 0004295: [Camlp4] Problème de synchronisation avec Camlp4 après erreur de parsing dans le toplevel (ertai) - resolved. - 0004594: [Caml-light] scanf %s processing (weis) - closed. - 0004411: [OCaml general] ocamlrun crashes calling Unix.access on Windows (xleroy) - closed. - 0003926: [Camlp4] Unneeded limitation on the CamplP4 quotation system (ertai) - closed. - 0004240: [Camlp4] pa_macro cannot handle macros in .mli files (ertai) - closed. - 0004225: [OCaml general] Staged installation of 3.10beta (ertai) - closed. - 0004200: [OCaml general] Incorrect source file reference for OCaml warning Y (unused variable name) with ocamllex (maranget) - closed. - 0002858: [OCaml general] Suggestion pour pr_o - closed. - 0004273: [OCaml general] Format.advance_left is not tail rec (weis) - closed. - 0003886: [Camlp4] When repporting some errors with camp4 enabled, the filename is reported as empty (mauny) - closed. OCaml - 3.10+dev ================ - 0004357: [Camlp4] Wrong location in quotations (ertai) - resolved. - 0004427: [Camlp4] Camlp4 removes brackets around immediate functions inside a list. (ertai) - resolved. - 0004419: [Camlp4] Camlp4 changes "constraint" in "type" in class types. (ertai) - resolved. - 0004417: [Camlp4] Camlp4 sticks unary negation to its argument. (ertai) - resolved. - 0004331: [Camlp4] camlp4o can't parse guards on "fun" expressions (ertai) - resolved. - 0004332: [Camlp4] Incorrect parsing of negative 32/64-bit numbers in camlp4 (ertai) - resolved. - 0004312: [Camlp4] camlp4o parsing issue for "let _" patterns (ertai) - resolved. - 0004410: [OCaml general] bug in ocamlbuild (building a plugin with -build flag set) plus suggested fix (ertai) - resolved. - 0004379: [OCaml general] windows binary ocamlbuild cannot build plugins (ertai) - resolved. - 0004313: [OCaml general] ocamlbuild -log doesn't consistently (and cleanly) report inexistent directories (ertai) - resolved. - 0004434: [Camlp4] Camlp4 generates incorrect human-readable code for negative floats (ertai) - resolved. - 0004328: [Camlp4] Handling of nil nodes is suboptimal (ertai) - resolved. - 0004446: [Caml-light] configure script detection for X11 on MacOS X 10.5 (ertai) - resolved. - 0004349: [Camlp4] Camlp4 bug handling private type definitions (ertai) - resolved. - 0004378: [OCaml general] ocamlbuild/plugin.ml has a typo (ertai) - resolved. - 0004340: [Camlp4] Camlp4 outputs ?(arg: typ = something) ?((arg: typ) = something) (ertai) - resolved. - 0004309: [Camlp4] map and fold filters generate wrong code for abstract types (ertai) - resolved. - 0004315: [OCaml general] More camlp4o parsing issues: constraints in classes (ertai) - resolved. - 0004307: [Camlp4] Assertion failed in camlp4 (ertai) - resolved. - 0004286: [OCaml general] Syntax error in myocamlbuild_config.ml (ertai) - resolved. - 0004302: [Camlp4] fail to parse list comprehension (ertai) - resolved. - 0004280: [Camlp4] Camlp4o ne parse pas une forme de code (ertai) - resolved. - 0004281: [Camlp4] Autre forme non supportée par camlp4o (ertai) - resolved. - 0004274: [Camlp4] RFE: $`bool:b$ (ertai) - resolved. - 0004271: [Camlp4] camlp4of: <:patt< $x$ >> considers "x" to be an id, not a pattern. (ertai) - resolved. - 0004263: [Camlp4] AST mapping treats record labels as patterns; should they have type ident instead? (ertai) - resolved. - 0004259: [OCaml general] Bootstrap procedure broken on release310 branch (ertai) - resolved. - 0004262: [Camlp4] Camlp4MacroParser executes "DEFINE" directives in the "false" branch of an IFDEF; other Camlp4MacroParser improvements (ertai) - resolved. - 0004256: [Camlp4] <:str_item< module M = struct $x$; ... end >> is rejected (ertai) - resolved. - 0004248: [Camlp4] Calls to "assert" are incorrectly pretty-printed (ertai) - resolved. - 0004246: [Camlp4] Quotation, retour à la ligne et location incorrecte (ertai) - resolved. - 0004490: [OCaml general] Typo in error message "Unbound class <class_name>". - closed. - 0004483: [OCaml general] Ocaml 3.10.1 doesn't compile with MSVC under Windows - closed. - 0003214: [OCaml general] Exception printing bug? - closed. - 0004455: [OCaml general] str.mli is not installed into $(OCAMLLIB) - closed. - 0004473: [OCaml general] Segfault when accessing an element of an array of float throught a polymorphic method. - closed. - 0004481: [OCaml general] exception with object yields incorrect type - closed. - 0004459: [OCaml general] Problème avec l'héritage et les variables virtuelles - closed. - 0004354: [OCaml general] ocamlcp does not behave like ocamlc (doligez) - closed. - 0004361: [OCaml general] Mix between calls to print_* functions from Pervasives et Format - closed. - 0004442: [OCaml general] Segfault with weak pointers (doligez) - closed. - 0004305: [OCaml general] Arg.align misaligns when using Arg.Symbol(_,_) (doligez) - closed. - 0004377: [OCaml general] Bug finalisation des pointeurs infixes (doligez) - closed. - 0004324: [OCaml general] emacs mode highlighting - closed. - 0004426: [OCaml general] Unexpected memorization of an optional label. - closed. - 0004350: [OCaml general] Polymorphism failure on polymorphic variants inside a record through a local and open function. - closed. - 0004429: [OCaml general] caml-font.el: make hook for font-lock a proper function - closed. - 0004435: [OCaml general] The same name for an argument and a value of a class may cause a segfault. - closed. - 0004402: [OCaml general] ocamldebug dosen't work with -rectypes - closed. - 0004383: [OCaml general] including module with private type causes strange error - closed. - 0004382: [OCaml general] Strange typing restriction with polymorphic record fields - closed. - 0004365: [Caml-light] The toplevel printer wrongly prints `Foo(-1) as `Foo -1 - closed. - 0004327: [OCaml general] Emacs patch to look for .anno files in ocamlbuild's _build directory - closed. - 0004234: [OCaml general] out-of-range bugs in globroots.c - closed. - 0004086: [OCaml general] Add support for shared libraries with Intel Macs (xleroy) - closed. - 0004024: [OCaml general] Memory-mapping of bigarrays with offsets missing (xleroy) - closed. - 0003791: [OCaml general] Bug 0003790 - patch (xleroy) - closed. - 0004050: [OCaml general] "ocamldep -slash" bug (xleroy) - closed. - 0004119: [OCaml general] Issue with Scanf.Scanning.from_file (weis) - closed. - 0004183: [OCaml general] OCaml doesn't detect i686-apple-darwin for dynamic linking - closed. - 0004125: [OCaml general] unixsupport.h in base package (doligez) - closed. - 0004123: [OCaml general] Fonction unix_error_of_code non déclarée (doligez) - closed. - 0004191: [OCaml general] Incorrect type variable renaming in error messages about method types - closed. - 0004182: [OCaml documentation] 'exception Exc of (string * string)' and 'exception Exc of string * string' not necessarily the same - closed. - 0004186: [OCaml general] Catch-all pattern does not work with optional arguments - closed. - 0004167: [OCaml general] caml/fail.h should use char const * - closed. - 0004051: [OCaml general] ocamlc 3.10+dev: "Fatal error: exception Ctype.Unify(_, _)" (seems to be different from 0003918). (garrigue) - closed. - 0004000: [OCaml general] Typage sans -rectypes quand une interface a été compilée avec -rectypes: problème et suggestion (garrigue) - closed. OCaml - 3.09.4+dev / +rc ========================
3.09.4, development version or release candidate
- 0004128: [OCaml general] Program segfaults (garrigue) - closed. - 0004028: [OCaml general] ocamlcp displays warnings twice (doligez) - closed. - 0004168: [OCaml general] if HAS_TRUNCATE is not defined for some reason, external functions unix_truncate_64 and unix_ftruncate_64 are not defined - closed. - 0004129: [OCaml general] new definition of CAMLreturn produces warnings (doligez) - closed. - 0004141: [OCaml general] Bus error using doubly-linked, circular list with lazy evaluation (doligez) - closed. - 0004131: [OCaml general] File mLast.cmo cannot be installed (O'Caml 3.09.3) - closed. OCaml - 3.09.3 ==============
release 3.09.3
- 0003941: [Camlp4] mkcamlp4 option parsing problem (mauny) - closed. - 0003948: [Camlp4] Camlp4 bug introduced in 3.09.1, working with 3.09.0 (mauny) - closed. - 0004109: [OCaml general] Missing CAMLreturn in asmrun/io.c/caml_ml_flush and caml_ml_flush_partial - closed. - 0004179: [OCaml general] about 'a exceptions - closed. OCaml - 3.09.0 ============== - 0003636: [OCaml general] ocamlyacc nonterminal undefined error message - closed. - 0001691: [OCaml general] warning for unused variable bindings? - closed. - 0003902: [OCaml general] printf format strings type is wrong. (weis) - closed. OCaml - 3.08.0 ============== - 0002893: [OCaml general] SEGV when using Gc.finalise - closed. OCaml - <=3.07 ================= - 0000744: [OCaml general] Wish: start building a ocamldep.opt (xclerc) - resolved. - 0000320: [OCaml general] affichage des valeurs infinity et neg_infinity - closed.
