Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.03.0+dev (Not Yet Released) View Issues ]
=====================================
- 0006615: [OCaml general] 4.03: inconsistent printing and parsing of inline records (garrigue) - resolved.
- 0006585: [OCaml otherlibs] Memory leak inside win32unix/createprocess.c (frisch) - resolved.
- 0006593: [OCaml typing] Functor application in PR#6435 fail after commit 15405 (garrigue) - resolved.
- 0006577: [OCaml standard library] Performance of %Ld formats (frisch) - resolved.
- 0006517: [OCaml runtime system] It would be nice if <caml/*.h> didn't define types like "int64" - resolved.
- 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - resolved.
- 0006516: [Misc] Dubious code in testsuite (lefessan) - resolved.
- 0006501: [OCaml backend (code generation)] Implementing Z.of_int as %identity in Zarith (was: zarith sample code segfaults) - resolved.
- 0006590: [OCamlbuild (the tool)] Improve Windows (MSVC and mingw) build (doligez) - closed.
[9 issues]

OCaml - 4.02.2+dev (Not Yet Released) View Issues ]
=====================================

This is the current 4.02 branch. As a target release, it represents 4.02.2, which may or may not be released.

- 0006619: [OCaml documentation] Documentation for Printexc.register_uncaught_exception_handler could be improved (dim) - resolved.
[1 issue]

OCaml - 4.02.1+dev (Released 2014-10-01) View Issues ]
========================================
- 0005904: [OCaml general] -ppx could be made working in toplevel (frisch) - resolved.
- 0006588: [OCaml general] Unable to build Android cross-compiler with OCaml 4.02.0 (shinwell) - resolved.
- 0006557: [OCaml standard library] String.sub throws Invalid_argument("Bytes.sub") " - resolved.
- 0006602: [OCaml general] Fatal error when tracing a function with abstract type (garrigue) - resolved.
- 0006582: [OCaml general] Backport fix for 0005904 into 4.02.1 (frisch) - resolved.
- 0006592: [OCaml general] ocaml -ppx command a.ml seems not to call the command. (frisch) - resolved.
- 0006581: [OCaml typing] Some bugs in generative functor (garrigue) - resolved.
- 0006578: [OCaml standard library] Initialization of recursive module containing alias causes Segmentation fault (garrigue) - resolved.
- 0006572: [OCaml general] Fatal error with recursive modules (garrigue) - resolved.
- 0006566: [OCaml typing] -short-paths and signature inclusion errors (garrigue) - resolved.
- 0006564: [OCaml typing] infinite loop in Mtype.remove_aliases (garrigue) - resolved.
- 0006563: [OCaml typing] Inclusion of packs failing to run module initializers (garrigue) - resolved.
- 0006547: [OCaml general] __MODULE__ aborts the compiler/toplevel if the module name cannot be inferred (garrigue) - resolved.
- 0006554: [OCaml runtime system] Race condition in caml_get_raw_backtrace (shinwell) - resolved.
- 0006540: [OCaml documentation] stdlib/gc.mli and byterun/config.h disagree on the default size of the minor heap (dim) - resolved.
- 0006539: [OCaml runtime system] Gc.get () divides major_heap_increment by eight. (dim) - resolved.
- 0006529: [OCaml general] 4.02.0 compiles modules twice slower than 4.01 - resolved.
- 0006609: [OCaml general] Export Toploop.phrase (frisch) - closed.
- 0006562: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Fix ocamldebug module source lookup (doligez) - closed.
- 0006207: [OCaml internal build/install (Makefiles, configure)] Configure doesn't detect features correctly on Haiku (doligez) - closed.
- 0006530: [OCaml runtime system] Add stack overflow handling for native code (doligez) - closed.
- 0006181: [OCaml internal build/install (Makefiles, configure)] Improve MSVC build (doligez) - closed.
- 0006522: [OCaml general] double warning on (&) and (or) - closed.
- 0006536: [OCaml general] format "%#" rejected as legacy format - closed.
[24 issues]

OCaml - 4.02.0 (Released 2014-08-29) View Issues ]
====================================
- 0006374: [OCaml typing] A single wildcard for n-ary type constructors (frisch) - resolved.
[1 issue]

OCaml - 4.02.0+dev (Released 2014-06-25) View Issues ]
========================================
- 0006389: [OCaml backend (code generation)] [github patch] add an -opaque option to produce optimization-empty .cmx file for separate native compilation (gasche) - resolved.
- 0006064: [OCaml otherlibs] Expose a GADT representation for Bigarray.kind (gasche) - resolved.
- 0005851: [OCamlbuild (the tool)] Ocamlbuild cannot resolve dependencies when there are no _tags file (but can with an empty _tags file) (gasche) - resolved.
- 0006513: [OCaml typing] Fatal error: exception Ctype.Unify(_) (garrigue) - resolved.
- 0005949: [OCaml typing] [patch] Weak format checking (gasche) - resolved.
- 0006505: [OCaml typing] Missed Type-error leads to a segfault upon record access (garrigue) - resolved.
- 0006300: [OCamlbuild (the tool)] ocamlbuild -use-ocamlfind does not work together with -ocamlc switch (gasche) - resolved.
- 0005406: [OCamlbuild (the tool)] tag does not expect a parameter, but is used with parameter ... (gasche) - resolved.
- 0006484: [OCaml backend (code generation)] ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0 (shinwell) - resolved.
- 0006507: [OCaml backend (code generation)] arm64 crash when compiling coq (shinwell) - resolved.
- 0006510: [OCaml typing] Removal of shadowed constructors of extensible types can break the structure of definitions (lpw25) - resolved.
- 0006445: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] 4.02.0+dev: ocamlbuild fails to find ocamlfind.exe (doligez) - resolved.
- 0005939: [OCaml general] "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." (doligez) - resolved.
- 0006460: [OCaml runtime system] caml_make_array assumes small arrays (doligez) - resolved.
- 0006489: [OCaml backend (code generation)] caml_callback2 crashes on aarch64 (shinwell) - resolved.
- 0006476: [OCaml general] Attributes on class signatures (frisch) - resolved.
- 0006346: [OCaml internal build/install (Makefiles, configure)] Build failure with latest version of xcode on OSX (garrigue) - resolved.
- 0005412: [OCaml general] Combine subsequent Iconst_symbol instructions - resolved.
- 0006463: [OCaml general] No sane way to report invalid arguments from a ppx preprocessor (frisch) - resolved.
- 0006456: [OCaml standard library] [patch] Format parsing error when ending by '%' (frisch) - resolved.
- 0006418: [OCaml standard library] Conversion specifications and pretty-priinting indications (gasche) - resolved.
- 0006377: [OCaml general] -dsource assertion failure with attributes or extensions (lpw25) - resolved.
- 0006268: [OCaml internal build/install (Makefiles, configure)] -DMODEL_$(MODEL) not passed when building .p.o - resolved.
- 0006211: [OCaml backend (code generation)] An unexpected behavior in toplevel: combination of consecutive let bindings and exceptions - resolved.
- 0006319: [OCaml windows] Cygwin's chmod broken on Windows 8.1, breaks ``make world`` (shinwell) - resolved.
- 0006451: [OCaml general] untypeast.ml does not correctly untype ASTs. (frisch) - resolved.
- 0002719: [OCaml general] Problem in the Mac OS X compiler [PPC code generator] - resolved.
- 0006283: [OCaml backend (code generation)] [aarch64] ocamldoc fails to link with multiple errors: relocation truncated to fit: R_AARCH64_LDST64_ABS_LO12_NC - resolved.
- 0006388: [OCaml general] Error messages for 1-tuples are confusing (frisch) - resolved.
- 0005854: [OCaml general] Add a deprecated warning (frisch) - resolved.
- 0006038: [OCaml runtime system] segmentation fault in native function built by clang (misaligned stack) (xleroy) - resolved.
- 0006446: [OCaml typing] "Unused stuff" warnings broken in presence of multiple values with the same name (frisch) - resolved.
- 0006196: [OCaml internal build/install (Makefiles, configure)] 32-bit build on OS X fails (shinwell) - resolved.
- 0006232: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Enable mkstemp in yacc (shinwell) - resolved.
- 0006355: [OCaml documentation] Improve documentation of finalizers & multithreading (shinwell) - resolved.
- 0006439: [OCaml general] Warnings on OS X when compiling 4.02.0+beta1 (Xcode 5.1.1) (shinwell) - resolved.
- 0006443: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Ocaml segfault when List.fold_left is traced then executed (garrigue) - resolved.
- 0006417: [OCaml general] sprintf broken when local module named Pervasives is in scope (garrigue) - resolved.
- 0006442: [OCaml backend (code generation)] Incorrect propagation of -0. - resolved.
- 0006063: [OCaml typing] Simplify the typing of module aliases (garrigue) - resolved.
- 0006293: [OCaml typing] Assert_failure("typing/typecore.ml", 264, 4) (gasche) - resolved.
- 0006436: [OCaml documentation] Typos in @deprecated text in stdlib/arrayLabels.mli (doligez) - resolved.
- 0006435: [OCaml backend (code generation)] segfault with shadowing/include (garrigue) - resolved.
- 0006427: [OCaml typing] Soundness bug involving unpacking, functors and abstract module types (garrigue) - resolved.
- 0006333: [OCaml typing] Keep equation on module type while strengthening (garrigue) - resolved.
- 0006415: [OCaml standard library] 4.02.0dev+trunk: Format module doesn't understand @[<b 4>@] anymore (gasche) - resolved.
- 0006419: [OCaml typing] trunk/4.02 - Unexpected/incorrect "contains type variables that cannot be generalized" (gasche) - resolved.
- 0006318: [OCaml general] Extend try with "success" handling (frisch) - resolved.
- 0006420: [OCaml typing] Bad error message for non-exhaustive matching on extensible types (garrigue) - resolved.
- 0006413: [OCaml standard library] Ast_mapper should display a more helpful message on version mismatch (frisch) - resolved.
- 0006017: [OCaml standard library] A new format implementation based on GADTs (gasche) - resolved.
- 0006361: [OCaml standard library] Hashtbl.hash does not terminate on recursive lazy value - resolved.
- 0006405: [OCaml typing] unsound interaction of -rectypes and GADTs (garrigue) - resolved.
- 0006410: [OCaml general] Error message for an attempt to use a functor as a module is confusing (garrigue) - resolved.
- 0006302: [OCaml runtime system] Very slow backtraces in bytecode : debug infos read from the filesystem everytime (jacques-henri.jourdan) - resolved.
- 0006394: [OCaml typing] Assertion failed in Typecore.expand_path (garrigue) - resolved.
- 0006397: [OCaml general] Token += can no longer be used in expression (lpw25) - resolved.
- 0006219: [OCaml typing] Existential types for exceptions (yallop) - resolved.
- 0005584: [OCaml general] Open Extensible Types (garrigue) - resolved.
- 0006387: [OCaml general] Parsetree.row_field.Rtag should contain attributes (frisch) - resolved.
- 0006385: [OCaml runtime system] CLOSURE opcode tries to allocate large objects on the minor heap - resolved.
- 0006042: [OCaml backend (code generation)] Integer division by constants - resolved.
- 0006386: [OCaml general] Odd precedence of [%x] (frisch) - resolved.
- 0006384: [OCaml typing] Uncaught Not_found exception with a hidden .cmi file (garrigue) - resolved.
- 0006383: [OCaml typing] Uncaught exception Not_found when compiling a file. (garrigue) - resolved.
- 0006119: [OCaml general] wrong sharing of data between closures in bytecode (frisch) - resolved.
- 0006273: [OCaml standard library] Sys.file_exists returns false on large files (frisch) - resolved.
- 0006376: [OCaml typing] Destructive module substitution allows module aliases to extended paths (garrigue) - resolved.
- 0005040: [OCaml general] The default exception handler doesn't use functions registered with Printexc.register_printer (dim) - resolved.
- 0005941: [OCaml runtime system] OCaml handler for uncaught exception (dim) - resolved.
- 0005377: [OCaml general] toplevel should provide an option to limit recursion when printing nested modules (garrigue) - resolved.
- 0006371: [Camlp4] Unable to compile camlp4 39af3807183e on 4.02.0+dev4-2014-04-03 (garrigue) - resolved.
- 0006365: [OCaml typing] "with module" may introduce module alias in signature, this breaks Coq (garrigue) - resolved.
- 0006025: [OCaml typing] confusing error message for private row types without a row variable (garrigue) - resolved.
- 0006348: [OCaml typing] Consider replication definitions when refining types (garrigue) - resolved.
- 0006159: [OCaml typing] Non backward compatible change in type comparison (garrigue) - resolved.
- 0006352: [OCaml typing] Automatic removal of optional arguments and sequencing (garrigue) - resolved.
- 0006359: [OCaml backend (code generation)] not merged equal pattern matching branches (maranget) - resolved.
- 0006315: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [github patch] extend ocamllex with actions before refilling (gasche) - resolved.
- 0006350: [OCaml typing] The compilation really takes time in some cases with ocaml trunk (4.02) (garrigue) - resolved.
- 0006260: [OCaml backend (code generation)] Unnecessary boxing in [let] (frisch) - resolved.
- 0006269: [OCaml backend (code generation)] [PATCH] Optimization of pattern-matching on strings (maranget) - resolved.
- 0006184: [OCamlbuild (the tool)] the tag predicate(…) isn't supposed to be used with ocamldep (gasche) - resolved.
- 0006187: [OCamlbuild (the tool)] Add a warning when using -plugin-tag(s) without myocamlbuild.ml (gasche) - resolved.
- 0006349: [OCaml typing] The library ocamlbuild launches the ocamlbuild program on trunk (gasche) - resolved.
- 0005779: [OCaml backend (code generation)] static data structures allocated on the GC heap (frisch) - resolved.
- 0006345: [OCaml backend (code generation)] Better compilation of optional arguments with default values (frisch) - resolved.
- 0006308: [OCaml typing] Error message not properly located (or phrased) with or-pattern (frisch) - resolved.
- 0005573: [OCaml backend (code generation)] Access to values in nested modules (frisch) - resolved.
- 0005537: [OCaml backend (code generation)] reducing repeated indirections to access variables in nested modules (frisch) - resolved.
- 0006343: [OCaml backend (code generation)] Making better use of extra slots in the symbol corresponding to the current unit (frisch) - resolved.
- 0006307: [OCaml typing] Behavior of 'module type of' w.r.t. module aliases (garrigue) - resolved.
- 0006337: [OCaml backend (code generation)] Constants emitted several times (frisch) - resolved.
- 0006331: [OCaml typing] `is_fixed_type` does not take account of nested aliases (garrigue) - resolved.
- 0006311: [OCaml typing] Improve signature mismatch error messages (frisch) - resolved.
- 0006310: [OCamldoc] ocamldoc super/subscript style is an unreadable 4 pixels (guesdon) - resolved.
- 0006303: [OCaml typing] Types not inferred properly for fields on record overrides (garrigue) - resolved.
- 0004323: [OCaml general] Big_int and Num "of_string" functions do not work with hexadecimal literals (gasche) - resolved.
- 0005905: [OCaml typing] Allow to define explicit "impure" (i.e. generative) functors (garrigue) - resolved.
- 0006246: [OCaml general] `for _ = e1 to e2` syntax is not allowed (frisch) - resolved.
- 0006180: [OCaml backend (code generation)] Efficient creation of float arrays (frisch) - resolved.
- 0005935: [OCaml general] A faster version of "raise" which does not maintain the backtrace (frisch) - resolved.
- 0005009: [OCaml general] Extending exception tag blocks (frisch) - resolved.
- 0004765: [OCaml general] Structural equality should treat exception specifically (frisch) - resolved.
- 0006203: [OCaml backend (code generation)] Lifting allocation of constant exception constructors? (frisch) - resolved.
- 0006193: [OCaml typing] Incorrect warning 12 for character ranges (frisch) - resolved.
- 0006190: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Bad name on ocamllex usage (frisch) - resolved.
- 0005817: [OCaml general] Keeping locations in cmi files (frisch) - resolved.
- 0006182: [OCaml typing] Better message for invalid uses of "virtual" (frisch) - resolved.
- 0006132: [OCamlbuild (the tool)] [patchset RFC] reorganize the ocamlbuild testsuite (gasche) - resolved.
- 0006148: [OCaml standard library] Simple improvements to speed of Buffer module (frisch) - resolved.
- 0004243: [OCaml general] Dependencies are missing in Makefiles (doligez) - resolved.
- 0004719: [OCaml windows] Sys.executable_name is wrong if executable name contains dots (frisch) - resolved.
- 0006226: [OCaml internal build/install (Makefiles, configure)] ocaml does not build on FreeBSD 10/amd64 (shinwell) - closed.
- 0006515: [OCaml documentation] Is nativeint intended to have the same width as a pointer or a long? - closed.
- 0004771: [OCaml general] Dynlink.allow_only should call default_available_units or docs should be updated - closed.
- 0006142: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] add cmt file support to ocamlobjinfo - closed.
- 0006051: [OCaml documentation] Document which Sys function raise Sys_error - closed.
- 0006453: [OCaml documentation] It should be documented that Lexer.set_preprocessor receives EOL tokens - closed.
- 0006406: [OCaml runtime system] Expose OCaml version in C headers (doligez) - closed.
- 0006298: [OCaml documentation] OCAMLRUNPARAM=a missing from manual (shinwell) - closed.
- 0006280: [OCaml documentation] undocumented exception in Unix.lockf - closed.
- 0005841: [OCaml documentation] Omitted information concerning exceptions that could be raised. - closed.
- 0006469: [OCaml general] -dsource prints Pervasives.(!) as Pervasives.! - closed.
- 0006459: [OCaml standard library] [patch] Dependency problem to CamlinternalFormat in StdlibModules (garrigue) - closed.
- 0006168: [OCaml documentation] Omitted information concerning exceptions that could be raised. - closed.
- 0006332: [OCaml windows] Unix.open_process fails to pass empty arguments (doligez) - closed.
- 0006408: [OCaml general] Optional arguments given as ~?arg instead of ?arg in message - closed.
- 0006407: [OCaml standard library] No equivalent to Pervasives.(^) for Bytes - closed.
- 0006399: [OCaml general] No way for a preprocessor to communicate an error properly (frisch) - closed.
- 0006173: [OCaml general] Typing error message is worse that before (garrigue) - closed.
- 0006351: [OCaml backend (code generation)] [PATCH] minor fix in arm64 backend for new raise instructions (gasche) - closed.
- 0006208: [OCaml standard library] Hashtbl.reset @since 4.00.0 - closed.
- 0006328: [OCaml windows] ocamlyacc under Windows: bad support for temporary files (frisch) - closed.
- 0006185: [Caml web site] Lien incorrect (doligez) - closed.
- 0006245: [OCaml documentation] Minor inconsistencies between related signatures - closed.
- 0006253: [OCaml documentation] Interfacing C with OCaml Document - closed.
- 0006231: [OCaml general] Typos (frisch) - closed.
[138 issues]

OCaml - 4.02.0+beta1 / +rc1 (Released 2014-05-21) View Issues ]
=================================================
- 0006482: [OCamlbuild (the tool)] ocamlbuild fails with Sys_error if there is a _tags file anywhere inside an ignored (unhygienic) directory (gasche) - resolved.
- 0004995: [OCaml general] calls to stat() don't release the runtime lock (shinwell) - resolved.
- 0006398: [OCaml general] Toplevel should have a #ppx directive (shinwell) - resolved.
- 0001231: [OCaml general] Feature wish: better pretty-printing for cyclic values (shinwell) - resolved.
- 0006228: [OCaml general] Toplevel printer does not detect cycles (shinwell) - resolved.
- 0006421: [OCaml typing] Format: %(...%)-heavy code no longer compiles with trunk (gasche) - resolved.
[6 issues]

OCaml - 4.01.1+dev (Released 2013-09-12) View Issues ]
========================================
- 0006276: [OCaml runtime system] BLocking stubs not releasing the runtime in stdlib and unix (dim) - resolved.
- 0006267: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [PATCH] Include more useful information in ocamldebug "bt" (xclerc) - resolved.
- 0006183: [OCaml standard library] Unix.shutdown_connection should be commented with more details (xclerc) - resolved.
- 0006233: [OCaml general] Incomplete native backtraces on armel - resolved.
- 0006277: [OCaml backend (code generation)] Compiler crash when turning on -unsafe option. - resolved.
- 0006216: [OCaml backend (code generation)] inlining of GADT matches generates invalid assembly (xleroy) - resolved.
- 0006275: [OCaml typing] Soundness bug related to type constraints (garrigue) - resolved.
- 0006071: [OCaml general] ocaml (toplevel) should have a -no-init option (gasche) - resolved.
- 0006243: [Misc] Coq doesn't compile in debug mode - resolved.
- 0006239: [OCaml general] make world.opt seems to crash on tip of trunk on up-to-date OS X - resolved.
- 0006241: [OCaml typing] Assumed inequality between paths involving functor arguments (garrigue) - resolved.
- 0006240: [OCaml typing] Strange error with abstract module types and functors (garrigue) - resolved.
- 0006235: [OCaml typing] Issue with type information flowing through a variant pattern (garrigue) - resolved.
- 0006174: [OCaml general] OCaml compiler loops on an example using GADTs (garrigue) - resolved.
- 0006194: [OCaml general] Incorrect warning about unused match cases with first-class modules in patterns (garrigue) - resolved.
- 0006116: [OCaml standard library] more efficient Digest.to_hex (gasche) - resolved.
- 0006165: [OCaml windows] Alterations to handling of \013 in source files breaking other tools - closed.
[17 issues]

OCaml - 4.01.0 (Released 2013-09-12) View Issues ]
====================================
- 0005774: [OCaml backend (code generation)] [patch] detect and optimise endiannes conversion with bswap (chambart) - resolved.
- 0005769: [OCaml backend (code generation)] [patch] allow propagation of Sys.big_endian in native code (chambart) - resolved.
[2 issues]

OCaml - 4.01.0+beta/+rc (Released 2013-08-15) View Issues ]
=============================================

version 4.01.0 beta and release candidate

- 0006156: [OCaml general] OCAMLCOMPPARAM is documented in Changes, but it should be OCAMLPARAM (gasche) - resolved.
[1 issue]

OCaml - 4.01.0+dev (Released 2012-10-06) View Issues ]
========================================
- 0005886: [OCaml runtime system] Small changes to compile for Android (meurer) - resolved.
- 0005343: [OCaml general] ocaml -rectypes is unsound wrt module subtyping (garrigue) - resolved.
- 0005980: [OCaml general] Maybe a new warning for M.() notation ? (frisch) - resolved.
- 0006163: [OCaml typing] Fatal error: exception Assert_failure("typing/ctype.ml", 1891, 19) (garrigue) - resolved.
- 0006158: [OCaml typing] "Fatal error: types should not include variables" (garrigue) - resolved.
- 0006005: [OCaml typing] Obj.magic with recursive modules (garrigue) - resolved.
- 0005612: [OCaml documentation] Rationalize spacing and parenteses use in the tutorial part of the manual (doligez) - resolved.
- 0006084: [OCaml runtime system] Wish: configure ocaml so that old caml_modify is used - resolved.
- 0006123: [OCaml typing] Assert_failure("typing/ctype.ml", 359, 6) (garrigue) - resolved.
- 0006131: [OCaml backend (code generation)] Ref: ID 0005910 - same error at different location in code for haxe compile (meurer) - resolved.
- 0005565: [OCaml documentation] Typing errors in the examples of the "Format mini-guide" on the website - resolved.
- 0005721: [OCaml backend (code generation)] patch to use frame pointer to profile code with Linux perf tools (lefessan) - resolved.
- 0004920: [OCaml documentation] example of linking C main with OCaml runtime needs additional libraries - resolved.
- 0005149: [OCamldoc] various problems in the ocaml documentation (guesdon) - resolved.
- 0006058: [OCamlbuild (the tool)] 'ocamlbuild -use-ocamlfind -tag thread -package threads t.cma' fails (gasche) - resolved.
- 0005568: [OCaml otherlibs] Unix.open_flag lacks O_CLOEXEC - resolved.
- 0006117: [OCaml typing] Confusing wording in error message - resolved.
- 0004788: [OCaml general] Highly misleading error message - resolved.
- 0004743: [OCaml documentation] About generational global roots in the manual - resolved.
- 0005350: [OCaml general] Check return codes everywhere - resolved.
- 0006090: [OCaml typing] Module constraint + private type seems brocken in ocaml 4.01.0 (garrigue) - resolved.
- 0006104: [OCaml general] wrong warning 37 with private types (gasche) - resolved.
- 0003121: [OCaml general] toplevel to provide #use like command with #load semantics (gasche) - resolved.
- 0005825: [OCaml general] Toplevel: please add a primitive to compile a file test.ml as a module Test. (meyer) - resolved.
- 0005723: [OCaml general] add environment variables to control compiler options (meyer) - resolved.
- 0005802: [OCaml typing] Avoiding "let" as a value name (garrigue) - resolved.
- 0005739: [OCaml standard library] Printf.printf "%F" (-.nan) returns -nan - resolved.
- 0006073: [OCaml general] Add signature to Tstr_include (frisch) - resolved.
- 0006072: [OCaml internal build/install (Makefiles, configure)] configure does not handle FreeBSD current (i.e. 10) correctly, leading to build failures - resolved.
- 0005815: [OCaml typing] Multiple exceptions in signatures gives an error (garrigue) - resolved.
- 0006021: [OCamldoc] [patch] document the "const:" and "recfield:" cross-reference syntaxes (guesdon) - resolved.
- 0005872: [OCaml standard library] Performance: Buffer.add_char is not inlined - resolved.
- 0005803: [OCaml standard library] Format.fprintf does not support string substitution - resolved.
- 0004595: [Camlp4] Characters location of @here are not correct - resolved.
- 0004363: [Camlp4] map and fold filters don't handle polymorphic variant extension - resolved.
- 0005571: [OCaml general] Incorrect ordinal number in error message (frisch) - resolved.
- 0005770: [OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - resolved.
- 0006056: [OCaml typing] [non-expansivity issue] Using 'match' prevents generalization [of values], even though using 'if' allows it (garrigue) - resolved.
- 0005771: [OCaml backend (code generation)] [patch] add primitives for directly reading 2, 4 or 8 bytes in strings and char bigarrays (lefessan) - resolved.
- 0005914: [OCaml typing] Functor breaks with an equivalent argument signature (garrigue) - resolved.
- 0006044: [OCaml general] enabling frame pointers breaks build on MacOS X (lefessan) - resolved.
- 0005861: [Camlp4] Camlp4 accepts multiple private keywords (hongboz) - resolved.
- 0005811: [Misc] Untypeast produces singleton tuples for constructor patterns with only one argument (frisch) - resolved.
- 0005178: [OCaml general] Compile a 32-bit version of OCaml on a 64-bit linux OS - resolved.
- 0006035: [OCaml typing] Multiple declarations of the same method in the same object should be rejected (frisch) - resolved.
- 0005885: [OCamlbuild (the tool)] Incorrect rule for compiling C stubs when shared libraries are not supported (meyer) - resolved.
- 0005755: [OCamlbuild (the tool)] Implement a test suite for ocamlbuild (meyer) - resolved.
- 0005686: [OCamlbuild (the tool)] .itarget does not work (meyer) - resolved.
- 0005653: [OCamlbuild (the tool)] unnecessary rebuild for some rules (meyer) - resolved.
- 0004592: [OCamlbuild (the tool)] .mlpack dependencies not considered while building? (meyer) - resolved.
- 0003679: [OCaml general] Warning display problems (lefessan) - resolved.
- 0006031: [OCaml general] segfault in camomile with frame pointers enabled (lefessan) - resolved.
- 0006033: [OCaml backend (code generation)] [patch] Matching.inline_lazy_force need eta expansion - resolved.
- 0005795: [OCaml backend (code generation)] [patch] Generate sqrtsd opcode instead of external call to sqrt on amd64 (lefessan) - resolved.
- 0005976: [OCaml runtime system] Illegal recovery of 2 stack overflows with ocamlopt in Mac OS (xleroy) - resolved.
- 0005580: [OCaml backend (code generation)] Inlining misses some simple simplifications (xleroy) - resolved.
- 0006030: [OCaml typing] Dramatic performance increase when compiling with annotations (frisch) - resolved.
- 0005982: [OCaml runtime system] caml_leave_blocking section and errno corruption (dim) - resolved.
- 0006004: [OCaml typing] Type information does not flow to "inherit" parameters (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.
- 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.
- 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.
- 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.
- 0006157: [OCaml general] open! M is not documented in Changes - closed.
- 0005435: [OCamlbuild (the tool)] ocamlbuild does not find .opt executables on Windows (protz) - closed.
- 0005392: [OCaml windows] Windows Start menu shortcuts are invisible to limited users. (protz) - closed.
- 0005499: [OCaml windows] Problem including <caml/socketaddr.h> (protz) - closed.
- 0005833: [OCaml documentation] README.win32 can leave the wrong flexlink in the path (doligez) - closed.
- 0006109: [OCamlbuild (the tool)] Typos in ocamlbuild error messages (meyer) - closed.
- 0006026: [OCamldoc] ocamldoc syntax error on <code> (guesdon) - closed.
- 0004812: [OCaml general] Add extern int code_of_unix_error (value error); - closed.
- 0004138: [OCaml documentation] Documentation for Unix.mkdir - closed.
- 0004013: [OCaml general] feature wish: define CAML_NAME_SPACE per default - closed.
- 0006074: [OCaml runtime system] Wrong error message for failing Condition.broadcast - closed.
- 0005945: [OCaml runtime system] Mix-up of Minor_heap_min and Minor_heap_max units (doligez) - closed.
- 0006008: [OCamldoc] Document the behaviour of 0004915 (guesdon) - closed.
- 0005988: [OCaml documentation] -impl is a valid flag for ocamlopt - closed.
- 0005765: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamllex doesn't preserve line directives - closed.
- 0004485: [OCaml general] Keyboard events incorrectly delivered to Graphics module's polling routines when compiled natively - closed.
- 0004469: [OCaml general] emacs mode : caml-set-compile-command is annoying (doligez) - closed.
- 0005704: [OCaml backend (code generation)] cmx magic numbers have not been changed for a while - closed.
- 0004096: [OCaml general] "step 0 Load the program and stop on the first event" semble faux - closed.
- 0005974: [OCaml documentation] str regexp documentation - closed.
- 0005827: [OCaml standard library] provide a dynamic command line parsing mechanism (doligez) - closed.
- 0003963: [OCaml general] Graphics.wait_next_event in Win32 hangs if window closed. - closed.
- 0005098: [OCaml general] creating module values may lead to memory leaks - closed.
- 0006024: [OCaml standard library] Syntax for printing @ using Format is completely incompatible between OCaml 3.12.1 and OCaml 4.00.1+dev - closed.
- 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,debug})] 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.
[129 issues]

OCaml - 4.00.2+dev (Released 2012-10-05) View Issues ]
========================================
- 0005910: [OCaml backend (code generation)] assembler complains of invalid code (meurer) - resolved.
- 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.
- 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]

OCaml - 4.00.1 (Released 2012-10-05) View Issues ]
====================================
- 0006164: [OCaml otherlibs] segmentation fault on Num.power_num (lefessan) - resolved.
[1 issue]

OCaml - 4.00.1+dev (Released 2012-07-26) View Issues ]
========================================
- 0005700: [OCaml backend (code generation)] native binaries crash in top-level exception handler - resolved.
- 0005731: [OCaml backend (code generation)] Register d7 trampled by float_of_int (meurer) - resolved.
- 0005761: [OCaml otherlibs] Incorrect bigarray custom block size (xleroy) - resolved.
- 0005742: [OCaml standard library] no bound checks anymore on some array operations - resolved.
- 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,debug})] tools/untypeast.ml creates unary Pexp_tuple (lefessan) - resolved.
- 0005563: [OCaml otherlibs] Caml.Unix.select doesn't bounds-check file-descriptor integer - resolved.
- 0005735: [OCaml general] %revapply and %apply do not work properly unless they are fully applied. (lefessan) - resolved.
- 0005757: [OCaml runtime system] GC compaction bug (doligez) - closed.
- 0005758: [OCaml general] Compiler bug when matching on floats (maranget) - closed.
- 0005738: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] 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,debug})] ocamlyacc generates code that is not warning 33-compliant (doligez) - closed.
[13 issues]

OCaml - 4.00.0 (Released 2012-07-26) View Issues ]
====================================
- 0005578: [OCaml windows] Windows: Exception raised when reading from a socket - resolved.
- 0003662: [OCaml general] more helpful error message with incompatible .cmis (gasche) - resolved.
- 0005290: [OCaml general] Hashing of custom blocks (xleroy) - resolved.
- 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.
[9 issues]

OCaml - 4.00.0+beta2/+rc1 (Released 2012-06-06) View Issues ]
===============================================

The beta(s) and release candidates of 4.00.0

- 0005644: [OCaml standard library] Stream.count broken when used with Sapp or Slazy nodes (gasche) - resolved.
- 0005692: [Camlp4] regression: end locations wrong in camlp4 ast (dim) - resolved.
- 0005691: [OCaml general] #install_printer gives error in 4.0X (doligez) - resolved.
- 0005433: [OCaml general] New ARM backend (meurer) - closed.
- 0005654: [OCaml general] self pattern variable location tweak for OCaml 4.00.0 beta (garrigue) - closed.
[5 issues]

OCaml - 4.00.0+dev (Released 2012-03-12) View Issues ]
========================================

The 4.00.0 development branch (previously known as 3.13.0).

Marked as released to remove it from the roadmap page.

- 0005598: [OCaml general] Incompatibility between ocamllex and compiler (doligez) - resolved.
- 0005603: [OCaml backend (code generation)] ocamlopt generates wrong assembly file number with multiple files. - resolved.
- 0005671: [OCaml runtime system] missing initializer in caml_final_custom_operations - resolved.
- 0005597: [OCaml runtime system] register names for instrtrace primitives when using embedded bytecode library (meyer) - resolved.
- 0005696: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldep -native does not print bytecode deps and confuses omake (lefessan) - resolved.
- 0005215: [OCaml general] Serialization of dynlinked closure - resolved.
- 0005214: [OCamlbuild (the tool)] ocamlfind plugin invokes 'cut' utility (xclerc) - resolved.
- 0005682: [OCaml general] In Typemod.type_implementation: cmt file is created in case of typing error, even in print_types or dont_write_files mode (lefessan) - resolved.
- 0004319: [OCaml general] Feature request: -dtypes preserve type variables names from annotations (garrigue) - resolved.
- 0005627: [OCaml backend (code generation)] Cannot compile lablgtk2 (Fabrice) - resolved.
- 0005679: [OCaml internal build/install (Makefiles, configure)] make opt fails on pervasives.cmx on (old?) MacOS (lefessan) - resolved.
- 0005666: [Incoming] C includes don't provide a revision number - resolved.
- 0005398: [OCaml windows] Inadequate exception thrown when creating IPv6 socket on win32/msvc (protz) - resolved.
- 0005655: [OCamlbuild (the tool)] ocamlbuild doesn't pass cflags to ocaml compilers when building C stubs (xclerc) - resolved.
- 0005647: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Cannot use install_printer in debugger (xclerc) - resolved.
- 0005637: [Camlp4] Printer does not agree with parser for anonymous type parameters in type definitions in revised syntax (xclerc) - resolved.
- 0005651: [Camlp4] printer for abstract data type (xclerc) - resolved.
- 0005668: [Camlp4] Camlp4 produces invalid syntax for "let _ = ..." (dim) - resolved.
- 0005633: [Camlp4] Camlp4Ast.ml takes very long to compile (garrigue) - resolved.
- 0005643: [OCaml internal build/install (Makefiles, configure)] 4.00.0+beta2 fails to compile with llvm/clang 3.1 on OS X - resolved.
- 0005646: [Camlp4] Camlp4 Printer for escaped string (dim) - resolved.
- 0005636: [OCaml internal build/install (Makefiles, configure)] pthread_atfork symbol not linked correctly when using glibc - resolved.
- 0005555: [OCaml standard library] Hashtbl.remove/clear never shrink the internal bucket array (lefessan) - resolved.
- 0005632: [OCaml typing] Broken "unused type" cases in the developer tree with := type substitutions (frisch) - resolved.
- 0005080: [Camlp4] type application in quotations (xclerc) - resolved.
- 0005104: [Camlp4] extra TySum constructors arise from <:ctyp< >> in original syntax (xclerc) - resolved.
- 0005389: [OCaml general] GC fails to collect large array (doligez) - resolved.
- 0005586: [OCaml otherlibs] Wish: Increase UNIX_BUFFER_SIZE (frisch) - resolved.
- 0005616: [OCaml documentation] Please claritfy license and copyright holders of ocamlbuild/manual/* - resolved.
- 0004653: [OCaml general] Install utils/config.cmi so OCaml programs can query their environment (xleroy) - resolved.
- 0001804: [OCaml general] "make install" should install interface files for toploop-manipulation modules (xleroy) - resolved.
- 0002415: [OCaml general] feature request - Haskell's $ operator (lefessan) - resolved.
- 0005305: [OCamlbuild (the tool)] ocamlbuild creates link for some files in .itarget (lefessan) - resolved.
- 0005610: [OCaml runtime system] Updating of object ids in intern.c is broken (meyer) - resolved.
- 0005084: [OCamlbuild (the tool)] sub-sub-module building fails for native code compilation (protz) - resolved.
- 0005311: [OCaml general] Warning 23 message is confusing (doligez) - closed.
- 0005599: [OCamlbuild (the tool)] add flag to control warnings by numbers (meyer) - closed.
- 0005604: [OCamlbuild (the tool)] _log file has different permissions than the other _build/* files (dim) - closed.
- 0005318: [OCaml general] segfault on stack overflow when reading marshaled data (meyer) - closed.
- 0005582: [OCaml otherlibs] Bogus dependencies in otherlibs/graph - closed.
- 0005572: [OCaml standard library] Hashtbl is vulnerable to collision-based DOS attack (CVE-2012-0839) (xleroy) - closed.
- 0003571: [OCaml general] mmaped bigarrays over NFS - closed.
- 0005463: [OCaml general] map_file fails to map to empty bigarray - closed.
- 0004866: [OCaml documentation] Module Ratio - closed.
- 0005295: [OCaml general] Systhreads bug - closed.
- 0005415: [OCaml documentation] Obtaining an OCaml closure from C (xleroy) - closed.
- 0005397: [OCaml general] Filename.temp_dir_name should be mutable (frisch) - closed.
- 0005553: [OCaml typing] Type checker output contains type variable with suprising name in 3.13.0+dev11 (garrigue) - closed.
- 0004892: [OCaml general] 'index out of bound' check too early? - closed.
- 0004292: [OCamldoc] various documentation problems - closed.
- 0005619: [OCaml general] Uncuaght CType.Unify exception (garrigue) - closed.
- 0005689: [OCaml typing] Problem with GADTs and polymorphic variants (garrigue) - closed.
- 0005575: [OCaml standard library] Random states are not marshallable across architectures (doligez) - closed.
- 0005694: [OCaml typing] Exception raised by type checker (garrigue) - closed.
- 0005659: [OCaml windows] ocamlmklib's -L option does not work as expected with Microsoft Visual C compiler - closed.
- 0005137: [OCaml general] caml-types-explore does not work (doligez) - closed.
- 0005218: [OCaml general] use $(MAKE) instead of "make" in Makefiles (doligez) - closed.
- 0005677: [OCaml general] reserve value as a keyword (genprintval.ml) - closed.
- 0005661: [OCaml general] Fixes for the test-suite... - closed.
- 0005274: [OCaml general] add test for bsd elf support in asmcomp test - closed.
- 0005674: [OCaml backend (code generation)] Methods call are 2 times slower with the 4.0 native compiler code than with the 3.12 native compiler code (garrigue) - closed.
- 0005255: [OCaml general] natdynlink detection on powerpc and hurd (doligez) - closed.
- 0005131: [OCaml general] compilation of custom runtime with g++ generates lots of warnings (doligez) - closed.
- 0005233: [OCaml general] Finaliser on weak pointers allows to acces invalid address (doligez) - closed.
- 0005073: [OCaml typing] Wrong location for 'Unbound record field label' error (garrigue) - closed.
- 0004838: [OCaml general] Treat let-module expressions as non-expansive where possible (garrigue) - closed.
- 0004511: [OCaml general] Local modules remove polymorphism. (garrigue) - closed.
- 0005224: [OCaml general] Confusing error message at object type definition (garrigue) - closed.
- 0005291: [OCaml general] A not detected loop -> seg fault (garrigue) - closed.
- 0005617: [Camlp4] defining infix "or" - closed.
- 0005614: [OCamldoc] Compile ocamldoc.opt with -linkall (guesdon) - closed.
- 0005608: [OCaml general] Shadowing a variable by a different type fails in a module in OCaml 4.01 (garrigue) - closed.
- 0005587: [OCaml documentation] "allows to" is incorrect (doligez) - closed.
- 0005590: [OCaml documentation] typo (doligez) - closed.
- 0005585: [OCaml general] Typo: explicitely (doligez) - closed.
- 0005501: [OCaml runtime system] Wish: Increase IO_BUFFER_SIZE (doligez) - closed.
- 0005310: [OCaml general] Ratio.create_ratio and Ratio.create_normalized_ratio have behaviors that can be seen as misleading (doligez) - closed.
- 0005512: [OCaml general] Please backport test suite fixes to the 3.12 branch (meyer) - closed.
- 0005560: [OCaml typing] Typing of tuple patterns with -principal (garrigue) - closed.
- 0005538: [OCaml general] combining -i and -annot - closed.
- 0005552: [OCaml general] Unrecognized gcc option (doligez) - closed.
- 0005517: [OCaml documentation] Broken link - closed.
- 0005554: [OCaml typing] Type annotation do not always propagate when defining a function that contains local definitions (seen with GADT) in 3.13.0+dev1 (garrigue) - closed.
- 0005539: [OCaml documentation] broken link in format.mli - closed.
[84 issues]

OCaml - 3.13.0+dev (Not Yet Released) View Issues ]
=====================================

The 3.13.0 development branch (now known as 4.00.0).

- 0005503: [OCamlbuild (the tool)] fatal error with absolute -build-dir (xclerc) - resolved.
- 0005485: [OCaml general] Reducing the risk of segfault due to stack overflow - resolved.
- 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 - closed.
- 0005357: [OCaml general] Warning for redundant open M and let open M in (frisch) - closed.
- 0005487: [OCaml general] Improved GDB support - closed.
- 0005436: [OCaml general] Clarify (or fix) the semantics of Oo.id (garrigue) - closed.
- 0004888: [OCaml general] Improve again x86/ELF for GNU debugging tools - closed.
- 0004895: [OCaml general] Windows (mingw): Unix.set/clear_close_on_exec modifies the descriptor - closed.
- 0005314: [OCaml general] add CFI directives for reliable stack unwinding (shinwell) - closed.
- 0005513: [OCaml backend (code generation)] Int64.div causes floating point exception (xleroy) - closed.
- 0005511: [OCaml otherlibs] Bigarray reshape wrong for 64 bit systems - closed.
- 0005504: [OCaml general] Please consider stopping using keyword substitutions (meyer) - closed.
- 0005510: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldep has duplicate -ml{,i}-synonym options. (meyer) - closed.
- 0005509: [OCaml general] Unregistered GC memory page with empty block last in a section and bad luck. - closed.
- 0005297: [OCaml general] compiler does not check %primitive's existence (lefessan) - closed.
- 0005064: [OCaml general] ocamlopt generated code: segmentation fault instead of stack overflow - closed.
- 0005497: [OCaml documentation] Ocaml source-code examples are not "copy-paste-able" (if they employ apostrophe-character) - closed.
- 0005264: [OCaml documentation] Error in example code in section 1.8 - closed.
- 0001893: [OCaml general] various problems/typos in the ocaml doc (protz) - closed.
- 0001164: [OCaml general] Problème d'utilisation du module Num en compilation native sous Windows (O'Caml v3.04) - closed.
- 0005477: [OCaml general] ocaml graphics not working on popular Linux distros; ocaml should use pkg-config to get X11 switches - closed.
- 0005396: [OCaml general] ocamldep should have mode that does not make assumptions about build system (lefessan) - closed.
- 0005383: [OCaml general] Cannot build OCaml 3.12.1 Win32/MSVC (protz) - closed.
- 0005471: [OCaml general] [PATCH] handle SIGBUS on shrinked Bigarray mapped files (protz) - closed.
- 0005421: [OCaml general] fd leak in Unix.ml? (protz) - closed.
- 0005475: [OCaml general] Wrapper script for interpreted LablTk wrongly handles command line parameters (lefessan) - closed.
- 0005479: [OCaml documentation] Num.num_of_string may raise an exception. This is not reflected in the documentation. (lefessan) - closed.
- 0004963: [OCaml general] Please add extern "C" declarations (for C++) in installed headers (lefessan) - closed.
- 0005476: [OCaml general] bug in native code compilation of let rec on float arrays (lefessan) - closed.
- 0005329: [OCaml general] Include classic Unix.select in the Unix module for Win32 - closed.
- 0005327: [OCaml general] Unix.select blocks under Windows if same socket listed in first and third arguments - closed.
- 0005472: [Caml web site] Incorrect syntax for #install_printer in FAQ page (lefessan) - closed.
- 0005464: [OCaml documentation] Missing @dircategory and @direntry to info files (lefessan) - closed.
- 0004549: [OCaml general] Filename.dirname is not handling multiple / on Unix - closed.
- 0000352: [OCaml general] have ocaml support the '-' option (for standard input) (doligez) - closed.
- 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.
- 0005349: [OCaml general] Hashtbl.replace is incorrect according to its specification (xleroy) - 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.
- 0005437: [OCaml general] Patch to allow command line arguments in Arg module to be undocumented (protz) - closed.
- 0005169: [OCaml general] build failes. ocamldoc/Makefile.nt is not up-to-date (doligez) - closed.
- 0005358: [OCaml general] first class modules don't allow "with type" declarations for types in sub-modules (frisch) - closed.
- 0004880: [OCaml general] caml_print_exception_backtrace do not print backtrace when main program is C (xleroy) - closed.
- 0005313: [OCaml general] ocamlopt -g misses optimizations (meyer) - closed.
- 0005171: [OCaml general] map.ml function `join` does more comparisons than needed (protz) - closed.
- 0005225: [OCaml general] Strengthen the built-in hash function (xleroy) - closed.
- 0005330: [OCamlbuild (the tool)] thread tag with .top and .inferred,mli targets (xclerc) - closed.
- 0004752: [OCaml general] copysign (xleroy) - closed.
- 0005288: [OCaml general] fix escaping pattern aliases (xleroy) - closed.
- 0005246: [OCaml general] Please provide the hypot 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.
- 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 ]
====================================
- 0004827: [OCaml general] Module typing weirdness (hnrgrgr) - resolved.
- 0004146: [OCaml general] adopt minor heap size to the available free memory - resolved.
- 0004682: [OCaml general] Uninstaller does not erase OCAMLLIB environment variable (protz) - closed.
- 0005370: [OCaml general] ocamldep omits filename in syntax error message (xclerc) - closed.
- 0005359: [Camlp4] Subversion build of /version/3.12 fails: Unbound module Camlp4_import (xclerc) - closed.
- 0005269: [OCaml general] Wrong ext_ref entries in .annot files when the path contains sub-modules (xclerc) - closed.
- 0005024: [OCaml general] ocaml 3.12.0+dev17, svn revision 10259: revised syntax + new records underscore pattern = syntax error (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.
[9 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.
- 0005065: [OCamlbuild (the tool)] ocamlbuild, option -ocamldoc is missing (xclerc) - closed.
- 0005172: [Camlp4] camlp4 does not support the 'module type of' construct (xclerc) - closed.
- 0005316: [OCaml general] objinfo : show ccopts/ccobjs for cmxa files and force_link when relevant (xclerc) - closed.
- 0004939: [Camlp4] CamlP4 does not like patterns like: ?x:_ (ertai) - closed.
- 0004345: [Camlp4] Reduced precision when converting floats to strings (xclerc) - closed.
- 0005489: [OCaml documentation] Typo in stdlib/format.mli (lefessan) - closed.
- 0005236: [OCaml general] Add %revapply as a primitive (for infix pipe) (xclerc) - closed.
- 0005456: [Camlp4] pa_macro: __LOCATION__ and DEFINE interaction (dim) - closed.
- 0005387: [Camlp4] str_item and other syntactic elements with Nils are not very usable (dim) - closed.
- 0005231: [Camlp4] type applications in quotations (dim) - closed.
- 0004746: [OCaml general] incorrect calculation for stack overflow detection (xleroy) - closed.
- 0005410: [Camlp4] error in camlp4o when printing class application (dim) - closed.
- 0005374: [Camlp4] camlp4 creates wrong location for type definitions (xclerc) - closed.
- 0005120: [Camlp4] CAMLP4_DEBUG is broken (dim) - closed.
- 0005306: [OCaml general] Comparing to Thread.self() raises exception at runtime (xleroy) - closed.
- 0005364: [OCaml general] Crash following pack/unpack/functor application (xleroy) - closed.
- 0005319: [OCaml general] %r11 clobbered by Lswitch in Windows AMD64 native-code compilation (xleroy) - closed.
- 0005356: [OCamlbuild (the tool)] OCamlbuild's 'predicate' tag badly translated into OCamlfind parameter (xclerc) - closed.
- 0005328: [OCaml general] Unix.select leaves sockets in non-blocking mode under Windows - closed.
- 0005336: [OCaml general] ocamlopt on arm must use .type directives for function symbols (xleroy) - closed.
- 0004898: [OCaml general] Makes byte order available to ocaml programs (xclerc) - closed.
- 0001643: [OCaml general] Identificateurs dans Lazy (xclerc) - closed.
- 0004444: [OCaml general] Lack of String.strip (xclerc) - closed.
- 0005211: [OCaml documentation] genlex full documentation (xclerc) - closed.
- 0005248: [Camlp4] Single-digit int64 literals aren't parsed. (xclerc) - closed.
- 0005167: [Camlp4] camlp4r loops when printing package type (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.
- 0005144: [Camlp4] object copy syntax parsed wrong with camlp4of (xclerc) - closed.
- 0005139: [OCamlbuild (the tool)] add possibilité to customize ocamlbuild options (xclerc) - closed.
- 0005213: [OCamlbuild (the tool)] ocamldoc -rectypes (xclerc) - closed.
- 0005217: [OCamlbuild (the tool)] ocamlfind plugin should add -linkpkg for toplevel too (xclerc) - closed.
- 0005335: [OCaml general] Unix.environment segfault after a call to clearenv (xclerc) - closed.
- 0005331: [OCaml general] Makefile regression (xclerc) - closed.
- 0005276: [OCaml general] bug in bytecode packing algorithm (xleroy) - closed.
- 0005262: [OCaml general] Big_int shifting and eq_big_int problems (xclerc) - closed.
- 0005237: [OCaml general] ocamlopt for amd64 fails with binutils 2.21 (xleroy) - closed.
- 0005344: [OCaml general] Confusing exception printing (xclerc) - closed.
- 0005229: [OCamlbuild (the tool)] TAG_LINE vs TAGLINE (xclerc) - closed.
- 0005228: [OCaml documentation] Filename.temp_file and Filename.open_temp_file (xclerc) - closed.
- 0005134: [Camlp4] camlp4r differs from camlp4 -parser rp (xclerc) - closed.
- 0004673: [Camlp4] camlp4 fails to preprocess correctly valid object oriented OCaml (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.
- 0004820: [Camlp4] revised syntax pretty printer crashes with Stack_overflow (xclerc) - 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.
- 0004697: [OCaml general] unix_putenv leaks memory (xclerc) - closed.
- 0005118: [Camlp4] Camlp4o and integer literals (xclerc) - closed.
- 0005122: [Camlp4] camlp4 incompatibility on module type lower_case_ident (ertai) - closed.
- 0004702: [OCaml general] C-threads and callbacks (xleroy) - closed.
- 0005128: [Camlp4] typo in Camlp4ListComprehension (xclerc) - closed.
- 0005129: [Camlp4] camlp4of differs from camlp4 -parser of (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.
- 0005103: [OCaml general] ocamlobjinfo is not installed when building with build/fastworld.sh (xclerc) - closed.
- 0005165: [OCamlbuild (the tool)] ocamlbuild does not provide "-thread" option to ocamlfind when compiling with ocamlfind (xclerc) - closed.
- 0005095: [OCamlbuild (the tool)] pp(...) tag used for *.cmx but ignored for *.cmo (xclerc) - closed.
- 0005039: [OCamlbuild (the tool)] Fix to findlib support and -linkpkg (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.
- 0005151: [OCaml documentation] -pthread is not supported by ocamlmklib (xclerc) - closed.
- 0005100: [OCamlbuild (the tool)] ocamlbuild always rebuilds .cmxs (xclerc) - 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.
- 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.
- 0005192: [OCaml general] wosize vs. real size in comballoc.ml (xleroy) - closed.
- 0005188: [OCaml general] double free corruption with bytecode system threads and stack reallocation (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 - closed.
- 0002049: [OCaml general] include et application de foncteur - closed.
- 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]

OCaml - 3.12.0+dev (Not Yet Released) View Issues ]
=====================================

The 3.12.0 development branch

- 0004641: [OCaml general] Bit manipulation for Big_int (xleroy) - closed.
- 0004210: [OCaml general] little bug in int_of_string (xleroy) - closed.
- 0004276: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Written a more comprehensive and user-friendly objinfo. - closed.
- 0005033: [OCaml general] Make objinfo read all kind of objects (xleroy) - closed.
- 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.
- 0004973: [OCaml general] Failure "Unknown handle" (gildor) - closed.
- 0004894: [OCaml general] Windows (mingw): Unix.select and non-blocking sockets (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.
- 0003047: [OCaml general] Add Unix.setgroups (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) - closed.
- 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 - closed.
- 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]

OCaml - 3.11.0+beta (Released 2008-10-17) View Issues ]
=========================================

3.11.0+beta1 and other betas of 3.11.0, if any

- 0004095: [OCaml general] Comportement etrange de Ctrl-C dans ocamldebug (xclerc) - closed.
- 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.
[3 issues]

OCaml - 3.10.3+dev (Not Yet Released) View Issues ]
=====================================
- 0004560: [Caml light] Segfault in object system - closed.
- 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.
- 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.
[9 issues]

OCaml - 3.10.1 (Released 2008-01-04) View Issues ]
====================================
- 0004497: [OCaml general] exception declaration of unclosed polymorphic variant type are not rejected by the typechecker. (garrigue) - closed.
- 0004472: [OCaml general] configure fails to detect libX11.so - closed.
[2 issues]

OCaml - 3.11+dev (Not Yet Released) View Issues ]
===================================
- 0000009: [OCaml general] ocamldebug ignores # linenum "filename" (xclerc) - closed.
- 0004520: [Camlp4] Camlp4 fails with constructors named "True" or "False" (ertai) - closed.
- 0004532: [Camlp4] camlp4o tuple versus if-then-else conditional precedence does not match the Yacc parser (ertai) - closed.
- 0004420: [Camlp4] Camlp4 removes brackets around local objects. (ertai) - closed.
- 0001696: [Camlp4] feature-wish: camlp4 quotation (ertai) - closed.
- 0004495: [Camlp4] Toplevel unable #use'ing more than once with camlp4 (ertai) - closed.
- 0004593: [Camlp4] !Toploop.parse_toplevel_phrase hangs after loading camlp4 (ertai) - closed.
- 0004568: [Camlp4] camlp4lib.cma embeds dynlink modules (ertai) - closed.
- 0004543: [Camlp4] Patch implementing toplevel phrase filters (ertai) - closed.
- 0004416: [Camlp4] Camlp4 knows "virtual mutable" but not "mutable virtual". (ertai) - closed.
- 0004517: [OCaml general] segmentation fault in ocamllex-generated program (maranget) - closed.
- 0004529: [OCaml general] labltk does not build with tk 8.5 (garrigue) - closed.
- 0004521: [Camlp4] Camlp4 produces wrong location information (ertai) - closed.
- 0004314: [Camlp4] Problème de localisation des erreurs avec Camlp4 (ertai) - closed.
- 0004460: [OCaml general] toplevels built with ocamlmktop do not support opening files compiled with -rectypes (garrigue) - closed.
- 0004580: [OCaml general] Stack overflow with private row type (garrigue) - closed.
- 0004623: [OCaml general] Private constraints accepted by toplevel but not by compiler (garrigue) - closed.
- 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.
[38 issues]

OCaml - 3.10.0 (Released 2007-05-13) View Issues ]
====================================
- 0001907: [OCaml general] [patch] pa_macro: support local macros; expand in try..with.. - closed.
- 0004594: [Caml light] scanf %s processing (weis) - closed.
- 0002942: [OCaml general] Re: [Caml-list] kprintf with user formatters - closed.
- 0003567: [OCaml general] bug in type numbering? ('a, 'b, 'c, 'd,...) - closed.
- 0003965: [Camlp4] "as pattern" syntax difference between camlp4o and yacc parsers (ertai) - closed.
- 0004295: [Camlp4] Problème de synchronisation avec Camlp4 après erreur de parsing dans le toplevel (ertai) - closed.
- 0002954: [OCaml general] pos_lnum and pos_bol are worngs on exceptions from Grammar.Entry.parse (ertai) - 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.
[15 issues]

OCaml - 3.10+dev (Not Yet Released) View Issues ]
===================================
- 0004365: [Caml light] The toplevel printer wrongly prints `Foo(-1) as `Foo -1 - closed.
- 0004446: [Caml light] configure script detection for X11 on MacOS X 10.5 (ertai) - closed.
- 0004271: [Camlp4] camlp4of: <:patt< $x$ >> considers "x" to be an id, not a pattern. (ertai) - closed.
- 0004274: [Camlp4] RFE: $`bool:b$ (ertai) - closed.
- 0004302: [Camlp4] fail to parse list comprehension (ertai) - closed.
- 0004286: [OCaml general] Syntax error in myocamlbuild_config.ml (ertai) - closed.
- 0004307: [Camlp4] Assertion failed in camlp4 (ertai) - closed.
- 0004315: [OCaml general] More camlp4o parsing issues: constraints in classes (ertai) - closed.
- 0004309: [Camlp4] map and fold filters generate wrong code for abstract types (ertai) - closed.
- 0004340: [Camlp4] Camlp4 outputs ?(arg: typ = something) ?((arg: typ) = something) (ertai) - closed.
- 0004378: [OCaml general] ocamlbuild/plugin.ml has a typo (ertai) - closed.
- 0004349: [Camlp4] Camlp4 bug handling private type definitions (ertai) - closed.
- 0004328: [Camlp4] Handling of nil nodes is suboptimal (ertai) - closed.
- 0004434: [Camlp4] Camlp4 generates incorrect human-readable code for negative floats (ertai) - closed.
- 0004313: [OCaml general] ocamlbuild -log doesn't consistently (and cleanly) report inexistent directories (ertai) - closed.
- 0004379: [OCaml general] windows binary ocamlbuild cannot build plugins (ertai) - closed.
- 0004410: [OCaml general] bug in ocamlbuild (building a plugin with -build flag set) plus suggested fix (ertai) - closed.
- 0004312: [Camlp4] camlp4o parsing issue for "let _" patterns (ertai) - closed.
- 0004331: [Camlp4] camlp4o can't parse guards on "fun" expressions (ertai) - closed.
- 0004332: [Camlp4] Incorrect parsing of negative 32/64-bit numbers in camlp4 (ertai) - closed.
- 0004419: [Camlp4] Camlp4 changes "constraint" in "type" in class types. (ertai) - closed.
- 0004417: [Camlp4] Camlp4 sticks unary negation to its argument. (ertai) - closed.
- 0004427: [Camlp4] Camlp4 removes brackets around immediate functions inside a list. (ertai) - closed.
- 0004357: [Camlp4] Wrong location in quotations (ertai) - closed.
- 0004246: [Camlp4] Quotation, retour à la ligne et location incorrecte (ertai) - closed.
- 0004248: [Camlp4] Calls to "assert" are incorrectly pretty-printed (ertai) - closed.
- 0004256: [Camlp4] <:str_item< module M = struct $x$; ... end >> is rejected (ertai) - closed.
- 0004262: [Camlp4] Camlp4MacroParser executes "DEFINE" directives in the "false" branch of an IFDEF; other Camlp4MacroParser improvements (ertai) - closed.
- 0004259: [OCaml general] Bootstrap procedure broken on release310 branch (ertai) - closed.
- 0004263: [Camlp4] AST mapping treats record labels as patterns; should they have type ident instead? (ertai) - closed.
- 0004601: [OCaml general] Stack overflow when compiling match statement (garrigue) - closed.
- 0004281: [Camlp4] Autre forme non supportée par camlp4o (ertai) - closed.
- 0004280: [Camlp4] Camlp4o ne parse pas une forme de code (ertai) - closed.
- 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.
- 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.
- 0004082: [OCaml general] ocamlc hangs during compilation (garrigue) - 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.
[70 issues]

OCaml - 3.09.4+dev / +rc (Released 2006-10-24) View Issues ]
==============================================

3.09.4, development version or release candidate

- 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]

OCaml - 3.09.3 (Released 2006-04-06) View Issues ]
====================================

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.
[4 issues]

OCaml - 3.09.2 (Released 2006-04-06) View Issues ]
====================================
- 0001937: [OCaml general] Unix module, binding to getrusage() - closed.
[1 issue]

OCaml - 3.09.0 (Released 2005-10-13) View Issues ]
====================================
- 0001196: [OCaml general] with type t = 'a constraint 'a = ... (garrigue) - closed.
- 0002550: [OCaml general] typing error instead of scoping error - closed.
- 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.
[5 issues]

OCaml - 3.08.0 (Released 2005-10-13) View Issues ]
====================================
- 0002893: [OCaml general] SEGV when using Gc.finalise - closed.
[1 issue]

OCaml - <=3.07 (Released 2005-10-13) View Issues ]
====================================
- 0000744: [OCaml general] Wish: start building a ocamldep.opt (xclerc) - closed.
- 0000320: [OCaml general] affichage des valeurs infinity et neg_infinity - closed.
[2 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker