Mantis Bug Tracker

OCaml - Change Log

OCaml - later (Not Yet Released) View Issues ]
================================

virtual version used as target release for bugs that won't be fixed in a predictable time frame.


- 0007315: [typing] location information in the typing error message could be made more precise (gasche) - resolved.
- 0007295: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild foo.inferred.ml does yield a WRONG signature and ocamlc complains... (gasche) - resolved.
[2 issues]

OCaml - 4.06.0+dev (Not Yet Released) View Issues ]
=====================================
- 0007468: [runtime system] GC-safety of caml_alloc_sprintf (xleroy) - resolved.
[1 issue]

OCaml - 4.05.0+dev (Not Yet Released) View Issues ]
=====================================
- 0005712: [documentation] some documentation problems (garrigue) - resolved.
- 0007279: [standard library] Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy) - resolved.
- 0007407: [-OCaml general] Difficulties building 4.04 on Solaris with the SUNWSPro C compiler - resolved.
- 0007438: [typing] warning +34 exposes #row with private types (frisch) - resolved.
- 0007459: [otherlibs] Systhreads may be not initialized with multi-threaded callbacks - resolved.
- 0007479: [back end (clambda to assembly)] Compiling with '-pack' and '-a x.ml -o x.cma' succeeds and but the executable segfaults - resolved.
- 0007488: [ocamldoc] Wrong Latex output for variant types (octachron) - resolved.
- 0007258: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug segfault on install_printer using module aliasing - resolved.
- 0007347: [-OCaml general] Toplevel #use with relative paths have different behavior between 4.02.3 and 4.03.0 - resolved.
- 0006477: [ocamldoc] Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc (doligez) - resolved.
- 0007174: [documentation] OCaml bug with out of the box coordinates - resolved.
- 0007194: [otherlibs] OCaml Graphics bug with Key_pressed and Poll - resolved.
- 0007486: [standard library] double free of mutex in caml_finalize_channel - resolved.
- 0007050: [-OCaml general] An "-args <path>" option to pass command-line flags in a file (administrator) - resolved.
- 0007158: [otherlibs] Event.sync forces a full major GC cycle every 5000 calls at most - resolved.
- 0007474: [back end (clambda to assembly)] flambda fails with internal error when objects have mutable fields of type float (shinwell) - resolved.
- 0007264: [platform support (windows, cross-compilation, etc)] Unix.lockf doesn't behave correctly on Windows - resolved.
- 0006903: [platform support (windows, cross-compilation, etc)] Unix.execvpe doesn't change environment on Cygwin and maybe Windows - resolved.
- 0005256: [otherlibs] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - resolved.
- 0006597: [documentation] the new quoted string literal syntax is not documented - resolved.
- 0007473: [platform support (windows, cross-compilation, etc)] caml_expand_command_line behaves incorrectly - resolved.
- 0007462: [documentation] Cygwin licence (dra) - resolved.
- 0007443: [typing] Doubtful "unused open" warning on module used for record field disambiguation (octachron) - resolved.
- 0007437: [typing] typing assert failure with nonrec priv (garrigue) - resolved.
- 0007439: [-Ocaml optimization] optimizer always uses jump tables rather than lookup tables (gasche) - resolved.
- 0007357: [-Ocaml optimization] significant compilation time increased after minor tweaks (frisch) - resolved.
- 0007432: [typing] Linking modules compiled with -labels and -nolabels is not safe (garrigue) - resolved.
- 0007342: [platform support (windows, cross-compilation, etc)] Unix.read exhibits two different behaviors on Windows vs Linux (protz) - resolved.
- 0005163: [tools (ocaml{lex,yacc,dep,debug,...})] objinfo: dump globals defined in bytecode executables (gasche) - resolved.
- 0007216: [-OCaml general] Too many parens required in first class module syntax (garrigue) - resolved.
- 0007421: [typing] Soundness bug with GADTs and lazy (garrigue) - resolved.
- 0007424: [typing] Typechecker diverges on a stupid program (garrigue) - resolved.
- 0007414: [typing] Soundness bug with non-generalized type variable and functors (garrigue) - resolved.
- 0004952: [standard library] wish: after functions in ordered types like Map or Set (frisch) - resolved.
- 0004489: [standard library] Additional feature for module set (frisch) - resolved.
- 0007277: [standard library] Variants of Map.find (frisch) - resolved.
- 0006975: [standard library] Truncating buffers could come in handy (frisch) - resolved.
- 0007327: [runtime system] Remove -Werror from installed Makefile.config - resolved.
- 0007377: [-OCaml general] -std=gnu99 causes annoying warnings - resolved.
- 0007369: [otherlibs] Str.regexp raises "Invalid_argument: index out of bounds" (doligez) - resolved.
- 0007422: [platform support (windows, cross-compilation, etc)] When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'. (dra) - resolved.
- 0006608: [typing] Lax typing for functional record updates (garrigue) - resolved.
- 0007211: [typing] Strange behavior of exhaustive record copy with disambiguation (gasche) - resolved.
- 0007405: [back end (clambda to assembly)] Illegal instruction (core dumped) when running coqtop on s390x - resolved.
- 0007350: [ocamldoc] Generate a meta directive to improve mobile experience (gasche) - resolved.
- 0007339: [otherlibs] Support bigarray with 0 dimension as scalar (gasche) - resolved.
- 0007333: [ocamldoc] There is no way to set the whole-module comment for a text (gasche) - resolved.
- 0007060: [-OCaml general] Toplevel: toplevel swallows exception in installed custom printers (dra) - closed.
- 0003774: [-OCaml general] function to remove tail chars from a Buffer - closed.
- 0007328: [-Ocaml optimization] Flambda optimizes away code that raises Division_by_zero (chambart) - closed.
- 0007294: [tools (ocaml{lex,yacc,dep,debug,...})] ocamlobjinfo : printing of "approximations" broken with flambda (chambart) - closed.
[51 issues]

OCaml - 4.04.1+dev (Not Yet Released) View Issues ]
=====================================
- 0007457: [runtime system] crash in free() logic due to what appears like pointer error in 4.03.0 & 4.04.0 (xleroy) - resolved.
- 0007466: [-OCaml general] a couple of Pprintast issues (dim) - resolved.
- 0007460: [-OCaml general] Uncaught Arg.Bad with some commandlines (gasche) - resolved.
- 0007417: [back end (clambda to assembly)] OCaml + frame-pointer on + clang (and perhaps GCC) (gasche) - resolved.
- 0007403: [standard library] Set.map does not work reliably (gasche) - resolved.
[5 issues]

OCaml - 4.04.0 (Released 2016-11-04) View Issues ]
====================================
- 0006696: [-OCaml general] Allow dynlinking code into ocamlc/opt (frisch) - resolved.
- 0007124: [typing] Unused modules are not reported (frisch) - resolved.
- 0007272: [documentation] ocamldoc for types lacks newlines in html files (octachron) - resolved.
- 0007139: [-OCaml general] Warning message for unused exception uses "extension", which is confusing. (shinwell) - resolved.
- 0004084: [-OCaml general] FEATURE REQUSET: debug target (shinwell) - resolved.
- 0005807: [standard library] Filename.get_suffix is needed (3.11.2, but 4.0.x does also not contain it) (frisch) - resolved.
- 0005583: [runtime system] debug info for OCaml runtime (doligez) - resolved.
- 0007210: [runtime system] Finaliser that are really called when a value will be freed. (shinwell) - resolved.
- 0005713: [typing] Opening GADTs to get more equations on local abstract types introduced by module unpacking (garrigue) - resolved.
- 0004834: [otherlibs] Bigarray layout changes (octachron) - resolved.
- 0007033: [standard library] Proposal: add some primitives to allow user detect whether the backend is javascript or native (frisch) - resolved.
- 0006279: [standard library] Set.map (gasche) - resolved.
- 0006829: [standard library] Add Gc.value_{word,byte}_size : 'a -> int (frisch) - resolved.
- 0005566: [standard library] Duplicate Dynlink.is_native as Sys.is_native (frisch) - resolved.
- 0007410: [ocamldoc] Spurious warning printed by ocamldoc (octachron) - resolved.
[15 issues]

OCaml - 4.04.0 +dev / +beta1 / +beta2 (Released 2016-07-18) View Issues ]
===========================================================
- 0007268: [platform support (windows, cross-compilation, etc)] ocamlc.opt on cygwin32/64 can not link to unix library (frisch) - resolved.
- 0007290: [ocamldoc] ocamldoc does not support inline records (gasche) - resolved.
- 0007330: [-Incoming] Missing exhaustivity check for extensible variant (garrigue) - resolved.
- 0007396: [-Ocaml optimization] Large flambda-related performance regression between 4.03 and 4.04 (shinwell) - resolved.
- 0007391: [typing] Nested immediate object referring to outer self does not typecheck (garrigue) - resolved.
 - 0007395: [typing] polymorphism + phantom types regression (garrigue) - resolved.
- 0007381: [typing] Assertion failure with refutation pattern (garrigue) - resolved.
- 0007298: [typing] GADT matching allows dummy method to escape (garrigue) - resolved.
- 0007390: [typing] Segfault with GADT exhaustiveness (garrigue) - resolved.
- 0007384: [-Ocaml optimization] the optimization of optional arguments never applies with -g (frisch) - resolved.
- 0007371: [documentation] Reference manual: 19.6 A complete example no longer works in 4.03.0 (garrigue) - resolved.
- 0007324: [typing] Assert_failure typing/ctype.ml:1390:10 (garrigue) - resolved.
- 0007378: [typing] GADT constructors can be re-exposed with an incompatible type => segfault (garrigue) - resolved.
- 0007374: [typing] Contractiveness check unsound with constraints (garrigue) - resolved.
- 0007263: [platform support (windows, cross-compilation, etc)] Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible - resolved.
- 0007314: [typing] In 4.04 branch the unused module warning is unsound (frisch) - resolved.
- 0007325: [typing] The type checker raises Not_found for missing cmis when checking external declarations (garrigue) - resolved.
- 0006786: [typing] type error involving 'include' and applicative functors (lpw25) - resolved.
- 0007323: [tools (ocaml{lex,yacc,dep,debug,...})] ocamllex -ml does not generate code compilable with -safe-string (hongboz) - resolved.
- 0007329: [-OCaml general] -dsource output for local open module Patterns (gasche) - resolved.
- 0007265: [platform support (windows, cross-compilation, etc)] Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken (dim) - resolved.
- 0007300: [platform support (windows, cross-compilation, etc)] heap access in blocking section in unix_sleep (dim) - resolved.
- 0007299: [platform support (windows, cross-compilation, etc)] heap access from blocking section in unix_readlink (dim) - resolved.
- 0007326: [back end (clambda to assembly)] Operator definition breaks amd64 assembly code with Spacetime (shinwell) - resolved.
- 0007233: [typing] Support GADT equations on non-local abstract types (garrigue) - resolved.
- 0007305: [typing] -principal causes loop in type checker when compiling (garrigue) - resolved.
- 0007297: [typing] -strict-sequence turns off "Warning 21: this statement never returns" (garrigue) - resolved.
- 0007292: [back end (clambda to assembly)] CamlinternalLazy not flambda-proof? (shinwell) - resolved.
- 0007301: [back end (clambda to assembly)] Segfault with flambda -03, perhaps related to lazy values (shinwell) - resolved.
- 0007302: [back end (clambda to assembly)] regression in conversion typedtree->lambda in 4.03 (lpw25) - resolved.
- 0007293: [typing] Matches with GADTs break the level check for self types (garrigue) - resolved.
- 0006362: [-OCaml general] warning about unused modules (frisch) - resolved.
- 0007023: [-Ocaml optimization] Using function float arguments prevents unboxing (frisch) - resolved.
- 0007147: [-OCaml general] Ppx errors are not pretty (dim) - resolved.
- 0007142: [-OCaml general] Change of behavior of demarshalling an empty file (frisch) - resolved.
- 0007165: [-OCaml general] Lexer raises `Fatal Error` on parsing `#9342101923012312312` (gasche) - resolved.
- 0007285: [typing] Relaxed value restriction broken with principal (garrigue) - resolved.
- 0007284: [typing] Bug in mcomp_fields leads to segfault (garrigue) - resolved.
- 0006505: [typing] Missed Type-error leads to a segfault upon record access (garrigue) - resolved.
- 0007169: [-OCaml general] Wording of non-exhaustivity warning is confusing for beginners (gasche) - resolved.
- 0007189: [tools (ocaml{lex,yacc,dep,debug,...})] #show_module and module aliases (gasche) - resolved.
- 0007153: [otherlibs] SOCK_SEQPACKET is unusable - resolved.
- 0007278: [typing] Private inline records can be mutated (frisch) - resolved.
- 0006217: [back end (clambda to assembly)] Compilation of record functional modification is costly (gasche) - resolved.
- 0007203: [runtime system] Allocating double arrays from C in 32 bits (gasche) - resolved.
- 0007276: [platform support (windows, cross-compilation, etc)] Unix.select fast path misses events if the list of fds is greater than FD_SETSIZE (typically 64) (frisch) - resolved.
- 0007257: [runtime system] regressions in sleep (Unix.sleep 0) (gasche) - resolved.
- 0006475: [-OCaml general] -o is ignored for C files (whitequark) - resolved.
- 0007269: [typing] Segfault from conjunctive constraints (garrigue) - resolved.
- 0007260: [typing] GADT + subtyping crash (garrigue) - resolved.
- 0007237: [-OCaml general] change 12-tuples in typing/typeclass.mli into records for readability (gasche) - resolved.
- 0006656: [-OCaml general] Support Module.[], .{}, etc. in pattern matches (garrigue) - resolved.
- 0007248: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep: order of -open options (gasche) - resolved.
- 0007146: [documentation] Use in-tree ocaml/ocamlc within the manual (gasche) - resolved.
- 0007397: [typing] infinite loop in ocamlc/ocamlopt (garrigue) - closed.
- 0007007: [documentation] OCAMLPARAM is not documented - closed.
- 0007311: [documentation] Document ocaml_compiler_internal_params (doligez) - closed.
- 0007370: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep 4.04.0+beta2+flambda segfault when building base (doligez) - closed.
- 0007387: [documentation] missing keyword in index (doligez) - closed.
- 0007244: [back end (clambda to assembly)] Ocamlopt + flambda requires a lot of memory to compile large array literal expressions (chambart) - closed.
- 0007291: [-Ocaml optimization] fatal error during flambda pass (shinwell) - closed.
- 0007362: [documentation] Review install of mli and cmti files - closed.
- 0007379: [typing] Assertion failure checking recursive module (garrigue) - closed.
- 0007355: [documentation] Gc.finalise and lazy values - closed.
- 0007368: [runtime system] Manual major GC fails to compact the heap - closed.
- 0007322: [documentation] incorrect example code in 20.9.2 Unboxing of specialised arguments - closed.
- 0007288: [documentation] flatten : Avoid confusion - closed.
- 0007256: [configure and build/install] trunk build fails on Sparc Solaris 11 - closed.
- 0007270: [runtime system] The testsuite does not pass with the debug runtime - closed.
- 0007243: [platform support (windows, cross-compilation, etc)] Windows line endings breaking build - closed.
[70 issues]

OCaml - 4.03.1+dev (Released 2016-05-25) View Issues ]
========================================
- 0007239: [-OCaml general] Warning 42: a case where a type constraint does not help a disambiguation (gasche) - resolved.
- 0007112: [typing] Aliased arguments ignored for equality of module types (garrigue) - resolved.
- 0004747: [standard library] Hashtbl.resize is not tail recursive (frisch) - resolved.
[3 issues]

OCaml - 4.03.0 (Released 2016-04-25) View Issues ]
====================================
- 0006677: [typing] Toplevel let should take attributes. (frisch) - resolved.
- 0003236: [platform support (windows, cross-compilation, etc)] Queue+Threads+Cygwin native causes crash (dra) - resolved.
- 0006659: [standard library] implement Stack.fold (frisch) - resolved.
- 0003622: [standard library] Fold function for Stack (frisch) - resolved.
- 0006339: [back end (clambda to assembly)] Useless indirection to access a known top-level function (shinwell) - resolved.
- 0005873: [-OCaml general] Feature: control inlining better (shinwell) - resolved.
- 0004918: [-OCaml general] Inlining & direct function application optimisation (shinwell) - resolved.
- 0007307: [back end (clambda to assembly)] Crashes in garbage collector - resolved.
- 0007286: [otherlibs] Out-of-bounds array access in Event.sync - resolved.
- 0006741: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: document the .ocamldebug startup file - closed.
[10 issues]

OCaml - 4.03.0+dev / +beta1 (Released 2016-01-01) View Issues ]
=================================================
- 0007192: [typing] Strange type system bug - resolved.
- 0006752: [typing] Extensible variant types and scope escaping (garrigue) - resolved.
- 0006956: [-OCaml general] Module initialization not performed for extern-only lib (? segfault) (garrigue) - resolved.
- 0006716: [typing] Assertion failure with existentials + inline records + rows (garrigue) - resolved.
- 0006998: [typing] the typer fails reading unnecessary cmis with -no-alias-deps and -w -49 - resolved.
- 0007152: [typing] A typing equality is lost in 4.03 branch compared to 4.02.3 (garrigue) - resolved.
- 0005663: [typing] program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere (garrigue) - resolved.
- 0007013: [otherlibs] Condition.wait inside Event is not protected against spurious wakeups - resolved.
- 0006341: [ocamldoc] -colorize-code causes unnecessary < br> tags to be added to < pre> blocks (guesdon) - resolved.
- 0007226: [back end (clambda to assembly)] Location.none is broken with the LLVM assembler in 4.03.0+beta2 (gasche) - resolved.
- 0004023: [-OCaml general] usleep feature - resolved.
- 0006651: [typing] Failing component lookup (garrigue) - resolved.
- 0007230: [-OCaml general] Scrutinee discarded in match with only refutation cases (garrigue) - resolved.
- 0007234: [typing] Compatibility check wrong for abstract type constructors (garrigue) - resolved.
- 0006992: [typing] Segfault from bug in GADT/module typing (garrigue) - resolved.
- 0007220: [runtime system] Memory leak in ocaml runtime with backtraces+threads (gasche) - resolved.
- 0006120: [otherlibs] Windows links (gasche) - resolved.
- 0007222: [typing] Escaped existential type (garrigue) - resolved.
- 0007092: [documentation] Document new features in 4.03 (frisch) - resolved.
- 0007217: [otherlibs] MinGW: Unix.symlink dose not raise an exception even when Unix.has_symlink () = false (doligez) - resolved.
- 0006606: [-Ocaml optimization] Allocating intermediate floats when ignoring floats. - resolved.
- 0007196: [-OCaml general] does not print "let open" correctly in "if" (gasche) - resolved.
- 0006296: [documentation] inconsistent behavior of float_of_string (compare to "ints"_of_string) - resolved.
- 0007214: [typing] Assertion failure in Env.add_gadt_instances (garrigue) - resolved.
- 0006395: [typing] Incorrect exhaustiveness warning with GADTs (garrigue) - resolved.
- 0007209: [standard library] Unexpected interference between create-process(fork) and at-exit (dim) - resolved.
- 0007207: [typing] Wrong error message for unbound module in 4.03+beta1 (garrigue) - resolved.
- 0007199: [typing] OCaml 4.03.0+beta1 rejects previously accepted cast (garrigue) - resolved.
- 0007181: [typing] Misleading error message with GADTs and polymorphic variants (garrigue) - resolved.
- 0007135: [-OCaml general] Surprising "This ground coercion is not principal" warning (garrigue) - resolved.
- 0007191: [-OCaml general] 4.03.0+beta1+flambda ocamlopt crashes: "Fatal error: Stubs may not be annotated as [Always_specialise]" (chambart) - resolved.
- 0007190: [-OCaml general] Inline records error messages could be improved (frisch) - resolved.
- 0007182: [-OCaml general] Assertion failure with recursive modules and externals (garrigue) - resolved.
- 0007170: [-OCaml general] ocamlopt.opt fails with Index out of bounds error when compiling empty external value (frisch) - resolved.
- 0007120: [back end (clambda to assembly)] Extra .cfi_adjust_cfa_offset directive between ret and .cfi_endproc leads to incorrect unwind behavior on OS X (gasche) - resolved.
- 0007118: [back end (clambda to assembly)] Crashes when ocamlopt-generated code calls into Objective-C code that adds an exception handler (gasche) - resolved.
- 0007160: [typing] Type synonym definitions can weaken constraints of previously defined types through their manifests (garrigue) - resolved.
- 0005528: [-OCaml general] Inline records for constructor arguments (frisch) - resolved.
- 0006402: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] move ocamlbuild to its own repository. (gasche) - resolved.
- 0005756: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild spends a lot of time logging (gasche) - resolved.
- 0007111: [-OCaml general] -dsource output of ppx-deriving show has errant "in" - resolved.
- 0007002: [-OCaml general] Empty let-bindings accepted by Ast_helper / pretty printer - resolved.
- 0006958: [standard library] Scanf.unescaped fails on "\"" - resolved.
- 0006935: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - resolved.
- 0007119: [-OCaml general] ocaml doesn't respect [@@@warning] (frisch) - resolved.
- 0007078: [platform support (windows, cross-compilation, etc)] Do not pass -g to cl on Windows (frisch) - resolved.
- 0006605: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] camlp4 parser paths are hard-coded (gasche) - resolved.
- 0007115: [typing] Shadowing in a branch of a GADT match breaks unused variable warning (frisch) - resolved.
- 0007097: [-OCaml general] Strange syntax error message around illegal packaged module signature constraints (frisch) - resolved.
- 0006449: [standard library] Map.union (frisch) - resolved.
- 0007108: [ocamldoc] Standard generators override custom generators (gasche) - resolved.
- 0006985: [-OCaml general] `module type of struct include Bar end` exposes %s#row when Bar contains private row types (garrigue) - closed.
- 0006396: [typing] Warnings-as-errors not properly flushed in the toplevel (frisch) - closed.
- 0007064: [typing] deprecated attribute not properly interpreted on modules (frisch) - closed.
- 0005780: [typing] Strange type variable names in error messages (GADTs) (garrigue) - closed.
- 0005133: [back end (clambda to assembly)] Improve float allocation (frisch) - closed.
- 0006989: [otherlibs] Silent max number of 32 capturing groups in Str regexps - closed.
- 0006108: [-OCaml general] Crash toplevel by using compiler-libs - closed.
- 0006802: [runtime system] unix and nums can not be Dynlinked together (Assert_failure in bytecomp/dll.ml) - closed.
- 0006780: [-OCaml general] The -ffpu ocamlopt option does not actually work - closed.
- 0007071: [platform support (windows, cross-compilation, etc)] Ocaml files define the 'inline' macro - closed.
- 0006289: [standard library] Unix.utimes with 0.0 - closed.
- 0006858: [platform support (windows, cross-compilation, etc)] Compile Warnings with MSVC - closed.
- 0006854: [documentation] Manual example does not initialize compare_ext field - closed.
- 0004950: [-OCaml general] Array.init raises the wrong exception for invalid argument - closed.
- 0007026: [-Ocaml optimization] Polymorphic variant with no arguments aren't treated as immediate in record field assignment (gasche) - closed.
- 0007067: [-OCaml general] Performance regression in the compiler between 4.02.3 and 4.01.0 (frisch) - closed.
- 0006542: [-OCaml general] Class compilation shows non-linear runtime behaviour. (garrigue) - closed.
- 0004466: [platform support (windows, cross-compilation, etc)] Unix.select on Windows not handling reads and writes to same socket - closed.
- 0006939: [-OCaml general] Segfault with improper use of let-rec - closed.
- 0005325: [-OCaml general] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - closed.
- 0003019: [documentation] Document "noalloc" annotation on primitive declarations (frisch) - closed.
- 0006681: [-OCaml general] Signatures as ppx payload (frisch) - closed.
- 0007059: [-OCaml general] Warning 8 suppresses warning 25 (frisch) - closed.
- 0006771: [platform support (windows, cross-compilation, etc)] Thread lock up (xleroy) - closed.
- 0007081: [-OCaml general] ocaml.ppwarning ignored in the toplevel (dim) - closed.
- 0005995: [-OCaml general] Uncaught exceptions & packing (frisch) - closed.
- 0007062: [documentation] Document the command-line options of `ocamldep` (frisch) - closed.
- 0006321: [standard library] Infinity vs. NaN in hypot - closed.
- 0007085: [typing] Erroneous refutation warning 56 with GADTs (garrigue) - closed.
- 0007083: [typing] Typing crash when pattern matching with polymorphic variants + exception cases (frisch) - closed.
- 0007037: [back end (clambda to assembly)] Binaries are not reproducible (temporary filenames are in the object files) - closed.
- 0007082: [typing] Object type in recursive module's `with` annotation raises Ctype.Unify(_) (garrigue) - closed.
- 0007096: [documentation] HTML docs render incorrectly superscripted text (gasche) - closed.
- 0006996: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep should detect ppx rewriter errors reported via [%%ocaml.error] (dim) - closed.
- 0006795: [-OCaml general] ocamldep should error out if a rewriter returns an error (dim) - closed.
- 0007098: [-OCaml general] Loss of ppx context in toplevel after an exception (frisch) - closed.
- 0007103: [typing] Type a is not compatible with type 'a (garrigue) - closed.
- 0007101: [-OCaml general] The toplevel does not close in_channel for libraries specified on its command line. (frisch) - closed.
- 0007105: [documentation] Missing content from manual section 1.8 (gasche) - closed.
- 0007109: [documentation] Bigarray 'type kind' documentation bad layout since 4.02 (gasche) - closed.
- 0006113: [-OCaml general] listing the available toplevel directives with #help (gasche) - closed.
- 0007016: [typing] GADT typing regression in latest trunk vs. 4.02.3 (garrigue) - closed.
- 0006895: [documentation] Allow OCaml manual to be built independently (gasche) - closed.
- 0007042: [back end (clambda to assembly)] CSE optimization confuses -0.0 with 0.0 (xleroy) - closed.
- 0007054: [configure and build/install] Cannot finish building "make bootstrap" (xleroy) - closed.
- 0006883: [typing] Performance bottleneck in parmatch.ml - closed.
- 0007010: [configure and build/install] Fix undefined left shift of negative value. (shinwell) - closed.
- 0007027: [tools (ocaml{lex,yacc,dep,debug,...})] Can't compile lexer example with refill handler from the manual. - closed.
- 0006943: [back end (clambda to assembly)] ocamlopt support for PPC64 little-endian (xleroy) - closed.
- 0006905: [configure and build/install] Ocaml does not build/support ppc64le architecture - closed.
- 0006984: [typing] Extensible constructor with the same name but different types are not exported correctly - closed.
- 0006437: [typing] GADT exhaustiveness check incompleteness (garrigue) - closed.
 - 0006220: [typing] GADT type information is not used to detect unused match cases (garrigue) - closed.
