OCaml - 4.01.0+dev (Not Yet Released) [ View Issues ] ===================================== - 0005343: [OCaml general] ocaml -rectypes is unsound wrt module subtyping (garrigue) - resolved. - 0006004: [OCaml typing] Type information does not flow to "inherit" parameters (garrigue) - resolved. - 0006005: [OCaml typing] Obj.magic with recursive modules (garrigue) - resolved. - 0005965: [OCaml typing] Strange auto-reference in recursive modules in case of name conflict with a functor parameter (frisch) - resolved. - 0005832: [Misc] patch to improve "wrong file naming" error messages (frisch) - resolved. - 0005848: [OCaml typing] Assertion failure in type checker (garrigue) - resolved. - 0005759: [OCaml typing] Using well-disciplined type-propagation to disambiguate label and constructor names (garrigue) - resolved. - 0005525: [OCaml typing] Resolving record fields using all specified fields (garrigue) - resolved. - 0005848: [OCaml typing] Assertion failure in type checker (garrigue) - resolved. - 0005724: [OCaml general] Interaction between GADTs and polymorphic variants (garrigue) - resolved. - 0005981: [OCaml typing] Incompatibility check assumes abstracted type constructors are injective (garrigue) - resolved. - 0005957: [OCaml backend (code generation)] linking -big- files causes failure in ocamlc (gasche) - resolved. - 0005964: [OCaml backend (code generation)] ocamlopt option "-dclambda" doesn't work (frisch) - resolved. - 0005784: [OCaml backend (code generation)] -dclambda option is ignored (frisch) - resolved. - 0005926: [OCaml documentation] tag-spec-full documentation seems to be incorrect (garrigue) - resolved. - 0004887: [OCaml general] input_char after close_in crashes ocaml (msvc runtime) (frisch) - resolved. - 0005886: [OCaml runtime system] Small changes to compile for Android (meurer) - resolved. - 0005864: [OCaml standard library] No find operation in Set (frisch) - resolved. - 0005876: [OCaml typing] Uncaught exception with a typing error. (gasche) - resolved. - 0005673: [OCaml typing] type equality a in polymorphic field (garrigue) - resolved. - 0005795: [OCaml backend (code generation)] [patch] Generate sqrtsd opcode instead of external call to sqrt on amd64 (lefessan) - resolved. - 0005546: [OCaml backend (code generation)] moving a function into an internal module slows down its use (frisch) - resolved. - 0005824: [OCaml backend (code generation)] [patch] avoid tagging integers before right shifting it - resolved. - 0005821: [OCaml typing] Wrong record field is reported as duplicate (frisch) - resolved. - 0005814: [OCaml general] read_cmt -annot does not report internal references (frisch) - resolved. - 0005809: [OCaml general] Generating .cmt files takes a long time, in case of type error (frisch) - resolved. - 0005762: [OCaml backend (code generation)] Add primitives for fast access to bigarray dimensions (lefessan) - resolved. - 0005768: [OCaml general] [patch] On "unbound identifier" errors, use spell-checking to suggest names present in the environment (frisch) - resolved. - 0005770: [OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - resolved. - 0005676: [OCaml windows] IPv6 support under Windows (protz) - resolved. - 0005734: [OCaml windows] Unix.gettimeofday correct resolution under Windows - resolved. - 0005611: [OCaml general] Fatal error: exception End_of_file when using -o file.cmo (meyer) - resolved. - 0005747: [OCaml general] 'unused open' warning not given when compiling with -annot (frisch) - resolved. - 0005722: [OCaml general] toplevel: do not print full module path for record fields except the first one (garrigue) - resolved. - 0004994: [OCaml general] ocaml-mode doesn't work with xemacs21 - resolved. - 0005711: [OCaml general] Envaux.env_from_summary should be available in compiler-libs (lefessan) - resolved. - 0005708: [OCaml general] OCamldebugger crashs on set print_depth/print_length (lefessan) - resolved. - 0005702: [OCaml general] bytecomp/bytelibrarian lib_sharedobjs was defined but never used (lefessan) - resolved. - 0005698: [OCaml backend (code generation)] Assembler source reuses labels (lefessan) - resolved. - 0005695: [OCaml general] error during "make opt" for svn trunk on sparc (lefessan) - resolved. - 0005662: [OCaml runtime system] typo in md5.c (lefessan) - resolved. - 0005618: [OCaml general] enrich "not a function" compile error with type information (frisch) - resolved. - 0005325: [OCaml general] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - resolved. - 0005435: [OCamlbuild (the tool)] ocamlbuild does not find .opt executables on Windows (protz) - resolved. - 0005392: [OCaml windows] Windows Start menu shortcuts are invisible to limited users. (protz) - resolved. - 0005499: [OCaml windows] Problem including <caml/socketaddr.h> (protz) - resolved. - 0005710: [OCaml general] test suite cannot be ran without installing first (doligez) - closed. - 0005972: [OCaml documentation] Missing case in GADT syntax (doligez) - closed. - 0005805: [OCaml typing] Assert failure with warning 34 on pre-processed file (frisch) - closed. - 0005928: [OCaml documentation] Missing space between words in manual page for ocamlmktop - closed. - 0005875: [OCaml documentation] Missing production in BNF for constr-decl - closed. - 0005835: [OCaml general] Nonoptional labeled arguments can be passed with '?'. This is confusing (garrigue) - closed. - 0005883: [OCaml documentation] BNF insufficient for S (3, 4) (garrigue) - closed. - 0005884: [OCaml tools (ocaml{lex,yacc,dep,browser})] Misc minor fixes and cleanup for caml-help.el (garrigue) - closed. - 0005865: [OCaml typing] assert failure in type checker when printing type for valid error (garrigue) - closed. - 0005181: [OCaml general] Merge common floating point constants in ocamlopt (meurer) - closed. [56 issues]
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]
OCaml - 4.00.1+dev (Released 2012-07-26) [ View Issues ] ======================================== - 0005707: [OCaml backend (code generation)] Segfault when called from C on 64bit -fPIC (function with more than 8 parameters) (xleroy) - resolved. - 0005729: [OCaml tools (ocaml{lex,yacc,dep,browser})] tools/untypeast.ml creates unary Pexp_tuple (lefessan) - resolved. - 0005761: [OCaml otherlibs] Incorrect bigarray custom block size (xleroy) - resolved. - 0005563: [OCaml otherlibs] Caml.Unix.select doesn't bounds-check file-descriptor integer - resolved. - 0005731: [OCaml backend (code generation)] Register d7 trampled by float_of_int (meurer) - resolved. - 0005735: [OCaml general] %revapply and %apply do not work properly unless they are fully applied. (lefessan) - resolved. - 0005700: [OCaml backend (code generation)] native binaries crash in top-level exception handler - resolved. - 0005758: [OCaml general] Compiler bug when matching on floats (maranget) - closed. - 0005757: [OCaml runtime system] GC compaction bug (doligez) - closed. - 0005738: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldep is broken (especially when you use first class module) (garrigue) - closed. - 0005690: [OCamldoc] "ocamldoc ... -text README" raises exception (guesdon) - closed. - 0005719: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamlyacc generates code that is not warning 33-compliant (doligez) - closed. [12 issues]
OCaml - 4.00.0 (Released 2012-07-26) [ View Issues ] ==================================== - 0004965: [OCaml general] String.compare not specialized (shinwell) - resolved. - 0005790: [OCaml typing] Polymorphic field values no longer generalizable with (type t) (garrigue) - resolved. - 0005206: [OCaml general] Request for stronger random seeding (doligez) - resolved. - 0004155: [OCaml documentation] It isn't documented that C threads cannot call caml code - resolved. - 0005660: [OCaml runtime system] byterun/startup.c lacks code checksum initialization - resolved. - 0004724: [OCamlbuild (the tool)] Integrate ocamlbuild documentation in the manual (xclerc) - closed. [6 issues]
The 3.13.0 development branch (now known as 4.00.0).
- 0005516: [OCaml otherlibs] "struct hack" for bigarrays clashes with clang array bounds checks - resolved. - 0005159: [Camlp4] wrong location after line directive (doligez) - resolved. - 0005438: [OCaml general] A warning to detect more unused values and value declarations (frisch) - resolved. - 0004863: [OCaml general] Bad architecture detection on Mac OS X 64bit (doligez) - resolved. - 0003888: [OCaml general] Missing "String.unescaped" (lefessan) - resolved. - 0005309: [OCaml general] Queue.add is not thread/signal safe (lefessan) - resolved. - 0005179: [OCaml general] Port OCaml to mingw-w64 to have 64bit OCaml without MSVC Toolchain - resolved. - 0005357: [OCaml general] Warning for redundant open M and let open M in (frisch) - resolved. - 0005487: [OCaml general] Improved GDB support - resolved. - 0005436: [OCaml general] Clarify (or fix) the semantics of Oo.id (garrigue) - resolved. - 0004888: [OCaml general] Improve again x86/ELF for GNU debugging tools - resolved. - 0005503: [OCamlbuild (the tool)] fatal error with absolute -build-dir (xclerc) - resolved. - 0004895: [OCaml general] Windows (mingw): Unix.set/clear_close_on_exec modifies the descriptor - resolved. - 0005314: [OCaml general] add CFI directives for reliable stack unwinding (shinwell) - resolved. - 0005513: [OCaml backend (code generation)] Int64.div causes floating point exception (xleroy) - resolved. - 0005511: [OCaml otherlibs] Bigarray reshape wrong for 64 bit systems - resolved. - 0005504: [OCaml general] Please consider stopping using keyword substitutions (meyer) - resolved. - 0005510: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldep has duplicate -ml{,i}-synonym options. (meyer) - resolved. - 0005509: [OCaml general] Unregistered GC memory page with empty block last in a section and bad luck. - resolved. - 0005297: [OCaml general] compiler does not check %primitive's existence (lefessan) - resolved. - 0005485: [OCaml general] Reducing the risk of segfault due to stack overflow - resolved. - 0005064: [OCaml general] ocamlopt generated code: segmentation fault instead of stack overflow - resolved. - 0005497: [OCaml documentation] Ocaml source-code examples are not "copy-paste-able" (if they employ apostrophe-character) - resolved. - 0005264: [OCaml documentation] Error in example code in section 1.8 - resolved. - 0001893: [OCaml general] various problems/typos in the ocaml doc (protz) - resolved. - 0001164: [OCaml general] Problème d'utilisation du module Num en compilation native sous Windows (O'Caml v3.04) - resolved. - 0005477: [OCaml general] ocaml graphics not working on popular Linux distros; ocaml should use pkg-config to get X11 switches - resolved. - 0005396: [OCaml general] ocamldep should have mode that does not make assumptions about build system (lefessan) - resolved. - 0005383: [OCaml general] Cannot build OCaml 3.12.1 Win32/MSVC (protz) - resolved. - 0005471: [OCaml general] [PATCH] handle SIGBUS on shrinked Bigarray mapped files (protz) - resolved. - 0005421: [OCaml general] fd leak in Unix.ml? (protz) - resolved. - 0005475: [OCaml general] Wrapper script for interpreted LablTk wrongly handles command line parameters (lefessan) - resolved. - 0005479: [OCaml documentation] Num.num_of_string may raise an exception. This is not reflected in the documentation. (lefessan) - resolved. - 0004963: [OCaml general] Please add extern "C" declarations (for C++) in installed headers (lefessan) - resolved. - 0005476: [OCaml general] bug in native code compilation of let rec on float arrays (lefessan) - resolved. - 0005329: [OCaml general] Include classic Unix.select in the Unix module for Win32 - resolved. - 0005327: [OCaml general] Unix.select blocks under Windows if same socket listed in first and third arguments - resolved. - 0005472: [Caml web site] Incorrect syntax for #install_printer in FAQ page (lefessan) - resolved. - 0005464: [OCaml documentation] Missing @dircategory and @direntry to info files (lefessan) - resolved. - 0004549: [OCaml general] Filename.dirname is not handling multiple / on Unix - resolved. - 0005439: [OCaml general] Upgrade to latest config.guess and config.sub. (protz) - closed. - 0005425: [OCaml general] GADTs with object type indexes (garrigue) - closed. - 0005427: [OCaml general] GADTs with object type indexes (garrigue) - closed. - 0005287: [OCaml general] optimization of partial applications (xleroy) - closed. - 0005205: [OCaml general] Performance bug: pushing let-alias inside loop body (xleroy) - closed. - 0005437: [OCaml general] Patch to allow command line arguments in Arg module to be undocumented (protz) - closed. - 0005313: [OCaml general] ocamlopt -g misses optimizations (meyer) - closed. - 0005349: [OCaml general] Hashtbl.replace is incorrect according to its specification (xleroy) - closed. - 0005169: [OCaml general] build failes. ocamldoc/Makefile.nt is not up-to-date (doligez) - closed. - 0004880: [OCaml general] caml_print_exception_backtrace do not print backtrace when main program is C (xleroy) - closed. - 0005171: [OCaml general] map.ml function `join` does more comparisons than needed (protz) - closed. - 0005358: [OCaml general] first class modules don't allow "with type" declarations for types in sub-modules (frisch) - closed. - 0004869: [OCaml general] assembly labels loop on huge generated .ml files (xleroy) - closed. - 0005454: [OCaml general] Digest.compare is missing and md5 doc update (meyer) - closed. - 0005330: [OCamlbuild (the tool)] thread tag with .top and .inferred,mli targets (xclerc) - closed. - 0005288: [OCaml general] fix escaping pattern aliases (xleroy) - closed. - 0004752: [OCaml general] copysign (xleroy) - closed. - 0005246: [OCaml general] Please provide the hypot function (xleroy) - closed. - 0005225: [OCaml general] Strengthen the built-in hash function (xleroy) - closed. - 0005347: [OCaml general] Make tuple expression type errors more specific (garrigue) - closed. - 0005385: [OCaml general] Not compiling `opt` in OS X 10.6 (doligez) - closed. - 0000245: [OCaml general] Suggestion: List.iteri (frisch) - closed. - 0005518: [OCaml runtime system] Segfault with lazy empty arrays - closed. - 0004488: [OCaml documentation] Semantic of "include" constructs differs from the documentation specification - closed. - 0004278: [OCaml internal build/install (Makefiles, configure)] ocaml configure script does not give the possibility to disable dbm nor graph modules - closed. - 0005176: [OCaml general] Caml-mode: Stack overflow in regexp matcher (doligez) - closed. - 0005403: [OCaml general] Bugfixes for emacs/Makefile - closed. - 0005498: [OCaml typing] Assert failure in typeclass.ml (garrigue) - closed. - 0005393: [OCaml general] Fails to build from source on GNU/kFreeBSD because of -R link option (protz) - closed. - 0001835: [OCaml general] Digest function to transform a md5sum string into a Digest.t - closed. - 0005453: [OCaml general] Modules Graphics and labltk not build because of MultiarchSpec (doligez) - closed. - 0005469: [OCaml general] ocamlc functor type private messed up (garrigue) - closed. - 0000352: [OCaml general] have ocaml support the '-' option (for standard input) (doligez) - closed. - 0005455: [OCaml documentation] .emacs instructions, add lines to recognize ocaml scripts - closed. - 0005449: [OCaml general] In GADT's, _ type variables are replaced with 'a, 'b, etc (garrigue) - closed. - 0005450: [OCaml general] The name of types introduced by (type foo) are not used for the inferred type variables (garrigue) - closed. - 0005445: [OCaml general] The top level drops all the "fancy" type variables (garrigue) - closed. - 0005369: [OCaml general] Wrong error location with records (doligez) - closed. - 0002395: [OCaml general] Array.copy can be faster - closed. - 0002787: [OCaml general] Optimiser Array.blit - closed. - 0004591: [OCaml general] A faster version of Array.sub implemented in C (xleroy) - closed. - 0005342: [OCaml general] "Optional argument cannot be erased" warning is not issued when an optional argument is followed only by labeled arguments (garrigue) - closed. - 0005332: [OCaml general] pattern matching problem with GADT - closed. - 0005322: [OCaml general] Problem with forall and method - closed. - 0004837: [OCaml documentation] The return value for Lexing.lexeme_end is incorrectly documented - closed. [87 issues]
OCaml - 3.12.1 (Released 2011-07-18) [ View Issues ] ==================================== - 0004682: [OCaml general] Uninstaller does not erase OCAMLLIB environment variable (protz) - closed. - 0005359: [Camlp4] Subversion build of /version/3.12 fails: Unbound module Camlp4_import (xclerc) - closed. - 0005370: [OCaml general] ocamldep omits filename in syntax error message (xclerc) - closed. - 0005024: [OCaml general] ocaml 3.12.0+dev17, svn revision 10259: revised syntax + new records underscore pattern = syntax error (xclerc) - closed. - 0005269: [OCaml general] Wrong ext_ref entries in .annot files when the path contains sub-modules (xclerc) - closed. - 0004833: [OCaml documentation] The documentation fails to mention that you must #load "dynlink.cma";; - closed. - 0001756: [OCaml general] danger dans compare custom? - closed. [7 issues]
OCaml - 3.12.1+dev (Not Yet Released) [ View Issues ] ===================================== - 0005442: [Camlp4] camlp4: quotation issue with strings (dim) - resolved. - 0005495: [Camlp4] camlp4o dies on infix definition (or) (dim) - resolved. - 0005172: [Camlp4] camlp4 does not support the 'module type of' construct (xclerc) - resolved. - 0005316: [OCaml general] objinfo : show ccopts/ccobjs for cmxa files and force_link when relevant (xclerc) - resolved. - 0004939: [Camlp4] CamlP4 does not like patterns like: ?x:_ (ertai) - resolved. - 0004345: [Camlp4] Reduced precision when converting floats to strings (xclerc) - resolved. - 0005489: [OCaml documentation] Typo in stdlib/format.mli (lefessan) - resolved. - 0005236: [OCaml general] Add %revapply as a primitive (for infix pipe) (xclerc) - resolved. - 0005456: [Camlp4] pa_macro: __LOCATION__ and DEFINE interaction (dim) - resolved. - 0005231: [Camlp4] type applications in quotations (dim) - resolved. - 0005387: [Camlp4] str_item and other syntactic elements with Nils are not very usable (dim) - resolved. - 0004746: [OCaml general] incorrect calculation for stack overflow detection (xleroy) - resolved. - 0005306: [OCaml general] Comparing to Thread.self() raises exception at runtime (xleroy) - closed. - 0004898: [OCaml general] Makes byte order available to ocaml programs (xclerc) - closed. - 0005319: [OCaml general] %r11 clobbered by Lswitch in Windows AMD64 native-code compilation (xleroy) - closed. - 0005120: [Camlp4] CAMLP4_DEBUG is broken (dim) - closed. - 0005328: [OCaml general] Unix.select leaves sockets in non-blocking mode under Windows - closed. - 0005364: [OCaml general] Crash following pack/unpack/functor application (xleroy) - closed. - 0005336: [OCaml general] ocamlopt on arm must use .type directives for function symbols (xleroy) - closed. - 0005410: [Camlp4] error in camlp4o when printing class application (dim) - closed. - 0005374: [Camlp4] camlp4 creates wrong location for type definitions (xclerc) - closed. - 0005356: [OCamlbuild (the tool)] OCamlbuild's 'predicate' tag badly translated into OCamlfind parameter (xclerc) - closed. - 0004444: [OCaml general] Lack of String.strip (xclerc) - closed. - 0005211: [OCaml documentation] genlex full documentation (xclerc) - closed. - 0001643: [OCaml general] Identificateurs dans Lazy (xclerc) - closed. - 0005158: [Camlp4] make Register.{sig,str}_item_parser accessible (xclerc) - closed. - 0005209: [OCaml general] natdynlink not built because configure contains an incorrect test for FreeBSD (xclerc) - closed. - 0005217: [OCamlbuild (the tool)] ocamlfind plugin should add -linkpkg for toplevel too (xclerc) - closed. - 0005144: [Camlp4] object copy syntax parsed wrong with camlp4of (xclerc) - closed. - 0005167: [Camlp4] camlp4r loops when printing package type (xclerc) - closed. - 0005248: [Camlp4] Single-digit int64 literals aren't parsed. (xclerc) - closed. - 0005139: [OCamlbuild (the tool)] add possibilité to customize ocamlbuild options (xclerc) - closed. - 0005331: [OCaml general] Makefile regression (xclerc) - closed. - 0005213: [OCamlbuild (the tool)] ocamldoc -rectypes (xclerc) - closed. - 0005228: [OCaml documentation] Filename.temp_file and Filename.open_temp_file (xclerc) - closed. - 0005229: [OCamlbuild (the tool)] TAG_LINE vs TAGLINE (xclerc) - closed. - 0005237: [OCaml general] ocamlopt for amd64 fails with binutils 2.21 (xleroy) - closed. - 0005262: [OCaml general] Big_int shifting and eq_big_int problems (xclerc) - closed. - 0005276: [OCaml general] bug in bytecode packing algorithm (xleroy) - closed. - 0005344: [OCaml general] Confusing exception printing (xclerc) - closed. - 0005335: [OCaml general] Unix.environment segfault after a call to clearenv (xclerc) - closed. - 0005134: [Camlp4] camlp4r differs from camlp4 -parser rp (xclerc) - closed. - 0005129: [Camlp4] camlp4of differs from camlp4 -parser of (xclerc) - closed. - 0005128: [Camlp4] typo in Camlp4ListComprehension (xclerc) - closed. - 0004992: [OCaml general] an ocamldep aware of files with other suffixes than .ml / .mli ? (xclerc) - closed. - 0005071: [Camlp4] "camlp4 -parser r -parser rp" accept original syntax, not equivalent to camlp4r (xclerc) - closed. - 0004937: [Camlp4] Bad interaction between camlp4o and optional arguments (xclerc) - closed. - 0004928: [Camlp4] wrong printing of method specifications (xclerc) - closed. - 0005118: [Camlp4] Camlp4o and integer literals (xclerc) - closed. - 0004820: [Camlp4] revised syntax pretty printer crashes with Stack_overflow (xclerc) - closed. - 0005122: [Camlp4] camlp4 incompatibility on module type lower_case_ident (ertai) - closed. - 0004702: [OCaml general] C-threads and callbacks (xleroy) - closed. - 0004767: [Camlp4] Camlp4 prints infinity (xclerc) - closed. - 0004732: [Camlp4] all uppercase polymorphic variants cannot be parsed when camlp4.macro is enabled (ertai) - closed. - 0004705: [Camlp4] Can't define types with `True or `False (xclerc) - closed. - 0004673: [Camlp4] camlp4 fails to preprocess correctly valid object oriented OCaml (xclerc) - closed. - 0004697: [OCaml general] unix_putenv leaks memory (xclerc) - closed. - 0004794: [OCaml general] Tail call annotations not filled in by ocamlopt (xclerc) - closed. - 0004959: [OCaml general] ocamlopt does not output tail-call info in .annot files (xclerc) - closed. - 0005156: [OCaml general] Toplevel runs into Assert_failure("typing/ctype.ml", 266, 23) (garrigue) - closed. - 0005110: [OCaml general] ocamldep -modules returns *predef* on optional arguments. (xclerc) - closed. - 0005115: [OCaml general] msvc64 port produces bytecode executables that don't work on 32-bit versions (xleroy) - closed. - 0005165: [OCamlbuild (the tool)] ocamlbuild does not provide "-thread" option to ocamlfind when compiling with ocamlfind (xclerc) - closed. - 0005103: [OCaml general] ocamlobjinfo is not installed when building with build/fastworld.sh (xclerc) - closed. - 0005095: [OCamlbuild (the tool)] pp(...) tag used for *.cmx but ignored for *.cmo (xclerc) - closed. - 0005065: [OCamlbuild (the tool)] ocamlbuild, option -ocamldoc is missing (xclerc) - closed. - 0005151: [OCaml documentation] -pthread is not supported by ocamlmklib (xclerc) - closed. - 0004967: [OCamlbuild (the tool)] ocamlbuild does not give correct switches to ocamldep when running menhir (xclerc) - closed. - 0004380: [OCamlbuild (the tool)] ocamlbuild should not use tput on windows (xclerc) - closed. - 0005039: [OCamlbuild (the tool)] Fix to findlib support and -linkpkg (xclerc) - closed. - 0005100: [OCamlbuild (the tool)] ocamlbuild always rebuilds .cmxs (xclerc) - closed. - 0005109: [OCaml general] Segmentation fault with a program compiled by OCaml 3.11.1, 3.11.2, 3.12.0beta1 (bytecode, native, Linux AMD64 and MacOS X) (xleroy) - closed. - 0004552: [OCamlbuild (the tool)] ocamlbuild does not create symlinks to executables when targets are invoked via *.itarget (xclerc) - closed. - 0004487: [OCaml general] Unable to override a value in a module type with ocamlc. (garrigue) - closed. - 0005188: [OCaml general] double free corruption with bytecode system threads and stack reallocation (xleroy) - closed. - 0005192: [OCaml general] wosize vs. real size in comballoc.ml (xleroy) - closed. - 0004972: [Camlp4] mkcamlp4 does not include dynlink.cma (xclerc) - closed. - 0005308: [OCaml general] unused variables not detected in "include (struct .. end)", with fix (doligez) - closed. - 0005258: [OCaml general] Unix fd leak under windows (doligez) - closed. - 0005280: [OCaml general] 64-bit accesses should be aligned on mips* (xleroy) - closed. - 0005281: [OCaml general] typo in error message reporting Need_recursive_types. - closed. - 0005272: [OCaml general] caml.el doesn't recognize downto as a keyword - closed. - 0005234: [OCaml general] ocamlopt -shared does not preserve order of -cclib options - closed. - 0005244: [OCaml general] String.compare uses polymorphic compare_val - closed. - 0005069: [OCaml general] caml_sys_open may block while holding runtime lock - closed. - 0005202: [OCaml documentation] bad documentation for atan2 - closed. - 0005175: [OCaml general] Bigarray “get” evaluates its argument twice - closed. - 0005177: [OCaml general] Gc.compact does implies Gc.full_major - closed. - 0005164: [OCaml general] Multiple 'module type of' are incompatible - closed. - 0005146: [OCaml general] Incorrect removals of unescaped end-of-lines in OCaml sources - closed. - 0005136: [OCaml general] caml-mode: string-to-int is obsolete since emacs 22.1 - closed. - 0005124: [OCaml general] Subsitution inside a signature leads to odd printing - closed. - 0005123: [OCaml general] Big_int.shift_right* methods never yield zero_big_int - closed. - 0005117: [OCaml general] build failure without HAS_MMAP on UNIX - closed. [94 issues]
OCaml - 3.12.0 (Released 2010-08-02) [ View Issues ] ==================================== - 0004738: [OCaml general] OCaml's distribution should provide a single build procedure - resolved. - 0002049: [OCaml general] include et application de foncteur - resolved. - 0005007: [OCaml general] building ocamlbrowser under windows fails (can't find Mutex) - closed. - 0004706: [Camlp4] No trailing semicolon allowed in list and array patterns (ertai) - closed. - 0004701: [OCaml general] Add dllibs information to objinfo output (xclerc) - closed. - 0004528: [OCaml general] Objinfo should print DLLs required by a .cma (xclerc) - closed. - 0004522: [Camlp4] Camlp4 erases unused optional arguments - closed. - 0004510: [OCaml typing] please report "module M not found" instead of "unbound value M.foo" - closed. - 0002737: [OCaml general] sig_of_struct - closed. - 0004648: [OCaml general] Syntax improvement for easier binding of record fields - closed. - 0005207: [OCamlbuild (the tool)] Syntax error in asmcomp/alpha/proc.ml - closed. - 0001441: [OCaml general] Inclusion d'une structure dans une signature - closed. - 0004974: [OCaml general] manque de verifications dans les .mli - closed. [13 issues]
OCaml - 3.12.0+beta1 or 3.12.0+rc1 (Released 2010-06-16) [ View Issues ] ======================================================== - 0005088: [OCaml general] ARCH_INT64_ALIGN incorrectly detected on linux / arm / gcc 4.4.3 (xleroy) - closed. - 0005089: [OCaml general] libbfd linking problems on Scientific Linux 5 systems (xleroy) - closed. - 0004651: [OCamlbuild (the tool)] Add a %.cmxs target for plugins (ertai) - closed. [3 issues]
- 0004276: [OCaml tools (ocaml{lex,yacc,dep,browser})] Written a more comprehensive and user-friendly objinfo. - resolved. - 0005033: [OCaml general] Make objinfo read all kind of objects (xleroy) - resolved. - 0004831: [OCaml documentation] Use the tag @since provided by ocamldoc (guesdon) - closed. - 0004964: [OCaml general] infix function names in .annot files (xclerc) - closed. - 0005012: [OCaml general] Bus error in 32-bit Snow Leopard OCaml-3.11.2-native-generated program (may be caused by Dynlink) - closed. - 0004807: [OCaml documentation] class initialization order (garrigue) - closed. - 0004874: [OCaml general] Str library: digits match \b (xleroy) - closed. - 0005017: [OCaml general] Negative number support for big_int bit manipulations (xleroy) - closed. - 0004894: [OCaml general] Windows (mingw): Unix.select and non-blocking sockets (gildor) - closed. - 0004973: [OCaml general] Failure "Unknown handle" (gildor) - closed. - 0004789: [OCaml general] Windows: Unix.select failing with EPIPE error (gildor) - closed. - 0004844: [OCaml general] Unix.select bug (triggered if linked against threads) (gildor) - closed. - 0003302: [OCaml general] Int64.of_string does not detect overflow from positive to negative ints - closed. - 0004876: [OCaml general] error in string to integers conversions (xclerc) - closed. - 0005008: [OCaml general] Stack smash(?) on Win64 causes C "float" function to return random results (xleroy) - closed. - 0004795: [OCaml general] -fPIC error with x86_64 (xleroy) - closed. - 0004996: [OCaml general] Subst.compose is coded wrongly. (xleroy) - closed. - 0005029: [OCaml general] ocamlopt generates code with unbound symbols on arm (xleroy) - closed. - 0005030: [OCaml general] ocamlopt generates duplicate symbols on arm (xleroy) - closed. - 0001784: [OCaml general] Segfault in threads library (xleroy) - closed. - 0004979: [OCaml general] win32: GetLastError and threads (xleroy) - closed. - 0005013: [OCaml general] Condition.broadcast may not wake up all threads in native Windows build (xleroy) - closed. - 0005016: [OCaml general] inf-caml.el globally overwrites comint-output-filter-function (remy) - closed. - 0004759: [OCaml general] March 28, 2009 CVS version won't bootstrap on Mac OS X Intel 64 (xleroy) - closed. - 0004638: [OCaml general] Provide expm1 and log1p (xleroy) - closed. - 0004641: [OCaml general] Bit manipulation for Big_int (xleroy) - closed. - 0003047: [OCaml general] Add Unix.setgroups (xleroy) - closed. - 0004210: [OCaml general] little bug in int_of_string (xleroy) - closed. - 0004245: [OCaml general] Integer conversions do not detect overflow in corner cases (xleroy) - closed. - 0005105: [OCaml general] Regression: changes to disable natdynlink for 32-bit OSX also disable using shared libraries - closed. - 0005081: [OCaml general] Checking of class type inclusion with arguments is broken (garrigue) - closed. - 0005075: [OCaml general] problem with optional arguments when defining a type with a "Some of <type>" constructor - closed. - 0004824: [OCaml general] Narrowing the type of class parameters with module specification (garrigue) - closed. - 0004862: [OCaml general] small bug in relaxed value restriction (garrigue) - closed. - 0004683: [OCaml general] labltk script : false paths (garrigue) - closed. - 0005060: [OCaml documentation] Typo in documentation - closed. - 0005052: [OCaml general] Makefile.shared don't use threads.cma for otherlibs/labltk/browser - closed. - 0004975: [OCaml general] Spelling errors - closed. - 0005041: [OCaml general] Make new build system work on *BSD - closed. - 0005055: [OCaml general] `head -1` will not work in some environments (doligez) - closed. - 0004819: [OCaml general] Type error on record declarations too hard to read (garrigue) - closed. - 0004478: [OCaml general] Type error message when constructors are mis-ordered could be clearer (garrigue) - closed. - 0005057: [OCaml general] fatal typing error with local module + functor + polymorphic variant - closed. - 0005054: [OCaml general] simple recursive value not accepted - closed. - 0005051: [OCaml general] tkanim removal for Windows - closed. - 0004857: [OCaml general] add a -vnum option (doligez) - closed. - 0005053: [OCamlbuild (the tool)] End-of-line for .sh script (especially in build/) (doligez) - closed. - 0004632: [OCaml general] Unix stub header files missing (xleroy) - closed. - 0004803: [OCaml documentation] Variant types in chapter "18 Interfacing C with Objective Caml" - closed. - 0004742: [OCaml general] Ocaml disables finalisation functions after an exception occured in one finalisation function call. (doligez) - closed. - 0005037: [OCaml general] 3.12.0+dev18: "module type of" produces unusable signatures for repeated definitions - closed. - 0005031: [OCaml general] in 3.12.0+dev18 (2010-04-20), cannot link with module Unix (doligez) - closed. - 0004716: [OCaml general] Improve error message "This expression has type foo but is used with type foo" (garrigue) - closed. - 0003601: [OCaml general] "type ... and ..." is not commutative (garrigue) - closed. - 0004534: [OCaml general] Confusing error message - closed. - 0005036: [OCaml general] 3.12.0+dev18: "module type of" leaves weak polymorphic types in module type - closed. - 0003013: [OCaml general] module_type_of_sig - closed. - 0004136: [OCaml general] Obscure compilation message error "Illegal permutation of structure fields" - closed. - 0004296: [OCaml general] compilation failed on module types with duplicated values - closed. - 0004884: [OCaml general] optional argument does not work when Some is redefined - closed. - 0004741: [OCaml general] utils/ccomp.ml orders -l flags before -L flags (xleroy) - closed. - 0004676: [OCaml general] Num module locks up in Win64 (xleroy) - closed. - 0004753: [OCaml documentation] Documentation of "polymorphic" variants is misleading (garrigue) - closed. - 0004541: [OCaml general] Crash when debugging a program that calls Unix.fork() - closed. - 0004971: [OCaml general] some minor bugs - closed. - 0004984: [OCaml general] Error in the num library - closed. - 0005025: [OCaml documentation] The manual says that lockf is not implemented for Win32 ports - closed. - 0005011: [OCaml general] labltk doesn't compile against Tcl/tk 8.6 (not yet releases) - closed. - 0005004: [OCaml general] Buffer.add_channel hangs - closed. - 0004949: [OCaml general] objinfo outputs C objects in wrong order - closed. - 0004954: [OCaml documentation] Missing Pervasive module in chapter 20 - closed. - 0004940: [OCaml general] Problem with end-on-line convention on bytecomp/bytelink.ml (doligez) - closed. - 0004941: [OCaml general] Physical Equality is not predictable - closed. - 0004911: [OCaml general] weird behaviour of underscore in pattern matching - closed. - 0004835: [OCaml general] None _ accepted as pattern match - closed. - 0004717: [OCaml general] Ocaml does not warn about invalid wildcard uses - closed. - 0004675: [OCaml general] Compiler fails to warn about pattern Top _ when Top is a 0-ary constructor - closed. - 0004664: [OCaml documentation] Documentation of Format.print_tab - closed. [78 issues]
OCaml - 3.11.2 (Released 2010-01-20) [ View Issues ] ==================================== - 0003827: [OCaml general] Le nouveau -pack a besoin des .cmi (lefessan) - resolved. - 0004861: [OCaml general] OS X Intel dmg for 3.11.1 installs ocaml which doesn't work on OS X 10.6 (doligez) - closed. - 0004988: [OCaml general] Contravariance lost with ocamlc -i (garrigue) - closed. [3 issues]
OCaml - 3.11.2+dev (Not Yet Released) [ View Issues ] ===================================== - 0004421: [OCamlbuild (the tool)] ocamlbuild uses wrong compiler for C files (ertai) - closed. - 0000123: [OCaml general] Pretty printer pour exceptions (xclerc) - closed. - 0004477: [OCaml general] Feature wish: custom exception printers (xclerc) - closed. - 0003456: [OCaml general] Obj module should provide binding for Double_field and Store_double_field macros (xclerc) - closed. - 0004685: [OCaml general] Please expose Filename.dir_sep (doligez) - closed. - 0004003: [OCaml general] Generation of temporary files in module Filename should be improved (xclerc) - closed. - 0004647: [OCaml general] [patch] provide Buffer.blit to avoid unnecessary allocation (xleroy) - closed. - 0004867: [OCaml general] ocamlopt -shared failed on Mac OS X 10.6 Snow Leopard (x86_64) - closed. - 0004847: [OCaml general] callback from C to CAML (frisch) - closed. - 0004922: [OCamlbuild (the tool)] Ocamlbuild recompiles too many files (ertai) - closed. - 0004873: [OCamlbuild (the tool)] .mltop and "thread" tag (xclerc) - closed. - 0004856: [OCamlbuild (the tool)] ocamlbuild: probleme avec l'option -ocamlrun (ertai) - closed. - 0004387: [OCamlbuild (the tool)] ocamlbuild doesn't use build directory properly (ertai) - closed. - 0004723: [OCamlbuild (the tool)] ocamlbuild plugins, provide a way to start with an empty set of rule (ertai) - closed. - 0004896: [OCamlbuild (the tool)] ocamlbuild should pass -I to ocamldoc for external libraries (ertai) - closed. - 0004890: [OCamlbuild (the tool)] OCamlbuild try to use native plugin on bytecode-only arch (xclerc) - closed. - 0004710: [OCamlbuild (the tool)] Ocamlbuild always rebuilds myocamlbuild.ml on Windows (ertai) - closed. - 0004720: [OCamlbuild (the tool)] Options.ext_dll is always "so" (ertai) - closed. - 0004813: [OCaml general] incorrect parsing of floating point literals (xleroy) - closed. - 0004955: [OCaml general] Type checker loops and aborts if recursive type expression is constrained (garrigue) - closed. - 0004970: [OCaml general] instance variables masked by values - closed. - 0004953: [OCaml general] When compiling for ARM/Thumb, ocamlrun segfaults during build. (xleroy) - closed. - 0004783: [OCaml general] ocamlmklib uses hardcoded path to ocamlc and ocamlopt (Windows native) - closed. - 0004750: [OCaml general] WSAStartup/WSACleanup high latency on Windows - closed. - 0004930: [OCaml general] Patch for 0004841 doesn't solve the problem on PowerPC processors - closed. - 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. [35 issues]
OCaml - 3.11.0 (Released 2009-01-14) [ View Issues ] ==================================== - 0001867: [OCaml general] Feature wish: representation des nats - resolved. - 0001284: [OCaml general] Fix offered for "illegal stream concatenation" in Stream - closed. - 0002372: [OCaml general] feature request: create and use shared libraries - closed. - 0001983: [OCaml general] RFE: ability to compile a native code OCaml library into an .so (w/o strict version checking) - closed. - 0001289: [OCaml general] Speed improvement Stream replacement - closed. - 0001561: [OCaml general] WISH: uncaught exception trace capture... (xclerc) - closed. - 0004639: [OCamlbuild (the tool)] ocamlbuild tries to delete _build/_log and fails and whole build fails (windows) (ertai) - closed. - 0004476: [OCaml general] Another exception printing bug (doligez) - closed. - 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. [15 issues]
OCaml - 3.11.1+dev (Not Yet Released) [ View Issues ] ===================================== - 0004740: [OCaml general] Int32.rem floating point exception (xleroy) - closed. - 0004690: [OCaml general] Bus error in caml_oldify_local_roots when using native dynamic loading on Mac OS 10.5 (xleroy) - closed. - 0004650: [OCaml general] regexp_case_fold does not work correctly with an exclusion set (xleroy) - closed. - 0004403: [OCaml general] ocamldebug does not support -pack'ed modules (xclerc) - closed. - 0004775: [OCaml general] compiler crashes on crazy types (garrigue) - closed. - 0004817: [OCaml general] Object type gives error "Unbound type parameter .." (garrigue) - closed. - 0004816: [OCaml general] module abbreviations remove 'private' type restrictions (garrigue) - closed. - 0003555: [OCaml general] .ocamldebug init file would be nice (xclerc) - closed. - 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. [31 issues]
- 0004141: [OCaml general] Bus error using doubly-linked, circular list with lazy evaluation (doligez) - closed. - 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. - 0004131: [OCaml general] File mLast.cmo cannot be installed (O'Caml 3.09.3) - closed. [6 issues]