- 0007024: [otherlibs] Str library: $ inconsistency - closed.
- 0007038: [otherlibs] Segmentation faults of thread library when memory is limited - closed.
- 0006910: [standard library] Improving marshaling of big values on 64 bit platforms. - closed.
- 0006940: [back end (clambda to assembly)] Compilation failure related to unboxing Int64 on 32-bit machines - closed.
- 0006909: [-OCaml general] Add support for hexadecimal floating-point literals - closed.
- 0006880: [typing] wrong type error with -no-alias-deps when a cmi is missing (garrigue) - closed.
- 0006980: [typing] Assert failure from polymorphic variants and existentials (garrigue) - closed.
- 0006981: [typing] Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type. (garrigue) - closed.
- 0007055: [typing] the typer checks but doesn't infer variance in the presence of type constraints (garrigue) - closed.
- 0006920: [-OCaml general] Use of @@ seems to trip backtrace line reports (dim) - closed.
- 0006946: [typing] Uncaught exception with wrong type for "%ignore" (garrigue) - closed.
- 0006762: [-OCaml general] warning 45 doesn't play well with re-exported type definitions (frisch) - closed.
- 0006806: [-OCaml general] Syntax shortcut for putting a type annotation on a record field (dim) - closed.
- 0006512: [-Ocaml optimization] intermediate float boxing with inlined functions that contain a branch (frisch) - closed.
- 0006401: [tools (ocaml{lex,yacc,dep,debug,...})] [patch] use proper error reporting for toplevel's environment initialization (frisch) - closed.
- 0006342: [typing] compiler wrongly reports "The types for field x are not equal." (frisch) - closed.
- 0006464: [-OCaml general] -dsource prints uninterpreted syntax extensions incorrectly (frisch) - closed.
- 0006865: [back end (clambda to assembly)] Incorrect parsing of toplevel "let%foo _ = expr" (frisch) - closed.
- 0006832: [configure and build/install] utils/config.mlbuild is not used anymore? (frisch) - closed.
- 0006400: [-OCaml general] Error message for _ in expression is incomprehensible (frisch) - closed.
- 0006899: [typing] optional parameters and non generalizable type variables (garrigue) - closed.
- 0006722: [back end (clambda to assembly)] support for the x32 architecture - closed.
- 0006316: [standard library] Scanf cannot parse large unsigned int64s (gasche) - closed.
- 0006902: [runtime system] What to do with when finalizing channels? (frisch) - closed.
- 0006896: [documentation] Num.float_of_num depends on Arith_status.set_floating_precision - closed.
- 0006937: [-OCaml general] Incorrect command line option's name (frisch) - closed.
- 0006866: [-Ocaml optimization] Simple missing case of float unboxing (frisch) - closed.
- 0006924: [-Ocaml optimization] Tiny optim to avoid some spilling of floats in x87 (gasche) - closed.
- 0003612: [otherlibs] memory leak in bigarray read from file (gasche) - closed.
- 0006982: [typing] unexpected type error when packing a module alias (garrigue) - closed.
- 0006944: [typing] let module X = Path in … is not typed as a module alias (garrigue) - closed.
- 0006931: [typing] Incorrect error message (garrigue) - closed.
- 0006979: [-Ocaml optimization] Weird performance on numerical code on x86 (frisch) - closed.
- 0004800: [-OCaml general] native compilation optimization of tuple assignment (frisch) - closed.
- 0006993: [typing] Segfault from recursive modules violating exhaustiveness assumptions (garrigue) - closed.
- 0006907: [typing] compiler fails with Stack overflow (garrigue) - closed.
- 0006954: [typing] Infinite loop in type checker with module aliases (garrigue) - closed.
- 0007012: [-OCaml general] Confusing error message when mixing polymorphic variant and type variable name starting with a capital letter (garrigue) - closed.
- 0006403: [typing] another broken GADT exhaustiveness check (garrigue) - closed.
- 0006598: [-OCaml general] lack of syntax for pattern-matching with no branches (garrigue) - closed.
- 0006801: [typing] Exhaustiveness messages for GADTs suggest patterns that will not type check (garrigue) - closed.
- 0006776: [runtime system] The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime - closed.
- 0006938: [standard library] wrong Printf.printf output for integers with '0' flag - closed.
- 0007030: [configure and build/install] libasmrun_shared.so fails to build - closed.
- 0006972: [-OCaml general] ocamldoc comments no longer in the cmt_comments field of .cmt files (lpw25) - closed.
- 0007036: [typing] Module alias is not taken into account when checking module type compatibility (in a class type) (garrigue) - closed.
- 0007039: [otherlibs] Unix.getsockname and unnamed PF_UNIX sockets - closed.
- 0007022: [-Ocaml optimization] Unboxing should be done earlier, avoiding a second pass (frisch) - closed.
- 0006945: [standard library] null bytes truncate filenames given to Sys and Unix - closed.
- 0006524: [standard library] Add optional perms argument to Filename.open_temp_file. (doligez) - closed.
- 0006897: [typing] Bad error message for some pattern matching on extensible variants (garrigue) - closed.
- 0005958: [runtime system] Generalized polymorphic #install_printer (chambart) - closed.
- 0006871: [standard library] result type too generic in pervasives (OCaml 4.03) (gasche) - closed.
- 0006636: [-OCaml general] Add -v and/or --version options as an alias to -version (gasche) - closed.
- 0006876: [typing] Warning doesn't say which labels were omitted (gasche) - closed.
- 0006874: [-Ocaml optimization] Inefficient code generated for module function arguments (garrigue) - closed.
- 0006468: [-OCaml general] Backtraces in toplevel (whitequark) - closed.
- 0006855: [documentation] ocamlopt generates zero-length .annot file; ocamlc generates full file (gasche) - closed.
- 0006679: [-OCaml general] pprintast bug around constraint in 4.02.1 (frisch) - closed.
- 0006645: [standard library] Guarantee that Set.add doesn't allocate and returns the original set if the added element is already in the set (frisch) - closed.
- 0004714: [-OCaml general] please add List.cons (gasche) - closed.
- 0006672: [-OCaml general] Unused variance specification allowed on destructive type substitution (garrigue) - closed.
- 0006719: [standard library] Buffer.add_channel is unusable (gasche) - closed.
- 0006816: [-OCaml general] the lexer should not allow consecutive literal numbers (gasche) - closed.
- 0006635: [-OCaml general] Support local open syntax for empty delimiters M.[], M.() etc. (yallop) - closed.
- 0005545: [typing] Type annotations on methods cannot control the choice of abbreviation (garrigue) - closed.
- 0006617: [-OCaml general] Since revision 10c, Android NDK includes proper struct ucontext_t (gasche) - closed.
- 0006285: [standard library] Unix st_mtime has only second-level resolution (dim) - closed.
- 0006767: [ocamldoc] Invalid_argument("index out of bounds") from ocamldoc on trunk (frisch) - closed.
- 0006804: [back end (clambda to assembly)] Match specialisation broken (frisch) - closed.
- 0006237: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] optional "--infer" in menhir command line (gasche) - closed.
- 0006624: [-OCaml general] Allow Android builds with systhreads (gasche) - closed.
- 0006760: [runtime system] Closure marshalling in toplevel is broken since at least 4.00 (whitequark) - closed.
- 0006465: [typing] Incremental weakening of module aliases is not allowed (garrigue) - closed.
- 0006167: [back end (clambda to assembly)] OCAMLPARAM Support for Disabling Position-Independent Code (PIC) Generation (gasche) - closed.
- 0006171: [typing] Error message confusing for the beginner when a type escapes its scope. (garrigue) - closed.
- 0006742: [typing] Question: virtual_flag in typedtree is duplicated. (garrigue) - closed.
- 0006748: [-OCaml general] Functional values in cmt files (frisch) - closed.
- 0006737: [typing] The fun x -> body expression in Typedtree receives the attrbitutes of the body (frisch) - closed.
- 0006611: [-OCaml general] Do something with *predef*.option (garrigue) - closed.
- 0006694: [standard library] Do not implicitly use ISO-8859-1 in Char.uppercase/lowercase and derived functions (gasche) - closed.
- 0006695: [-OCaml general] Do not treat paths as encoded in ISO-8859-1 (whitequark) - closed.
- 0006726: [back end (clambda to assembly)] Access to the wrong field of aliased module (garrigue) - closed.
- 0006717: [-OCaml general] Pprintast does not print pattern attributes (gasche) - closed.
- 0006560: [standard library] Wrong failure message for {Int32,Int64,NativeInt}.of_string (gasche) - closed.
- 0006702: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Expose more ocamlfind options as tags (gasche) - closed.
- 0005836: [tools (ocaml{lex,yacc,dep,debug,...})] Printing forced lazy value in ocamldebug (xclerc) - closed.
- 0006688: [-OCaml general] Accept value declarations as structure items (frisch) - closed.
- 0006674: [-OCaml general] "index out of bounds" when compiling pattern matching on long sum type (maranget) - closed.
- 0006646: [-OCaml general] Extremely long compile times and/or compiler hanging on relatively trivial sized program. (maranget) - closed.
- 0006650: [typing] Cty_constr not handled correctly by Subst (garrigue) - closed.
- 0006648: [-OCaml general] show_module should indicate its elision (garrigue) - closed.
- 0006615: [-OCaml general] 4.03: inconsistent printing and parsing of inline records (garrigue) - closed.
- 0006585: [otherlibs] Memory leak inside win32unix/createprocess.c (frisch) - closed.
- 0006593: [typing] Functor application in PR#6435 fail after commit 15405 (garrigue) - closed.
- 0006577: [standard library] Performance of %Ld formats (frisch) - closed.
- 0006517: [runtime system] It would be nice if <caml/*.h> didn't define types like "int64" - closed.
- 0004877: [-OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - closed.
- 0006516: [misc] Dubious code in testsuite (lefessan) - closed.
- 0006501: [back end (clambda to assembly)] Implementing Z.of_int as %identity in Zarith (was: zarith sample code segfaults) - closed.
- 0006081: [-OCaml general] ocaml should add script's directory to search path, not current directory - closed.
- 0006898: [otherlibs] Update win32 support documentation of the Unix library - closed.
- 0007232: [-OCaml general] Strange Pprintast output with ppx_deriving (doligez) - closed.
- 0007228: [runtime system] GC not aggressive enough, leads to OOM in simple conditions - closed.
- 0006545: [platform support (windows, cross-compilation, etc)] Update README.win32 - closed.
- 0006906: [-OCaml general] error message not good for unmatched paren when using #use in toplevel - closed.
- 0007168: [runtime system] Exceeeding stack limit without growing stack buffer - closed.
- 0006586: [-OCaml general] Short-hand version of attributes on structure items and class fields - closed.
- 0007162: [-OCaml general] Lablgtk-based GUI crashes with OCaml 4.03+beta1 (garrigue) - closed.
- 0007161: [runtime system] Ephemerons lead to crash related to weak hash tables - closed.
- 0006668: [documentation] Missing "type-constraint" in grammar for "mod-constraint" - closed.
- 0006808: [runtime system] the parsing of OCAMLRUNPARAM is too lax (doligez) - closed.
- 0005253: [documentation] Unix: the API doc should say how functions behave under windows. - closed.
- 0006649: [standard library] int_of_string fails on integers starting with a + - closed.
- 0007133: [back end (clambda to assembly)] Jump labels in assembly code end up as symbols in the executable on OS X - closed.
- 0007075: [documentation] Ocamldoc in trunk produces multiple copies of a title (lpw25) - closed.
- 0006964: [ocamldoc] ocamldoc still loosing documentation - closed.
- 0006977: [-OCaml general] String literals in comments interpret escape sequences - closed.
- 0006263: [otherlibs] A function Bigarray.kind_byte_size is missing - closed.
- 0007106: [platform support (windows, cross-compilation, etc)] Warnings emitted by the compiler may contain \r\r\n on Windows - closed.
- 0007053: [-OCaml general] Extend -opaque to .cmi and warn on missing .cmx files (lpw25) - closed.
- 0007051: [-OCaml general] Timings for the various passes of the compiler (chambart) - closed.
- 0006574: [-OCaml general] Meaningfull compiler backtraces - closed.
- 0006805: [back end (clambda to assembly)] Duplicated expression when compiling with -g - closed.
- 0005197: [-OCaml general] Ability to define --foo= options in Arg (doligez) - closed.
- 0007057: [standard library] (@) is not documented as non tail recursive in pervasives.mli (frisch) - closed.
- 0007003: [standard library] Buffer.contents causes Segmentation fault (doligez) - closed.
- 0007008: [-OCaml general] Fatal error in ocamlc with empty compilation unit name - closed.
- 0006915: [documentation] Mingw-w64 has moved to mingw-w64.org - closed.
- 0006838: [otherlibs] Invalid memory in C thread bindings (doligez) - closed.
- 0006827: [typing] prefer string to bytes with -short-paths - closed.
- 0006340: [ocamldoc] Incorrect handling of \r when processing "Windows" source files (doligez) - closed.
- 0004832: [otherlibs] Filling bigarrays may block out runtime - closed.
- 0006521: [runtime system] String.escaped returns strange results in Mac OS X + LANG=ja_JP.UTF-8 - closed.
- 0006664: [runtime system] Crash when finalising lazy values of the wrong type. (doligez) - closed.
- 0006526: [tools (ocaml{lex,yacc,dep,debug,...})] ocamllex warning: unescaped newline in comment string - closed.
- 0004539: [-OCaml general] please change exception string raised when comparing functional values - closed.
- 0006390: [standard library] [github patch] expose int_size and max_wosize in Sys - closed.
- 0006590: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Improve Windows (MSVC and mingw) build (doligez) - closed.
[244 issues]

OCaml - 4.02.3+dev (Released 2015-07-26) View Issues ]
========================================
- 0006930: [typing] Aliased result type of GADT constructor results in assertion failure (garrigue) - closed.
- 0006926: [ocamldoc] Regression: ocamldoc lost unattached comment - closed.
- 0006691: [configure and build/install] Install .cmt[i] files. - closed.
- 0006393: [back end (clambda to assembly)] [github patch] new primitive caml_alloc_dummy_function - closed.
- 0006908: [-OCaml general] Top-level custom printing for GADTs: interface change in 4.02.2 - closed.
- 0006919: [runtime system] corrupted final_table - closed.
[6 issues]

OCaml - 4.02.2 (Released 2015-06-17) View Issues ]
====================================

Ocaml version 4.02.2

- 0006779: [-OCaml general] Cross-compilers cannot link bytecode executables using custom primitives (doligez) - closed.
[1 issue]

OCaml - 4.02.2+dev / +rc1 (Released 2014-10-31) View Issues ]
===============================================

This is the current 4.02 branch. As a target release, it represents 4.02.2, which will probably be released in 1H15.

- 0006812: [typing] Combination of -short-paths and -no-alias-deps can create inconsistent assumptions (garrigue) - resolved.
- 0006797: [-OCaml general] -output-obj should support autolink (doligez) - closed.
- 0006845: [-OCaml general] New mode where ocamlc doesn't check list of primitives (doligez) - closed.
- 0006693: [runtime system] RFE: build libasmrun_shared too (gasche) - closed.
- 0006886: [typing] -no-alias-deps allows to build self-referential compilation units (garrigue) - closed.
- 0006809: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild pass too many (or not enough) arguments to ocamlfind for compiling C sources (gasche) - closed.
- 0006733: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Teach ocamlbuild to create shared libraries using -output-obj (gasche) - closed.
- 0006843: [-OCaml general] Weak dependencies should be recorded even if not present (gasche) - closed.
- 0006749: [-Ocaml optimization] ocamlopt returns n for (n mod 1) instead of 0 (shinwell) - closed.
- 0006879: [back end (clambda to assembly)] wrong optimization of 1 mod n (shinwell) - closed.
- 0005887: [runtime system] Name clash with memory.h header file with the Android NDK (gasche) - closed.
- 0006878: [back end (clambda to assembly)] aarch64 backend generates invalid asm: conditional branch out of range (shinwell) - closed.
- 0006787: [typing] soundness bug with polymorphic variants (garrigue) - closed.
- 0006630: [-OCaml general] Failure of tests/prim-bigstring/{big,}string.ml on big-endian architectures (shinwell) - closed.
- 0006869: [standard library] Explanation of total of Hashtbl.hash_param is not right. (shinwell) - closed.
- 0006870: [typing] Unsoundness when -rectypes fails to detect non-contractive type (garrigue) - closed.
- 0006872: [typing] Type-directed propagation fails to disambiguate variants that are also exception constructors (garrigue) - closed.
- 0006862: [typing] Exhaustiveness check wrong for class constructor arguments (garrigue) - closed.
- 0006810: [documentation] Improve documentation of Bigarray.Genarray.map_file (shinwell) - closed.
- 0006490: [back end (clambda to assembly)] Stack traces in arm64 code are not displayed in gdb (shinwell) - closed.
- 0006837: [-Ocaml optimization] Libraries with profiling information are not built on FreeBSD amd64 (shinwell) - closed.
- 0006772: [configure and build/install] Fail to compile 'asmrun/signals_asm.c'. (shinwell) - closed.
- 0006849: [typing] Inverted pattern unification error (garrigue) - closed.
- 0006857: [-OCaml general] __MODULE__ doesn't give the current module with -o (garrigue) - closed.
- 0006667: [-OCaml general] Failure of tests/prim-bswap/bswap.ml on arm64 - closed.
- 0006753: [otherlibs] Num.mod_num behaves differently depending on its internal representation - closed.
- 0006628: [misc] Configure script reject legitimate arguments (doligez) - closed.
- 0006763: [tools (ocaml{lex,yacc,dep,debug,...})] Toplevel with -short-paths doesn't select shortest type paths (garrigue) - closed.
- 0006583: [-OCaml general] Support for custom #... symbols (processed by ppx rewriters) (frisch) - closed.
- 0006078: [runtime system] Release the runtime system when calling caml_dlopen (dim) - closed.
- 0006616: [-OCaml general] -use-runtime is broken without -custom (whitequark) - closed.
- 0006846: [configure and build/install] Build fails with prefixed tools (gasche) - closed.
- 0006824: [standard library] Weird behavior with partial application of Format.asprintf. (gasche) - closed.
- 0006840: [configure and build/install] utils/edit_distance test fails if ocaml.opt is not built (gasche) - closed.
- 0006686: [back end (clambda to assembly)] subst_boxed_number sometimes fails to record that a boxed value is needed (shinwell) - closed.
- 0006842: [-OCaml general] Typemod.modtype_of_package should be exported so that it is usable via compiler-libs (garrigue) - closed.
- 0006841: [tools (ocaml{lex,yacc,dep,debug,...})] Module aliases break debugging with ocamldebug (garrigue) - closed.
- 0006836: [typing] Assertion failure in typing/printtyp.ml line 583-ish (garrigue) - closed.
- 0006774: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild feature request: new flags only_tokens and external_tokens(Foo) (gasche) - closed.
- 0006793: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild infer tag breaks mezzo (gasche) - closed.
- 0006817: [typing] GADT exhaustiveness breakage with modules (garrigue) - closed.
- 0006612: [-OCaml general] In core_type, [@attr] should bind less tightly than * (frisch) - closed.
- 0006016: [typing] non-recursive type declarations (dim) - closed.
- 0006625: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild should pass -linkpkg together with -output-obj (whitequark) - closed.
- 0005271: [-OCaml general] parsing/Location.prerr_warning is hard-coded to use Format.err_formatter (doligez) - closed.
- 0006775: [standard library] Digest.file leaks fds on error (gasche) - closed.
- 0006642: [-OCaml general] Add rpath-like $ORIGIN support to compiler flags embedded in cma/cmxa (whitequark) - closed.
- 0006768: [typing] Typechecker overflow the stack on cyclic type annotation after matching on a GADT (garrigue) - closed.
- 0006729: [configure and build/install] Remove race conditions in parallel builds (whitequark) - closed.
- 0006680: [typing] Missing parentheses when printing polymorphic variant value in non exhaustivity warning (garrigue) - closed.
- 0006690: [typing] Uncaught exception (Not_found) with (wrong) wildcard or unification type variable in place of a local abstract type (garrigue) - closed.
- 0006619: [documentation] Documentation for Printexc.register_uncaught_exception_handler could be improved (dim) - closed.
- 0006671: [platform support (windows, cross-compilation, etc)] Environment variable 'TZ' affects Unix.gettimeofday (doligez) - closed.
- 0006893: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] "tag not used" warning when using (p)dep to declare linking tags (gasche) - closed.
- 0006884: [platform support (windows, cross-compilation, etc)] The __CYGWIN32__ #define should be replaced with __CYGWIN__ (doligez) - closed.
- 0006875: [otherlibs] big_int_of_string: incorrect result from hex string - closed.
- 0006759: [otherlibs] big_int_of_string incorrectly parses some hexa literals. - closed.
- 0005822: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] wrong value of Options.ext_dll on windows - closed.
- 0006266: [-OCaml general] Cross compilation for iOs, Android etc (doligez) - closed.
- 0006281: [otherlibs] Graphics window does not acknowledge second click (double click) (fix included) (doligez) - closed.
- 0006747: [tools (ocaml{lex,yacc,dep,debug,...})] ocamlobjinfo: missing symbol caml_plugin_header due to underscore (doligez) - closed.
- 0006758: [ocamldoc] Ocamldoc fails with "analyse_module: parsetree and typedtree don't match" (doligez) - closed.
- 0006831: [configure and build/install] Build breaks for -aspp gcc on solaris-like OSs - closed.
- 0006658: [-OCaml general] cross-compiler: version check not working on OS X (doligez) - closed.
- 0006652: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild -clean does not print a newline after output - closed.
- 0006498: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Some relative symlinks seem not to be followed - closed.
- 0005395: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] OCamlbuild ignores relative-symlinked subdirectories or subdirectories with a trailing slash. (xclerc) - closed.
- 0006626: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild on cygwin cannot find ocamlfind - closed.
- 0006799: [otherlibs] include guards missing for unixsupport.h (doligez) - closed.
- 0006607: [documentation] The manual doesn't mention 0x200 flag for OCAMLRUNPARAM=v - closed.
- 0006790: [otherlibs] otherlibs should be built with -g - closed.
- 0006781: [otherlibs] Add higher baud rates to Unix termios - closed.
- 0006675: [runtime system] GC callbacks - closed.
- 0006573: [otherlibs] extern "C" for systhreads/threads.h - closed.
- 0006727: [standard library] Printf.sprintf "%F" misbehavior - closed.
- 0006665: [-OCaml general] Failure of tests/asmcomp on sparc - closed.
- 0006663: [-OCaml general] A misleading typo in parsetree.mli - closed.
[77 issues]

OCaml - 4.02.1 (Released 2014-10-14) View Issues ]
====================================
- 0006535: [-OCaml general] format "%0.2f" rejected as legacy format, contrary to documentation - closed.
[1 issue]

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

OCaml - 4.02.0 (Released 2014-08-29) View Issues ]
====================================
- 0006039: [-OCaml general] Syntax improvement for functor type definitions (shinwell) - resolved.
- 0006368: [back end (clambda to assembly)] [github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies (shinwell) - resolved.
- 0003544: [-OCaml general] immutable strings (gasche) - closed.
- 0001381: [-OCaml general] open_as would be convenient - closed.
- 0003882: [-OCaml general] Wish: Format.pp_print_list (gasche) - closed.
- 0006374: [typing] A single wildcard for n-ary type constructors (frisch) - closed.
- 0003599: [-OCaml general] Feature wish: big_int_of_string en base n - closed.
[7 issues]

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

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

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

OCaml - 4.01.0 (Released 2013-09-12) View Issues ]
====================================
- 0004619: [-OCaml general] Provide a objinfo library (octachron) - resolved.
- 0005921: [-OCaml general] 4.01.0dev emits compact unwind warnings since switch to clang (shinwell) - closed.
- 0005769: [back end (clambda to assembly)] [patch] allow propagation of Sys.big_endian in native code (chambart) - closed.
- 0005774: [back end (clambda to assembly)] [patch] detect and optimise endiannes conversion with bswap (chambart) - closed.
[4 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) - closed.
[1 issue]

OCaml - 4.01.0+dev (Released 2012-10-06) View Issues ]
========================================
- 0005759: [typing] Using well-disciplined type-propagation to disambiguate label and constructor names (garrigue) - resolved.
 - 0005525: [typing] Resolving record fields using all specified fields (garrigue) - closed.
 - 0005848: [typing] Assertion failure in type checker (garrigue) - closed.
- 0005343: [-OCaml general] ocaml -rectypes is unsound wrt module subtyping (garrigue) - closed.
- 0006163: [typing] Fatal error: exception Assert_failure("typing/ctype.ml", 1891, 19) (garrigue) - closed.
- 0005886: [runtime system] Small changes to compile for Android (meurer) - closed.
- 0005957: [back end (clambda to assembly)] linking -big- files causes failure in ocamlc (gasche) - closed.
- 0006158: [typing] "Fatal error: types should not include variables" (garrigue) - closed.
- 0006005: [typing] Obj.magic with recursive modules (garrigue) - closed.
- 0005612: [documentation] Rationalize spacing and parenteses use in the tutorial part of the manual (doligez) - closed.
- 0006084: [runtime system] Wish: configure ocaml so that old caml_modify is used - closed.
- 0006123: [typing] Assert_failure("typing/ctype.ml", 359, 6) (garrigue) - closed.
- 0005565: [documentation] Typing errors in the examples of the "Format mini-guide" on the website - closed.
- 0006131: [back end (clambda to assembly)] Ref: ID 0005910 - same error at different location in code for haxe compile (meurer) - closed.
- 0005721: [back end (clambda to assembly)] patch to use frame pointer to profile code with Linux perf tools (lefessan) - closed.
- 0004920: [documentation] example of linking C main with OCaml runtime needs additional libraries - closed.
- 0005149: [ocamldoc] various problems in the ocaml documentation (guesdon) - closed.
- 0006058: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 'ocamlbuild -use-ocamlfind -tag thread -package threads t.cma' fails (gasche) - closed.
- 0005568: [otherlibs] Unix.open_flag lacks O_CLOEXEC - closed.
- 0006117: [typing] Confusing wording in error message - closed.
- 0004788: [-OCaml general] Highly misleading error message - closed.
- 0004743: [documentation] About generational global roots in the manual - closed.
- 0005350: [-OCaml general] Check return codes everywhere - closed.
- 0006090: [typing] Module constraint + private type seems brocken in ocaml 4.01.0 (garrigue) - closed.
- 0006104: [-OCaml general] wrong warning 37 with private types (gasche) - closed.
- 0003121: [-OCaml general] toplevel to provide #use like command with #load semantics (gasche) - closed.
- 0005825: [-OCaml general] Toplevel: please add a primitive to compile a file test.ml as a module Test. (meyer) - closed.
- 0005723: [-OCaml general] add environment variables to control compiler options (meyer) - closed.
- 0005802: [typing] Avoiding "let" as a value name (garrigue) - closed.
- 0006073: [-OCaml general] Add signature to Tstr_include (frisch) - closed.
- 0005739: [standard library] Printf.printf "%F" (-.nan) returns -nan - closed.
- 0006072: [configure and build/install] configure does not handle FreeBSD current (i.e. 10) correctly, leading to build failures - closed.
- 0005815: [typing] Multiple exceptions in signatures gives an error (garrigue) - closed.
- 0006021: [ocamldoc] [patch] document the "const:" and "recfield:" cross-reference syntaxes (guesdon) - closed.
- 0005872: [standard library] Performance: Buffer.add_char is not inlined - closed.
- 0005803: [standard library] Format.fprintf does not support string substitution - closed.
- 0004595: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Characters location of @here are not correct - closed.
- 0005571: [-OCaml general] Incorrect ordinal number in error message (frisch) - closed.
- 0004363: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] map and fold filters don't handle polymorphic variant extension - closed.
- 0005770: [-OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - closed.
- 0006056: [typing] [non-expansivity issue] Using 'match' prevents generalization [of values], even though using 'if' allows it (garrigue) - closed.
- 0005771: [back end (clambda to assembly)] [patch] add primitives for directly reading 2, 4 or 8 bytes in strings and char bigarrays (lefessan) - closed.
- 0005914: [typing] Functor breaks with an equivalent argument signature (garrigue) - closed.
- 0006044: [-OCaml general] enabling frame pointers breaks build on MacOS X (lefessan) - closed.
- 0005861: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 accepts multiple private keywords (hongboz) - closed.
- 0005811: [misc] Untypeast produces singleton tuples for constructor patterns with only one argument (frisch) - closed.
- 0005178: [-OCaml general] Compile a 32-bit version of OCaml on a 64-bit linux OS - closed.
- 0006035: [typing] Multiple declarations of the same method in the same object should be rejected (frisch) - closed.
- 0005885: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Incorrect rule for compiling C stubs when shared libraries are not supported (meyer) - closed.
- 0005755: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Implement a test suite for ocamlbuild (meyer) - closed.
- 0005686: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .itarget does not work (meyer) - closed.
- 0005653: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] unnecessary rebuild for some rules (meyer) - closed.
- 0004592: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .mlpack dependencies not considered while building? (meyer) - closed.
- 0003679: [-OCaml general] Warning display problems (lefessan) - closed.
- 0006031: [-OCaml general] segfault in camomile with frame pointers enabled (lefessan) - closed.
- 0006033: [back end (clambda to assembly)] [patch] Matching.inline_lazy_force need eta expansion - closed.
- 0005795: [back end (clambda to assembly)] [patch] Generate sqrtsd opcode instead of external call to sqrt on amd64 (lefessan) - closed.
- 0005976: [runtime system] Illegal recovery of 2 stack overflows with ocamlopt in Mac OS (xleroy) - closed.
- 0005580: [back end (clambda to assembly)] Inlining misses some simple simplifications (xleroy) - closed.
- 0006030: [typing] Dramatic performance increase when compiling with annotations (frisch) - closed.
- 0005982: [runtime system] caml_leave_blocking section and errno corruption (dim) - closed.
- 0006004: [typing] Type information does not flow to "inherit" parameters (garrigue) - closed.
- 0005965: [typing] Strange auto-reference in recursive modules in case of name conflict with a functor parameter (frisch) - closed.
- 0005832: [misc] patch to improve "wrong file naming" error messages (frisch) - closed.
- 0005848: [typing] Assertion failure in type checker (garrigue) - closed.
- 0005724: [-OCaml general] Interaction between GADTs and polymorphic variants (garrigue) - closed.
- 0005981: [typing] Incompatibility check assumes abstracted type constructors are injective (garrigue) - closed.
- 0005964: [back end (clambda to assembly)] ocamlopt option "-dclambda" doesn't work (frisch) - closed.
- 0005784: [back end (clambda to assembly)] -dclambda option is ignored (frisch) - closed.
- 0005926: [documentation] tag-spec-full documentation seems to be incorrect (garrigue) - closed.
- 0004887: [-OCaml general] input_char after close_in crashes ocaml (msvc runtime) (frisch) - closed.
- 0005864: [standard library] No find operation in Set (frisch) - closed.
- 0005876: [typing] Uncaught exception with a typing error. (gasche) - closed.
- 0005673: [typing] type equality a in polymorphic field (garrigue) - closed.
- 0005546: [back end (clambda to assembly)] moving a function into an internal module slows down its use (frisch) - closed.
- 0005824: [back end (clambda to assembly)] [patch] avoid tagging integers before right shifting it - closed.
- 0005821: [typing] Wrong record field is reported as duplicate (frisch) - closed.
- 0005814: [-OCaml general] read_cmt -annot does not report internal references (frisch) - closed.
- 0005809: [-OCaml general] Generating .cmt files takes a long time, in case of type error (frisch) - closed.
- 0005762: [back end (clambda to assembly)] Add primitives for fast access to bigarray dimensions (lefessan) - closed.
- 0005768: [-OCaml general] [patch] On "unbound identifier" errors, use spell-checking to suggest names present in the environment (frisch) - closed.
- 0005676: [platform support (windows, cross-compilation, etc)] IPv6 support under Windows (protz) - closed.
- 0005734: [platform support (windows, cross-compilation, etc)] Unix.gettimeofday correct resolution under Windows - closed.
- 0005611: [-OCaml general] Fatal error: exception End_of_file when using -o file.cmo (meyer) - closed.
- 0005747: [-OCaml general] 'unused open' warning not given when compiling with -annot (frisch) - closed.
- 0005722: [-OCaml general] toplevel: do not print full module path for record fields except the first one (garrigue) - closed.
- 0004994: [-OCaml general] ocaml-mode doesn't work with xemacs21 - closed.
- 0005711: [-OCaml general] Envaux.env_from_summary should be available in compiler-libs (lefessan) - closed.
- 0005708: [-OCaml general] OCamldebugger crashs on set print_depth/print_length (lefessan) - closed.
- 0005702: [-OCaml general] bytecomp/bytelibrarian lib_sharedobjs was defined but never used (lefessan) - closed.
- 0005698: [back end (clambda to assembly)] Assembler source reuses labels (lefessan) - closed.
- 0005695: [-OCaml general] error during "make opt" for svn trunk on sparc (lefessan) - closed.
- 0005662: [runtime system] typo in md5.c (lefessan) - closed.
- 0005618: [-OCaml general] enrich "not a function" compile error with type information (frisch) - closed.
- 0006157: [-OCaml general] open! M is not documented in Changes - closed.
- 0005435: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild does not find .opt executables on Windows (protz) - closed.
- 0005392: [platform support (windows, cross-compilation, etc)] Windows Start menu shortcuts are invisible to limited users. (protz) - closed.
- 0005499: [platform support (windows, cross-compilation, etc)] Problem including <caml/socketaddr.h> (protz) - closed.
- 0005833: [documentation] README.win32 can leave the wrong flexlink in the path (doligez) - closed.
- 0006109: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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: [documentation] Documentation for Unix.mkdir - closed.
- 0004013: [-OCaml general] feature wish: define CAML_NAME_SPACE per default - closed.
- 0006074: [runtime system] Wrong error message for failing Condition.broadcast - closed.
- 0005945: [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: [documentation] -impl is a valid flag for ocamlopt - closed.
- 0005765: [tools (ocaml{lex,yacc,dep,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: [back end (clambda to assembly)] 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: [documentation] str regexp documentation - closed.
- 0005827: [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: [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: [documentation] Missing case in GADT syntax (doligez) - closed.
- 0005805: [typing] Assert failure with warning 34 on pre-processed file (frisch) - closed.
- 0005928: [documentation] Missing space between words in manual page for ocamlmktop - closed.
- 0005875: [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: [documentation] BNF insufficient for S (3, 4) (garrigue) - closed.
- 0005884: [tools (ocaml{lex,yacc,dep,debug,...})] Misc minor fixes and cleanup for caml-help.el (garrigue) - closed.
- 0005865: [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.
[128 issues]

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

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

OCaml - 4.00.1+dev (Released 2012-07-26) View Issues ]
========================================
- 0005563: [otherlibs] Caml.Unix.select doesn't bounds-check file-descriptor integer - closed.
- 0005700: [back end (clambda to assembly)] native binaries crash in top-level exception handler - closed.
- 0005731: [back end (clambda to assembly)] Register d7 trampled by float_of_int (meurer) - closed.
- 0005761: [otherlibs] Incorrect bigarray custom block size (xleroy) - closed.
- 0005742: [standard library] no bound checks anymore on some array operations - closed.
- 0005707: [back end (clambda to assembly)] Segfault when called from C on 64bit -fPIC (function with more than 8 parameters) (xleroy) - closed.
- 0005729: [tools (ocaml{lex,yacc,dep,debug,...})] tools/untypeast.ml creates unary Pexp_tuple (lefessan) - closed.
- 0005735: [-OCaml general] %revapply and %apply do not work properly unless they are fully applied. (lefessan) - closed.
- 0005757: [runtime system] GC compaction bug (doligez) - closed.
- 0005758: [-OCaml general] Compiler bug when matching on floats (maranget) - closed.
- 0005738: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep is broken (especially when you use first class module) (garrigue) - closed.
- 0005690: [ocamldoc] "ocamldoc ... -text README" raises exception (guesdon) - closed.
- 0005719: [tools (ocaml{lex,yacc,dep,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: [platform support (windows, cross-compilation, etc)] Windows: Exception raised when reading from a socket - closed.
- 0004155: [documentation] It isn't documented that C threads cannot call caml code - closed.
- 0005660: [runtime system] byterun/startup.c lacks code checksum initialization - closed.
- 0005206: [-OCaml general] Request for stronger random seeding (doligez) - closed.
- 0005790: [typing] Polymorphic field values no longer generalizable with (type t) (garrigue) - closed.
- 0004965: [-OCaml general] String.compare not specialized (shinwell) - closed.
- 0005290: [-OCaml general] Hashing of custom blocks (xleroy) - closed.
- 0003662: [-OCaml general] more helpful error message with incompatible .cmis (gasche) - closed.
- 0004848: [-OCaml general] ocamlc is being noisy when running with g++-4.4 (doligez) - closed.
- 0004724: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Integrate ocamlbuild documentation in the manual (xclerc) - closed.
[10 issues]

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

The beta(s) and release candidates of 4.00.0

- 0005644: [standard library] Stream.count broken when used with Sapp or Slazy nodes (gasche) - closed.
- 0005692: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] regression: end locations wrong in camlp4 ast (dim) - closed.
- 0005691: [-OCaml general] #install_printer gives error in 4.0X (doligez) - closed.
- 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.

- 0005389: [-OCaml general] GC fails to collect large array (doligez) - closed.
- 0005598: [-OCaml general] Incompatibility between ocamllex and compiler (doligez) - closed.
- 0005603: [back end (clambda to assembly)] ocamlopt generates wrong assembly file number with multiple files. - closed.
- 0005671: [runtime system] missing initializer in caml_final_custom_operations - closed.
- 0005597: [runtime system] register names for instrtrace primitives when using embedded bytecode library (meyer) - closed.
- 0005696: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep -native does not print bytecode deps and confuses omake (lefessan) - closed.
- 0005215: [-OCaml general] Serialization of dynlinked closure - closed.
- 0005214: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlfind plugin invokes 'cut' utility (xclerc) - closed.
- 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) - closed.
- 0004319: [-OCaml general] Feature request: -dtypes preserve type variables names from annotations (garrigue) - closed.
- 0005627: [back end (clambda to assembly)] Cannot compile lablgtk2 (Fabrice) - closed.
- 0005679: [configure and build/install] make opt fails on pervasives.cmx on (old?) MacOS (lefessan) - closed.
- 0005666: [-Incoming] C includes don't provide a revision number - closed.
- 0005398: [platform support (windows, cross-compilation, etc)] Inadequate exception thrown when creating IPv6 socket on win32/msvc (protz) - closed.
- 0005655: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild doesn't pass cflags to ocaml compilers when building C stubs (xclerc) - closed.
- 0005647: [tools (ocaml{lex,yacc,dep,debug,...})] Cannot use install_printer in debugger (xclerc) - closed.
- 0005637: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Printer does not agree with parser for anonymous type parameters in type definitions in revised syntax (xclerc) - closed.
- 0005651: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] printer for abstract data type (xclerc) - closed.
- 0005668: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 produces invalid syntax for "let _ = ..." (dim) - closed.
- 0005633: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4Ast.ml takes very long to compile (garrigue) - closed.
- 0005643: [configure and build/install] 4.00.0+beta2 fails to compile with llvm/clang 3.1 on OS X - closed.
- 0005646: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 Printer for escaped string (dim) - closed.
- 0005636: [configure and build/install] pthread_atfork symbol not linked correctly when using glibc - closed.
- 0005555: [standard library] Hashtbl.remove/clear never shrink the internal bucket array (lefessan) - closed.
- 0005632: [typing] Broken "unused type" cases in the developer tree with := type substitutions (frisch) - closed.
- 0005080: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] type application in quotations (xclerc) - closed.
- 0005104: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] extra TySum constructors arise from <:ctyp< >> in original syntax (xclerc) - closed.
- 0005586: [otherlibs] Wish: Increase UNIX_BUFFER_SIZE (frisch) - closed.
- 0005616: [documentation] Please claritfy license and copyright holders of ocamlbuild/manual/* - closed.
- 0001804: [-OCaml general] "make install" should install interface files for toploop-manipulation modules (xleroy) - closed.
- 0004653: [-OCaml general] Install utils/config.cmi so OCaml programs can query their environment (xleroy) - closed.
- 0002415: [-OCaml general] feature request - Haskell's $ operator (lefessan) - closed.
- 0005305: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild creates link for some files in .itarget (lefessan) - closed.
- 0005610: [runtime system] Updating of object ids in intern.c is broken (meyer) - closed.
- 0005084: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] sub-sub-module building fails for native code compilation (protz) - closed.
- 0005619: [-OCaml general] Uncuaght CType.Unify exception (garrigue) - closed.
- 0005131: [-OCaml general] compilation of custom runtime with g++ generates lots of warnings (doligez) - closed.
- 0005311: [-OCaml general] Warning 23 message is confusing (doligez) - closed.
- 0005599: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] add flag to control warnings by numbers (meyer) - closed.
- 0005604: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] _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: [otherlibs] Bogus dependencies in otherlibs/graph - closed.
- 0005572: [standard library] Hashtbl is vulnerable to collision-based DOS attack (CVE-2012-0839) (xleroy) - closed.
- 0005463: [-OCaml general] map_file fails to map to empty bigarray - closed.
- 0003571: [-OCaml general] mmaped bigarrays over NFS - closed.
- 0004866: [documentation] Module Ratio - closed.
- 0005295: [-OCaml general] Systhreads bug - closed.
- 0005415: [documentation] Obtaining an OCaml closure from C (xleroy) - closed.
- 0005397: [-OCaml general] Filename.temp_dir_name should be mutable (frisch) - closed.
- 0005553: [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.
- 0005689: [typing] Problem with GADTs and polymorphic variants (garrigue) - closed.
- 0005575: [standard library] Random states are not marshallable across architectures (doligez) - closed.
- 0005694: [typing] Exception raised by type checker (garrigue) - closed.
- 0005659: [platform support (windows, cross-compilation, etc)] 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: [back end (clambda to assembly)] 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.
- 0005233: [-OCaml general] Finaliser on weak pointers allows to acces invalid address (doligez) - closed.
- 0005073: [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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [documentation] "allows to" is incorrect (doligez) - closed.
- 0005590: [documentation] typo (doligez) - closed.
- 0005585: [-OCaml general] Typo: explicitely (doligez) - closed.
- 0005501: [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: [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: [documentation] Broken link - closed.
- 0005554: [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: [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).

- 0004863: [-OCaml general] Bad architecture detection on Mac OS X 64bit (doligez) - closed.
- 0005503: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] fatal error with absolute -build-dir (xclerc) - closed.
- 0005485: [-OCaml general] Reducing the risk of segfault due to stack overflow - closed.
- 0005516: [otherlibs] "struct hack" for bigarrays clashes with clang array bounds checks - closed.
- 0005159: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] wrong location after line directive (doligez) - closed.
- 0005438: [-OCaml general] A warning to detect more unused values and value declarations (frisch) - closed.
- 0003888: [-OCaml general] Missing "String.unescaped" (lefessan) - closed.
- 0005309: [-OCaml general] Queue.add is not thread/signal safe (lefessan) - closed.
- 0005476: [-OCaml general] bug in native code compilation of let rec on float arrays (lefessan) - closed.
- 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: [back end (clambda to assembly)] Int64.div causes floating point exception (xleroy) - closed.
- 0005511: [otherlibs] Bigarray reshape wrong for 64 bit systems - closed.
- 0005504: [-OCaml general] Please consider stopping using keyword substitutions (meyer) - closed.
- 0005510: [tools (ocaml{lex,yacc,dep,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: [documentation] Ocaml source-code examples are not "copy-paste-able" (if they employ apostrophe-character) - closed.
- 0005264: [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: [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.
- 0005327: [-OCaml general] Unix.select blocks under Windows if same socket listed in first and third arguments - closed.
- 0005329: [-OCaml general] Include classic Unix.select in the Unix module for Win32 - closed.
- 0005472: [web site] Incorrect syntax for #install_printer in FAQ page (lefessan) - closed.
- 0005464: [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.
- 0005454: [-OCaml general] Digest.compare is missing and md5 doc update (meyer) - closed.
- 0005169: [-OCaml general] build failes. ocamldoc/Makefile.nt is not up-to-date (doligez) - closed.
- 0005171: [-OCaml general] map.ml function `join` does more comparisons than needed (protz) - closed.
- 0005358: [-OCaml general] first class modules don't allow "with type" declarations for types in sub-modules (frisch) - closed.
- 0004880: [-OCaml general] caml_print_exception_backtrace do not print backtrace when main program is C (xleroy) - closed.
- 0004869: [-OCaml general] assembly labels loop on huge generated .ml files (xleroy) - closed.
- 0005349: [-OCaml general] Hashtbl.replace is incorrect according to its specification (xleroy) - closed.
- 0005313: [-OCaml general] ocamlopt -g misses optimizations (meyer) - closed.
- 0005437: [-OCaml general] Patch to allow command line arguments in Arg module to be undocumented (protz) - closed.
- 0005330: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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.
- 0005225: [-OCaml general] Strengthen the built-in hash function (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: [runtime system] Segfault with lazy empty arrays - closed.
- 0004488: [documentation] Semantic of "include" constructs differs from the documentation specification - closed.
- 0004278: [configure and build/install] 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: [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: [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: [documentation] The return value for Lexing.lexeme_end is incorrectly documented - closed.
[87 issues]

OCaml - 3.12.1 (Released 2011-07-18) View Issues ]
====================================
- 0004146: [-OCaml general] adopt minor heap size to the available free memory - closed.
- 0004827: [-OCaml general] Module typing weirdness (hnrgrgr) - closed.
- 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [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 ]
=====================================
- 0004702: [-OCaml general] C-threads and callbacks (xleroy) - closed.
- 0005188: [-OCaml general] double free corruption with bytecode system threads and stack reallocation (xleroy) - closed.
- 0005442: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4: quotation issue with strings (dim) - closed.
- 0005495: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o dies on infix definition (or) (dim) - closed.
- 0005065: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild, option -ocamldoc is missing (xclerc) - closed.
- 0005172: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] CamlP4 does not like patterns like: ?x:_ (ertai) - closed.
- 0004345: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Reduced precision when converting floats to strings (xclerc) - closed.
- 0005489: [documentation] Typo in stdlib/format.mli (lefessan) - closed.
- 0005236: [-OCaml general] Add %revapply as a primitive (for infix pipe) (xclerc) - closed.
- 0005456: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] pa_macro: __LOCATION__ and DEFINE interaction (dim) - closed.
- 0005387: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] str_item and other syntactic elements with Nils are not very usable (dim) - closed.
- 0005231: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] type applications in quotations (dim) - closed.
- 0004746: [-OCaml general] incorrect calculation for stack overflow detection (xleroy) - closed.
- 0005336: [-OCaml general] ocamlopt on arm must use .type directives for function symbols (xleroy) - closed.
- 0005120: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] CAMLP4_DEBUG is broken (dim) - closed.
- 0005410: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] error in camlp4o when printing class application (dim) - closed.
- 0005374: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4 creates wrong location for type definitions (xclerc) - closed.
- 0005364: [-OCaml general] Crash following pack/unpack/functor application (xleroy) - closed.
- 0005306: [-OCaml general] Comparing to Thread.self() raises exception at runtime (xleroy) - closed.
- 0005319: [-OCaml general] %r11 clobbered by Lswitch in Windows AMD64 native-code compilation (xleroy) - closed.
- 0005328: [-OCaml general] Unix.select leaves sockets in non-blocking mode under Windows - closed.
- 0004898: [-OCaml general] Makes byte order available to ocaml programs (xclerc) - closed.
- 0005356: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] OCamlbuild's 'predicate' tag badly translated into OCamlfind parameter (xclerc) - closed.
- 0001643: [-OCaml general] Identificateurs dans Lazy (xclerc) - closed.
- 0005211: [documentation] genlex full documentation (xclerc) - closed.
- 0004444: [-OCaml general] Lack of String.strip (xclerc) - closed.
- 0005237: [-OCaml general] ocamlopt for amd64 fails with binutils 2.21 (xleroy) - closed.
- 0005144: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] object copy syntax parsed wrong with camlp4of (xclerc) - closed.
- 0005209: [-OCaml general] natdynlink not built because configure contains an incorrect test for FreeBSD (xclerc) - closed.
- 0005158: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] make Register.{sig,str}_item_parser accessible (xclerc) - closed.
- 0005167: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4r loops when printing package type (xclerc) - closed.
- 0005217: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlfind plugin should add -linkpkg for toplevel too (xclerc) - closed.
- 0005248: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Single-digit int64 literals aren't parsed. (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.
- 0005213: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamldoc -rectypes (xclerc) - closed.
- 0005335: [-OCaml general] Unix.environment segfault after a call to clearenv (xclerc) - closed.
- 0005228: [documentation] Filename.temp_file and Filename.open_temp_file (xclerc) - closed.
- 0005229: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] TAG_LINE vs TAGLINE (xclerc) - closed.
- 0005344: [-OCaml general] Confusing exception printing (xclerc) - closed.
- 0005331: [-OCaml general] Makefile regression (xclerc) - closed.
- 0005139: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] add possibilité to customize ocamlbuild options (xclerc) - closed.
- 0004992: [-OCaml general] an ocamldep aware of files with other suffixes than .ml / .mli ? (xclerc) - closed.
- 0004732: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] all uppercase polymorphic variants cannot be parsed when camlp4.macro is enabled (ertai) - closed.
- 0004767: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 prints infinity (xclerc) - closed.
- 0005122: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4 incompatibility on module type lower_case_ident (ertai) - closed.
- 0005118: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4o and integer literals (xclerc) - closed.
- 0004820: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] revised syntax pretty printer crashes with Stack_overflow (xclerc) - closed.
- 0004928: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] wrong printing of method specifications (xclerc) - closed.
- 0004937: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Bad interaction between camlp4o and optional arguments (xclerc) - closed.
- 0005071: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] "camlp4 -parser r -parser rp" accept original syntax, not equivalent to camlp4r (xclerc) - closed.
- 0004697: [-OCaml general] unix_putenv leaks memory (xclerc) - closed.
- 0004673: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4 fails to preprocess correctly valid object oriented OCaml (xclerc) - closed.
- 0005128: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] typo in Camlp4ListComprehension (xclerc) - closed.
- 0005134: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4r differs from camlp4 -parser rp (xclerc) - closed.
- 0004705: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Can't define types with `True or `False (xclerc) - closed.
- 0005129: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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.
- 0005110: [-OCaml general] ocamldep -modules returns *predef* on optional arguments. (xclerc) - closed.
- 0005156: [-OCaml general] Toplevel runs into Assert_failure("typing/ctype.ml", 266, 23) (garrigue) - closed.
- 0005115: [-OCaml general] msvc64 port produces bytecode executables that don't work on 32-bit versions (xleroy) - closed.
- 0005095: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] pp(...) tag used for *.cmx but ignored for *.cmo (xclerc) - closed.
- 0005103: [-OCaml general] ocamlobjinfo is not installed when building with build/fastworld.sh (xclerc) - closed.
- 0005165: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild does not provide "-thread" option to ocamlfind when compiling with ocamlfind (xclerc) - closed.
- 0004380: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild should not use tput on windows (xclerc) - closed.
- 0005039: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Fix to findlib support and -linkpkg (xclerc) - closed.
- 0005100: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild always rebuilds .cmxs (xclerc) - closed.
- 0005151: [documentation] -pthread is not supported by ocamlmklib (xclerc) - closed.
- 0004967: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild does not give correct switches to ocamldep when running menhir (xclerc) - closed.
- 0005109: [-OCaml general] Segmentation fault with a program compiled by OCaml 3.11.1, 3.11.2, 3.12.0beta1 (bytecode, native, Linux AMD64 and MacOS X) (xleroy) - closed.
- 0004552: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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.
- 0005192: [-OCaml general] wosize vs. real size in comballoc.ml (xleroy) - closed.
- 0004972: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 erases unused optional arguments - closed.
- 0004510: [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: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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

- 0005105: [-OCaml general] Regression: changes to disable natdynlink for 32-bit OSX also disable using shared libraries - closed.
- 0005012: [-OCaml general] Bus error in 32-bit Snow Leopard OCaml-3.11.2-native-generated program (may be caused by Dynlink) - closed.
- 0004641: [-OCaml general] Bit manipulation for Big_int (xleroy) - closed.
- 0004210: [-OCaml general] little bug in int_of_string (xleroy) - closed.
- 0004276: [tools (ocaml{lex,yacc,dep,debug,...})] Written a more comprehensive and user-friendly objinfo. - closed.
- 0005033: [-OCaml general] Make objinfo read all kind of objects (xleroy) - closed.
- 0004831: [documentation] Use the tag @since provided by ocamldoc (guesdon) - closed.
- 0004964: [-OCaml general] infix function names in .annot files (xclerc) - closed.
- 0004807: [documentation] class initialization order (garrigue) - closed.
- 0005017: [-OCaml general] Negative number support for big_int bit manipulations (xleroy) - closed.
- 0004874: [-OCaml general] Str library: digits match \b (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.
- 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: [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: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] End-of-line for .sh script (especially in build/) (doligez) - closed.
- 0004632: [-OCaml general] Unix stub header files missing (xleroy) - closed.
- 0004803: [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: [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: [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: [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: [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 ]
=====================================
- 0004867: [-OCaml general] ocamlopt -shared failed on Mac OS X 10.6 Snow Leopard (x86_64) - closed.
- 0004421: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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.
- 0004847: [-OCaml general] callback from C to CAML (frisch) - closed.
- 0004922: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Ocamlbuild recompiles too many files (ertai) - closed.
- 0004873: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .mltop and "thread" tag (xclerc) - closed.
- 0004856: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild: probleme avec l'option -ocamlrun (ertai) - closed.
- 0004387: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild doesn't use build directory properly (ertai) - closed.
- 0004723: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild plugins, provide a way to start with an empty set of rule (ertai) - closed.
- 0004896: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild should pass -I to ocamldoc for external libraries (ertai) - closed.
- 0004890: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] OCamlbuild try to use native plugin on bytecode-only arch (xclerc) - closed.
- 0004710: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Ocamlbuild always rebuilds myocamlbuild.ml on Windows (ertai) - closed.
- 0004720: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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: [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: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Caml light use https://github.com/camllight/camllight/issues] 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: [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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 fails with constructors named "True" or "False" (ertai) - closed.
- 0004532: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o tuple versus if-then-else conditional precedence does not match the Yacc parser (ertai) - closed.
- 0004420: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 removes brackets around local objects. (ertai) - closed.
- 0001696: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] feature-wish: camlp4 quotation (ertai) - closed.
- 0004495: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Toplevel unable #use'ing more than once with camlp4 (ertai) - closed.
- 0004593: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] !Toploop.parse_toplevel_phrase hangs after loading camlp4 (ertai) - closed.
- 0004568: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4lib.cma embeds dynlink modules (ertai) - closed.
- 0004543: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Patch implementing toplevel phrase filters (ertai) - closed.
- 0004416: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 produces wrong location information (ertai) - closed.
- 0004314: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o parses [3 lsl /2] as legal (ertai) - closed.
- 0004513: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 accepts incorrect syntax (ertai) - closed.
- 0004330: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] gramlib parses illegal input for recursive rules (ertai) - closed.
- 0004614: [-Incoming] inconsistent declaration of CamlCBCmd() (garrigue) - closed.
- 0003915: [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: [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: [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: [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: [-for Caml light use https://github.com/camllight/camllight/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] "as pattern" syntax difference between camlp4o and yacc parsers (ertai) - closed.
- 0004295: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Unneeded limitation on the CamplP4 quotation system (ertai) - closed.
- 0004240: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Caml light use https://github.com/camllight/camllight/issues] The toplevel printer wrongly prints `Foo(-1) as `Foo -1 - closed.
- 0004446: [-for Caml light use https://github.com/camllight/camllight/issues] configure script detection for X11 on MacOS X 10.5 (ertai) - closed.
- 0004271: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4of: <:patt< $x$ >> considers "x" to be an id, not a pattern. (ertai) - closed.
- 0004274: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] RFE: $`bool:b$ (ertai) - closed.
- 0004302: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] fail to parse list comprehension (ertai) - closed.
- 0004286: [-OCaml general] Syntax error in myocamlbuild_config.ml (ertai) - closed.
- 0004307: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Assertion failed in camlp4 (ertai) - closed.
- 0004315: [-OCaml general] More camlp4o parsing issues: constraints in classes (ertai) - closed.
- 0004309: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] map and fold filters generate wrong code for abstract types (ertai) - closed.
- 0004340: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 outputs ?(arg: typ = something) ?((arg: typ) = something) (ertai) - closed.
- 0004378: [-OCaml general] ocamlbuild/plugin.ml has a typo (ertai) - closed.
- 0004349: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 bug handling private type definitions (ertai) - closed.
- 0004328: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Handling of nil nodes is suboptimal (ertai) - closed.
- 0004434: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o parsing issue for "let _" patterns (ertai) - closed.
- 0004331: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o can't parse guards on "fun" expressions (ertai) - closed.
- 0004332: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Incorrect parsing of negative 32/64-bit numbers in camlp4 (ertai) - closed.
- 0004419: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 changes "constraint" in "type" in class types. (ertai) - closed.
- 0004417: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 sticks unary negation to its argument. (ertai) - closed.
- 0004427: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 removes brackets around immediate functions inside a list. (ertai) - closed.
- 0004357: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Wrong location in quotations (ertai) - closed.
- 0004246: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Quotation, retour à la ligne et location incorrecte (ertai) - closed.
- 0004248: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Calls to "assert" are incorrectly pretty-printed (ertai) - closed.
- 0004256: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] <:str_item< module M = struct $x$; ... end >> is rejected (ertai) - closed.
- 0004262: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Autre forme non supportée par camlp4o (ertai) - closed.
- 0004280: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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: [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: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] mkcamlp4 option parsing problem (mauny) - closed.
- 0003948: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] 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