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.


- 0007635: [ocamldoc] ocamldoc does not generate HTML linkable IDs for modules (octachron) - resolved.
- 0007315: [typing] location information in the typing error message could be made more precise (gasche) - closed.
- 0007295: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild foo.inferred.ml does yield a WRONG signature and ocamlc complains... (gasche) - closed.
[3 issues]

OCaml - 4.07.0+dev (Not Yet Released) View Issues ]
=====================================
- 0007680: [middle end (typedtree to clambda)] Incorrect interaction between Matching.for_let and Simplif.simplify_exits (frisch) - resolved.
- 0007682: [configure and build/install] [@@unboxed] for records with 1 polymorphic field (frisch) - resolved.
- 0006735: [runtime system and C interface] ocamlc -custom should not link to curses (xleroy) - resolved.
- 0007668: [typing] -principal is broken with polymorphic variants. (garrigue) - resolved.
- 0007643: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep loops (octachron) - resolved.
- 0005250: [runtime system and C interface] ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path (xleroy) - resolved.
- 0007647: [documentation] Emphasise ocaml.org website and forum in readme (gasche) - resolved.
- 0006604: [lexing and parsing] Expressions like 3#0;; are ignored by the toplevel and the compiler (gasche) - resolved.
[8 issues]

OCaml - 4.06.0 (Released 2017-11-03) View Issues ]
====================================
- 0007472: [compiler driver] Please replace cmi files atomically when writing new versions - resolved.
[1 issue]

OCaml - 4.06.0 +dev/beta1/beta2/rc1 (Released 2017-08-16) View Issues ]
=========================================================
- 0007271: [misc] Undocumented ocamlc and ocamlopt link behaviour difference - resolved.
- 0007399: [platform support (windows, cross-compilation, etc)] Testsuite running on Windows should verify line-endings of source files are correct (dra) - resolved.
- 0007598: [lexing and parsing] Out-of-date camlp4 causes segfault in ocamlopt.opt (doligez) - resolved.
- 0007619: [lexing and parsing] last semi column in inside the last expression - resolved.
- 0006225: [documentation] weak variables '_a should be documented in the manual (octachron) - resolved.
- 0005607: [documentation] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (octachron) - resolved.
- 0007655: [documentation] Unclear semantics of [@@noalloc] (gasche) - resolved.
- 0007656: [typing] False positives 'unused type/constructor/value' using 4.06.0+beta1 (frisch) - resolved.
- 0007259: [middle end (typedtree to clambda)] flambda does not collapse pattern matching in some cases (chambart) - resolved.
- 0007640: [otherlibs] Unix.execvpe issues since 4.05.0 (xleroy) - resolved.
- 0007615: [platform support (windows, cross-compilation, etc)] Flexdll is incompatible with visual studio 2017.3 (dra) - resolved.
- 0007361: [compiler driver] ocaml.warning does not work with ocaml.ppwarning (frisch) - resolved.
- 0007553: [typing] Warning 33 incorrectly triggered in recursive module (lpw25) - resolved.
- 0007048: [ocamldoc] Support for other inputenc than latin1 in ocamldoc -latex - resolved.
- 0007653: [typing] Infinite loop when typing Frama-C cabs2cil.ml (4.06-only regression) (gasche) - resolved.
- 0006202: [misc] Controlling warnings locally (frisch) - resolved.
- 0007642: [back end (clambda to assembly)] ocamlopt generates incorrect code on arm (xleroy) - resolved.
- 0007650: [configure and build/install] 4.06.0 breaks compatibility for users of $(ocamlc -config) in scripts to get C compilation flags (gasche) - resolved.
- 0007552: [middle end (typedtree to clambda)] typeopt.ml unsafely assumes all modules called Bigarray are the same - resolved.
- 0007610: [emacs mode] Emacs mode uses variable that has been removed from Emacs 25 - resolved.
- 0007632: [ocamldoc] the manual page of ocamldoc does not mention -charset option (octachron) - resolved.
- 0007570: [compiler driver] Toplevel "ocaml -plugin" is not usable - resolved.
- 0007631: [compiler driver] -linscan option crashes ocamlopt (gasche) - resolved.
- 0007638: [platform support (windows, cross-compilation, etc)] Mingw64 + threads + system exception raised through longjmp() = crash - resolved.
- 0007072: [configure and build/install] The testsuite doesn't run in parallel (shindere) - resolved.
- 0007626: [runtime system and C interface] Sys.executable_name on Linux does not use /proc/self/exe if full path exceeds 256 characters (gasche) - resolved.
- 0007609: [tools (ocaml{lex,yacc,dep,debug,...})] Coq (coqtop.byte) hangs when run from ocamldebug (xleroy) - resolved.
- 0007587: [configure and build/install] Parallel builds are broken in the ocamldoc/ subdirectory [was: lex/ directory] (shindere) - resolved.
- 0007591: [platform support (windows, cross-compilation, etc)] "ld: warning: pointer not aligned at address ..." - resolved.
- 0003771: [platform support (windows, cross-compilation, etc)] Reading Unicode filenames fails on Windows (dra) - resolved.
 - 0003789: [platform support (windows, cross-compilation, etc)] Addition to bug 0003771 - resolved.
 - 0003786: [platform support (windows, cross-compilation, etc)] Addition to bug 0003771 - resolved.
- 0007627: [documentation] 4.06.0 Change : Format change must be marked as breaking. (lpw25) - resolved.
- 0007624: [language features] Annotation [@warning "-32"] does not work correctly (frisch) - resolved.
- 0007620: [compiler driver] Typecore.force_delayed_checks does not run with -i option. (garrigue) - resolved.
- 0007601: [typing] It seems like a hidden non-generalized type variable remains in some inferred signatures, which leads to strange errors (garrigue) - resolved.
- 0007617: [typing] Ambiguous type escaping the scope of its equation (garrigue) - resolved.
- 0007618: [typing] Unexpected GADT error (garrigue) - resolved.
- 0007614: [middle end (typedtree to clambda)] flambda optimizations depends on unrelated things (lpw25) - resolved.
- 0007519: [typing] Incorrect rejection of program due to faux scope escape (garrigue) - resolved.
- 0007588: [documentation] Document Format.pp_{set,get}_formatter_out_functions in the dedicated paragraph (octachron) - resolved.
- 0007604: [documentation] Minor Ephemeron documentation fixes (octachron) - resolved.
- 0007478: [ocamldoc] Duplicate module preambles are generated by ocamldoc (octachron) - resolved.
- 0007454: [tools (ocaml{lex,yacc,dep,debug,...})] Mishandling of raw string literals by ocamlyacc (dra) - resolved.
- 0007594: [runtime system and C interface] Should String_val return 'const char *' when safe-string is globally enabled? (yallop) - resolved.
- 0007070: [typing] Unexported values can cause non-generalisable variables error (lpw25) - resolved.
- 0007281: [ocamldoc] Incorrect .TH macro in Arg(3o) (octachron) - resolved.
- 0006271: [language features] 'let open' in class expressions (frisch) - resolved.
- 0007564: [platform support (windows, cross-compilation, etc)] Unix.symlink does not support forward slashes under Windows (frisch) - resolved.
- 0001613: [typing] printing non-generalized type variables (octachron) - resolved.
- 0000248: [typing] Re variables de type faibles (octachron) - resolved.
- 0007575: [compiler driver] Compiling cmis, make -keep-locs the default behaviour - resolved.
- 0007444: [typing] module assignment enables use of deprecated values without a warning (frisch) - resolved.
- 0007563: [middle end (typedtree to clambda)] value access to extensible variant tag binds module value instead (name clash) (gasche) - resolved.
- 0007127: [toplevel] ocaml REPL does not truncate value of type 'bytes' and 'string' (lefessan) - resolved.
- 0006548: [documentation] Misleading comment on private type abbreviations (octachron) - resolved.
- 0007507: [documentation] Documentation for Printf's format "%g" looks imprecise or incorrect (octachron) - resolved.
- 0007506: [lexing and parsing] pprintast ignores attributes in tails of a list (frisch) - resolved.
- 0006601: [documentation] advertise caml_strdup in 19.10.2 instead of strcpy - resolved.
- 0007309: [standard library] provides a `update` function for map - resolved.
- 0007372: [typing] Bug in type-checker with GADTs and inline records (frisch) - resolved.
- 0006826: [typing] Improve compile time of opens, esp. for local opens (frisch) - resolved.
- 0006587: [typing] #show_module prints types incorrectly (garrigue) - resolved.
- 0006934: [typing] nonrec misbehaves with GADTs (garrigue) - resolved.
- 0007353: [ocamldoc] ocamldoc sometimes generates untagged text (octachron) - resolved.
- 0007352: [ocamldoc] ocamldoc should not generate p's white only whitespace in it (octachron) - resolved.
- 0007351: [ocamldoc] ocamldoc should really stop generating br tags (octachron) - resolved.
- 0007321: [typing] Private type in signature clashes with type definition via functor instantiation (garrigue) - resolved.
- 0007344: [typing] Inconsistent order when typing constraint patterns (garrigue) - resolved.
- 0005927: [typing] Type equality broken for conjunctive polymorphic variant tags (garrigue) - resolved.
- 0006124: [typing] Odd behaviour of type expressions in polymorphic variant tag specifications (garrigue) - resolved.
- 0007261: [typing] constraint ignored on (existential) GADT (garrigue) - resolved.
- 0007496: [typing] Fixed conjunctive polymorphic variant tags do not unify with themselves (garrigue) - resolved.
- 0007447: [back end (clambda to assembly)] Incorrect code generation for nested recursive bindings (chambart) - resolved.
- 0007468: [runtime system and C interface] GC-safety of caml_alloc_sprintf (xleroy) - resolved.
- 0007515: [standard library] Arg: cannot correctly align docstring for Tuple option - closed.
[76 issues]

OCaml - 4.05.0 (Released 2017-07-13) View Issues ]
====================================
- 0007654: [compiler driver] Linker error when functor body contains constant false assertion - resolved.
[1 issue]

OCaml - 4.05.0 +dev/beta1/beta2/beta3/rc1 (Released 2017-07-01) View Issues ]
===============================================================
- 0007158: [otherlibs] Event.sync forces a full major GC cycle every 5000 calls at most - resolved.
- 0006903: [platform support (windows, cross-compilation, etc)] Unix.execvpe doesn't change environment on Cygwin and maybe Windows - resolved.
- 0007443: [typing] Doubtful "unused open" warning on module used for record field disambiguation (octachron) - resolved.
- 0007556: [standard library] .cmt and .cmti files for the unix module of the stdlib are not installed (gasche) - resolved.
- 0007511: [typing] Unboxed type with unboxed argument should not be accepted (doligez) - resolved.
- 0007348: [typing] Private row variables can escape their scope (garrigue) - resolved.
- 0007539: [documentation] Wrong URIs in ocamldoc's chapter of reference manual (octachron) - resolved.
- 0007258: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug segfault on install_printer using module aliasing - resolved.
- 0007523: [standard library] bug in Arg when an option does not have its argument (octachron) - resolved.
- 0007484: [otherlibs] Cygwin32 in bytecode: problem with Bigarray and Unix.fork (dra) - resolved.
- 0007497: [documentation] OCaml manual: replace bullets by the section number on the main page (octachron) - resolved.
- 0007504: [language features] Case suggested by exhaustivity checker is wrong (octachron) - resolved.
- 0006987: [typing] Strage error message probably caused by universal variable escape (with polymorphic variants) (garrigue) - resolved.
- 0007500: [standard library] Remove Uchar.dump (frisch) - resolved.
- 0006947: [otherlibs] Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC (shinwell) - resolved.
- 0007357: [middle end (typedtree to clambda)] significant compilation time increased after minor tweaks (frisch) - resolved.
- 0007439: [back end (clambda to assembly)] optimizer always uses jump tables rather than lookup tables (gasche) - resolved.
- 0007050: [~DO NOT USE (was: OCaml general)] An "-args <path>" option to pass command-line flags in a file (administrator) - resolved.
- 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: [~DO NOT USE (was: 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.
- 0007347: [~DO NOT USE (was: 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.
- 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.
- 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.
- 0007437: [typing] typing assert failure with nonrec priv (garrigue) - 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: [~DO NOT USE (was: 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 and C interface] Remove -Werror from installed Makefile.config - resolved.
- 0007377: [~DO NOT USE (was: 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.
- 0007328: [middle end (typedtree to clambda)] Flambda optimizes away code that raises Division_by_zero (chambart) - closed.
- 0007060: [~DO NOT USE (was: OCaml general)] Toplevel: toplevel swallows exception in installed custom printers (dra) - closed.
- 0003774: [~DO NOT USE (was: OCaml general)] function to remove tail chars from a Buffer - closed.
- 0007294: [tools (ocaml{lex,yacc,dep,debug,...})] ocamlobjinfo : printing of "approximations" broken with flambda (chambart) - closed.
[62 issues]

OCaml - 4.04.2 (Released 2017-06-21) View Issues ]
====================================
- 0007557: [runtime system and C interface] local privilege escalation issue with ocaml binaries (doligez) - resolved.
[1 issue]

OCaml - 4.04.1 (Released 2017-04-14) View Issues ]
====================================
- 0007555: [toplevel] The Ephemeron module is not loaded into the toplevel - resolved.
- 0007373: [tools (ocaml{lex,yacc,dep,debug,...})] Include OCaml lib directory in search path in ocamlmklib (dra) - resolved.
- 0007501: [middle end (typedtree to clambda)] The uunf package stackoverflows with flambda (chambart) - closed.
- 0007516: [compiler driver] ocamlopt -plugin is broken (dra) - closed.
[4 issues]

OCaml - 4.04.1+dev (Released 2016-12-04) View Issues ]
========================================
- 0007411: [ocamldoc] HTML output of ocamldoc is strange (octachron) - resolved.
- 0007505: [otherlibs] Memory cannot be released after calling Bigarray.Genarray.change_layout. (doligez) - resolved.
- 0007457: [runtime system and C interface] crash in free() logic due to what appears like pointer error in 4.03.0 & 4.04.0 (xleroy) - resolved.
- 0007466: [~DO NOT USE (was: OCaml general)] a couple of Pprintast issues (dim) - resolved.
- 0007460: [~DO NOT USE (was: 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.
[7 issues]

OCaml - 4.04.0 (Released 2016-11-04) View Issues ]
====================================
- 0006696: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Warning message for unused exception uses "extension", which is confusing. (shinwell) - resolved.
- 0004084: [~DO NOT USE (was: 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 and C interface] debug info for OCaml runtime (doligez) - resolved.
- 0007210: [runtime system and C interface] 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.
- 0007112: [typing] Aliased arguments ignored for equality of module types (garrigue) - closed.
[16 issues]

OCaml - 4.04.0 +dev / +beta1 / +beta2 (Released 2016-07-18) View Issues ]
===========================================================
- 0007384: [middle end (typedtree to clambda)] the optimization of optional arguments never applies with -g (frisch) - resolved.
- 0006217: [back end (clambda to assembly)] Compilation of record functional modification is costly (gasche) - resolved.
- 0007314: [typing] In 4.04 branch the unused module warning is unsound (frisch) - resolved.
- 0007169: [~DO NOT USE (was: OCaml general)] Wording of non-exhaustivity warning is confusing for beginners (gasche) - resolved.
- 0007023: [back end (clambda to assembly)] Using function float arguments prevents unboxing (frisch) - resolved.
- 0007396: [middle end (typedtree to clambda)] Large flambda-related performance regression between 4.03 and 4.04 (shinwell) - resolved.
- 0007330: [typing] Missing exhaustivity check for extensible variant (garrigue) - resolved.
- 0006475: [~DO NOT USE (was: OCaml general)] -o is ignored for C files (whitequark) - resolved.
- 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.
- 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.
- 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.
- 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) - closed.
- 0007329: [~DO NOT USE (was: OCaml general)] -dsource output for local open module Patterns (gasche) - closed.
- 0007265: [platform support (windows, cross-compilation, etc)] Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken (dim) - closed.
- 0007300: [platform support (windows, cross-compilation, etc)] heap access in blocking section in unix_sleep (dim) - closed.
- 0007326: [back end (clambda to assembly)] Operator definition breaks amd64 assembly code with Spacetime (shinwell) - closed.
- 0007299: [platform support (windows, cross-compilation, etc)] heap access from blocking section in unix_readlink (dim) - closed.
- 0007233: [typing] Support GADT equations on non-local abstract types (garrigue) - closed.
- 0007305: [typing] -principal causes loop in type checker when compiling (garrigue) - closed.
- 0007297: [typing] -strict-sequence turns off "Warning 21: this statement never returns" (garrigue) - closed.
- 0007292: [back end (clambda to assembly)] CamlinternalLazy not flambda-proof? (shinwell) - closed.
- 0007301: [back end (clambda to assembly)] Segfault with flambda -03, perhaps related to lazy values (shinwell) - closed.
- 0007302: [back end (clambda to assembly)] regression in conversion typedtree->lambda in 4.03 (lpw25) - closed.
- 0007293: [typing] Matches with GADTs break the level check for self types (garrigue) - closed.
- 0006362: [~DO NOT USE (was: OCaml general)] warning about unused modules (frisch) - closed.
- 0007147: [~DO NOT USE (was: OCaml general)] Ppx errors are not pretty (dim) - closed.
- 0007142: [~DO NOT USE (was: OCaml general)] Change of behavior of demarshalling an empty file (frisch) - closed.
- 0007165: [~DO NOT USE (was: OCaml general)] Lexer raises `Fatal Error` on parsing `#9342101923012312312` (gasche) - closed.
- 0007285: [typing] Relaxed value restriction broken with principal (garrigue) - closed.
- 0007284: [typing] Bug in mcomp_fields leads to segfault (garrigue) - closed.
- 0006505: [typing] Missed Type-error leads to a segfault upon record access (garrigue) - closed.
- 0007189: [tools (ocaml{lex,yacc,dep,debug,...})] #show_module and module aliases (gasche) - closed.
- 0007153: [otherlibs] SOCK_SEQPACKET is unusable - closed.
- 0007278: [typing] Private inline records can be mutated (frisch) - closed.
- 0007203: [runtime system and C interface] Allocating double arrays from C in 32 bits (gasche) - closed.
- 0007257: [runtime system and C interface] regressions in sleep (Unix.sleep 0) (gasche) - closed.
- 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) - closed.
- 0007269: [typing] Segfault from conjunctive constraints (garrigue) - closed.
- 0007260: [typing] GADT + subtyping crash (garrigue) - closed.
- 0006656: [~DO NOT USE (was: OCaml general)] Support Module.[], .{}, etc. in pattern matches (garrigue) - closed.
- 0007237: [~DO NOT USE (was: OCaml general)] change 12-tuples in typing/typeclass.mli into records for readability (gasche) - closed.
- 0007146: [documentation] Use in-tree ocaml/ocamlc within the manual (gasche) - closed.
- 0007248: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep: order of -open options (gasche) - closed.
- 0007291: [middle end (typedtree to clambda)] fatal error during flambda pass (shinwell) - closed.
- 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.
- 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 and C interface] 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 and C interface] 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: [~DO NOT USE (was: OCaml general)] Warning 42: a case where a type constraint does not help a disambiguation (gasche) - closed.
- 0004747: [standard library] Hashtbl.resize is not tail recursive (frisch) - closed.
[2 issues]

OCaml - 4.03.0 (Released 2016-04-25) View Issues ]
====================================
- 0006882: [typing] Apparently valid program rejected by the typer (garrigue) - resolved.
- 0007031: [middle end (typedtree to clambda)] Warn on ambiguous variables used in a when clause (gasche) - resolved.
- 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: [~DO NOT USE (was: OCaml general)] Feature: control inlining better (shinwell) - resolved.
- 0004918: [~DO NOT USE (was: 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 - closed.
- 0005021: [otherlibs] Big_int.float_of_big_int is slightly unportable (was: Int64.to_float is slightly unportable) - closed.
- 0006618: [lexing and parsing] It would be nice to have octal escape sequences for characters and strings - closed.
- 0006741: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: document the .ocamldebug startup file - closed.
[14 issues]

OCaml - 4.03.0+dev / +beta1 (Released 2016-01-01) View Issues ]
=================================================
- 0006956: [~DO NOT USE (was: OCaml general)] Module initialization not performed for extern-only lib (? segfault) (garrigue) - 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.
- 0006367: [typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) (garrigue) - resolved.
- 0006606: [middle end (typedtree to clambda)] Allocating intermediate floats when ignoring floats. - resolved.
- 0007192: [typing] Strange type system bug - resolved.
- 0006752: [typing] Extensible variant types and scope escaping (garrigue) - resolved.
- 0006716: [typing] Assertion failure with existentials + inline records + rows (garrigue) - resolved.
- 0006521: [runtime system and C interface] String.escaped returns strange results in Mac OS X + LANG=ja_JP.UTF-8 - closed.
- 0007067: [~DO NOT USE (was: OCaml general)] Performance regression in the compiler between 4.02.3 and 4.01.0 (frisch) - closed.
- 0006998: [typing] the typer fails reading unnecessary cmis with -no-alias-deps and -w -49 - closed.
- 0007152: [typing] A typing equality is lost in 4.03 branch compared to 4.02.3 (garrigue) - closed.
- 0005663: [typing] program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere (garrigue) - closed.
- 0007013: [otherlibs] Condition.wait inside Event is not protected against spurious wakeups - closed.
- 0006341: [ocamldoc] -colorize-code causes unnecessary < br> tags to be added to < pre> blocks (guesdon) - closed.
- 0007226: [back end (clambda to assembly)] Location.none is broken with the LLVM assembler in 4.03.0+beta2 (gasche) - closed.
- 0004023: [~DO NOT USE (was: OCaml general)] usleep feature - closed.
- 0006651: [typing] Failing component lookup (garrigue) - closed.
- 0007230: [~DO NOT USE (was: OCaml general)] Scrutinee discarded in match with only refutation cases (garrigue) - closed.
- 0007234: [typing] Compatibility check wrong for abstract type constructors (garrigue) - closed.
- 0006992: [typing] Segfault from bug in GADT/module typing (garrigue) - closed.
- 0007220: [runtime system and C interface] Memory leak in ocaml runtime with backtraces+threads (gasche) - closed.
- 0006120: [otherlibs] Windows links (gasche) - closed.
- 0007222: [typing] Escaped existential type (garrigue) - closed.
- 0007092: [documentation] Document new features in 4.03 (frisch) - closed.
- 0007217: [otherlibs] MinGW: Unix.symlink dose not raise an exception even when Unix.has_symlink () = false (doligez) - closed.
- 0007196: [~DO NOT USE (was: OCaml general)] does not print "let open" correctly in "if" (gasche) - closed.
- 0006296: [documentation] inconsistent behavior of float_of_string (compare to "ints"_of_string) - closed.
- 0007214: [typing] Assertion failure in Env.add_gadt_instances (garrigue) - closed.
- 0006395: [typing] Incorrect exhaustiveness warning with GADTs (garrigue) - closed.
- 0007207: [typing] Wrong error message for unbound module in 4.03+beta1 (garrigue) - closed.
- 0007209: [standard library] Unexpected interference between create-process(fork) and at-exit (dim) - closed.
- 0007199: [typing] OCaml 4.03.0+beta1 rejects previously accepted cast (garrigue) - closed.
- 0007135: [~DO NOT USE (was: OCaml general)] Surprising "This ground coercion is not principal" warning (garrigue) - closed.
- 0007181: [typing] Misleading error message with GADTs and polymorphic variants (garrigue) - closed.
- 0007191: [~DO NOT USE (was: OCaml general)] 4.03.0+beta1+flambda ocamlopt crashes: "Fatal error: Stubs may not be annotated as [Always_specialise]" (chambart) - closed.
- 0007190: [~DO NOT USE (was: OCaml general)] Inline records error messages could be improved (frisch) - closed.
- 0007182: [~DO NOT USE (was: OCaml general)] Assertion failure with recursive modules and externals (garrigue) - closed.
- 0007170: [~DO NOT USE (was: OCaml general)] ocamlopt.opt fails with Index out of bounds error when compiling empty external value (frisch) - closed.
- 0007160: [typing] Type synonym definitions can weaken constraints of previously defined types through their manifests (garrigue) - closed.
- 0005528: [~DO NOT USE (was: OCaml general)] Inline records for constructor arguments (frisch) - closed.
- 0006402: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] move ocamlbuild to its own repository. (gasche) - closed.
- 0005756: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild spends a lot of time logging (gasche) - closed.
- 0007111: [~DO NOT USE (was: OCaml general)] -dsource output of ppx-deriving show has errant "in" - closed.
- 0007002: [~DO NOT USE (was: OCaml general)] Empty let-bindings accepted by Ast_helper / pretty printer - closed.
- 0006958: [standard library] Scanf.unescaped fails on "\"" - closed.
- 0006935: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - closed.
- 0007078: [platform support (windows, cross-compilation, etc)] Do not pass -g to cl on Windows (frisch) - closed.
- 0007119: [~DO NOT USE (was: OCaml general)] ocaml doesn't respect [@@@warning] (frisch) - closed.
- 0007115: [typing] Shadowing in a branch of a GADT match breaks unused variable warning (frisch) - closed.
- 0006605: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] camlp4 parser paths are hard-coded (gasche) - closed.
- 0007097: [~DO NOT USE (was: OCaml general)] Strange syntax error message around illegal packaged module signature constraints (frisch) - closed.
- 0006449: [standard library] Map.union (frisch) - closed.
- 0007108: [ocamldoc] Standard generators override custom generators (gasche) - closed.
- 0006896: [documentation] Num.float_of_num depends on Arith_status.set_floating_precision - closed.
- 0006924: [back end (clambda to assembly)] Tiny optim to avoid some spilling of floats in x87 (gasche) - closed.
- 0006866: [back end (clambda to assembly)] Simple missing case of float unboxing (frisch) - closed.
- 0006874: [middle end (typedtree to clambda)] Inefficient code generated for module function arguments (garrigue) - closed.
- 0006979: [back end (clambda to assembly)] Weird performance on numerical code on x86 (frisch) - closed.
- 0007022: [back end (clambda to assembly)] Unboxing should be done earlier, avoiding a second pass (frisch) - closed.
- 0007026: [middle end (typedtree to clambda)] Polymorphic variant with no arguments aren't treated as immediate in record field assignment (gasche) - closed.
- 0006512: [middle end (typedtree to clambda)] intermediate float boxing with inlined functions that contain a branch (frisch) - closed.
- 0006985: [~DO NOT USE (was: OCaml general)] `module type of struct include Bar end` exposes %s#row when Bar contains private row types (garrigue) - closed.
- 0007064: [typing] deprecated attribute not properly interpreted on modules (frisch) - closed.
- 0006396: [typing] Warnings-as-errors not properly flushed in the toplevel (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.
- 0006802: [runtime system and C interface] unix and nums can not be Dynlinked together (Assert_failure in bytecomp/dll.ml) - closed.
- 0006108: [~DO NOT USE (was: OCaml general)] Crash toplevel by using compiler-libs - closed.
- 0006780: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Array.init raises the wrong exception for invalid argument - closed.
- 0006542: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Segfault with improper use of let-rec - closed.
- 0003019: [documentation] Document "noalloc" annotation on primitive declarations (frisch) - closed.
- 0005325: [~DO NOT USE (was: OCaml general)] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - closed.
- 0006681: [~DO NOT USE (was: OCaml general)] Signatures as ppx payload (frisch) - closed.
- 0007059: [~DO NOT USE (was: OCaml general)] Warning 8 suppresses warning 25 (frisch) - closed.
- 0006771: [platform support (windows, cross-compilation, etc)] Thread lock up (xleroy) - closed.
- 0007081: [~DO NOT USE (was: OCaml general)] ocaml.ppwarning ignored in the toplevel (dim) - closed.
- 0005995: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] ocamldep should error out if a rewriter returns an error (dim) - closed.
- 0007098: [~DO NOT USE (was: OCaml general)] Loss of ppx context in toplevel after an exception (frisch) - closed.
- 0007101: [~DO NOT USE (was: OCaml general)] The toplevel does not close in_channel for libraries specified on its command line. (frisch) - closed.
- 0007103: [typing] Type a is not compatible with type 'a (garrigue) - 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: [~DO NOT USE (was: 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.
- 0007042: [back end (clambda to assembly)] CSE optimization confuses -0.0 with 0.0 (xleroy) - closed.
- 0006895: [documentation] Allow OCaml manual to be built independently (gasche) - closed.
- 0007054: [configure and build/install] Cannot finish building "make bootstrap" (xleroy) - closed.
- 0007010: [configure and build/install] Fix undefined left shift of negative value. (shinwell) - closed.
- 0006883: [typing] Performance bottleneck in parmatch.ml - 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: [~DO NOT USE (was: 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.
- 0007055: [typing] the typer checks but doesn't infer variance in the presence of type constraints (garrigue) - closed.
- 0006981: [typing] Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type. (garrigue) - closed.
- 0006920: [~DO NOT USE (was: OCaml general)] Use of @@ seems to trip backtrace line reports (dim) - closed.
- 0006946: [typing] Uncaught exception with wrong type for "%ignore" (garrigue) - closed.
- 0006762: [~DO NOT USE (was: OCaml general)] warning 45 doesn't play well with re-exported type definitions (frisch) - closed.
- 0006806: [~DO NOT USE (was: OCaml general)] Syntax shortcut for putting a type annotation on a record field (dim) - 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Error message for _ in expression is incomprehensible (frisch) - closed.
- 0006899: [typing] optional parameters and non generalizable type variables (garrigue) - closed.
- 0006316: [standard library] Scanf cannot parse large unsigned int64s (gasche) - closed.
- 0006722: [back end (clambda to assembly)] support for the x32 architecture - closed.
- 0006902: [runtime system and C interface] What to do with when finalizing channels? (frisch) - closed.
- 0006937: [~DO NOT USE (was: OCaml general)] Incorrect command line option's name (frisch) - 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.
- 0004800: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] lack of syntax for pattern-matching with no branches (garrigue) - closed.
- 0006776: [runtime system and C interface] The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime - closed.
- 0006801: [typing] Exhaustiveness messages for GADTs suggest patterns that will not type check (garrigue) - 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: [~DO NOT USE (was: 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.
- 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 and C interface] Generalized polymorphic #install_printer (chambart) - closed.
- 0006871: [standard library] result type too generic in pervasives (OCaml 4.03) (gasche) - closed.
- 0006636: [~DO NOT USE (was: 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.
- 0006468: [~DO NOT USE (was: OCaml general)] Backtraces in toplevel (whitequark) - closed.
- 0006855: [documentation] ocamlopt generates zero-length .annot file; ocamlc generates full file (gasche) - closed.
- 0006679: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] please add List.cons (gasche) - closed.
- 0006672: [~DO NOT USE (was: OCaml general)] Unused variance specification allowed on destructive type substitution (garrigue) - closed.
- 0006816: [~DO NOT USE (was: OCaml general)] the lexer should not allow consecutive literal numbers (gasche) - closed.
- 0006719: [standard library] Buffer.add_channel is unusable (gasche) - closed.
- 0006635: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Allow Android builds with systhreads (gasche) - closed.
- 0006760: [runtime system and C interface] 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.
- 0006748: [~DO NOT USE (was: OCaml general)] Functional values in cmt files (frisch) - closed.
- 0006742: [typing] Question: virtual_flag in typedtree is duplicated. (garrigue) - closed.
- 0006737: [typing] The fun x -> body expression in Typedtree receives the attrbitutes of the body (frisch) - closed.
- 0006611: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Accept value declarations as structure items (frisch) - closed.
- 0006674: [~DO NOT USE (was: OCaml general)] "index out of bounds" when compiling pattern matching on long sum type (maranget) - closed.
- 0006646: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] show_module should indicate its elision (garrigue) - closed.
- 0006615: [~DO NOT USE (was: 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 and C interface] It would be nice if <caml/*.h> didn't define types like "int64" - closed.
- 0004877: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Strange Pprintast output with ppx_deriving (doligez) - closed.
- 0007228: [runtime system and C interface] GC not aggressive enough, leads to OOM in simple conditions - closed.
- 0006545: [platform support (windows, cross-compilation, etc)] Update README.win32 - closed.
- 0006906: [~DO NOT USE (was: OCaml general)] error message not good for unmatched paren when using #use in toplevel - closed.
- 0007168: [runtime system and C interface] Exceeeding stack limit without growing stack buffer - closed.
- 0006586: [~DO NOT USE (was: OCaml general)] Short-hand version of attributes on structure items and class fields - closed.
- 0007162: [~DO NOT USE (was: OCaml general)] Lablgtk-based GUI crashes with OCaml 4.03+beta1 (garrigue) - closed.
- 0007161: [runtime system and C interface] Ephemerons lead to crash related to weak hash tables - closed.
- 0006668: [documentation] Missing "type-constraint" in grammar for "mod-constraint" - closed.
- 0006808: [runtime system and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Extend -opaque to .cmi and warn on missing .cmx files (lpw25) - closed.
- 0007051: [~DO NOT USE (was: OCaml general)] Timings for the various passes of the compiler (chambart) - closed.
- 0006574: [~DO NOT USE (was: OCaml general)] Meaningfull compiler backtraces - closed.
- 0006805: [back end (clambda to assembly)] Duplicated expression when compiling with -g - closed.
- 0005197: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 0006664: [runtime system and C interface] 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: [~DO NOT USE (was: 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.
[245 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: [~DO NOT USE (was: OCaml general)] Top-level custom printing for GADTs: interface change in 4.02.2 - closed.
- 0006919: [runtime system and C interface] corrupted final_table - closed.
[6 issues]

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

Ocaml version 4.02.2

- 0006779: [~DO NOT USE (was: 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) - closed.
- 0006837: [platform support (windows, cross-compilation, etc)] Libraries with profiling information are not built on FreeBSD amd64 (shinwell) - closed.
- 0006749: [middle end (typedtree to clambda)] ocamlopt returns n for (n mod 1) instead of 0 (shinwell) - closed.
- 0006266: [~DO NOT USE (was: OCaml general)] Cross compilation for iOs, Android etc (doligez) - closed.
- 0006797: [~DO NOT USE (was: OCaml general)] -output-obj should support autolink (doligez) - closed.
- 0006845: [~DO NOT USE (was: OCaml general)] New mode where ocamlc doesn't check list of primitives (doligez) - closed.
- 0006693: [runtime system and C interface] 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: [~DO NOT USE (was: OCaml general)] Weak dependencies should be recorded even if not present (gasche) - closed.
- 0006879: [back end (clambda to assembly)] wrong optimization of 1 mod n (shinwell) - closed.
- 0005887: [runtime system and C interface] 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: [~DO NOT USE (was: 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.
- 0006772: [configure and build/install] Fail to compile 'asmrun/signals_asm.c'. (shinwell) - closed.
- 0006849: [typing] Inverted pattern unification error (garrigue) - closed.
- 0006857: [~DO NOT USE (was: OCaml general)] __MODULE__ doesn't give the current module with -o (garrigue) - closed.
- 0006667: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Support for custom #... symbols (processed by ppx rewriters) (frisch) - closed.
- 0006078: [runtime system and C interface] Release the runtime system when calling caml_dlopen (dim) - closed.
- 0006616: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 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: [~DO NOT USE (was: 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 and C interface] GC callbacks - closed.
- 0006573: [otherlibs] extern "C" for systhreads/threads.h - closed.
- 0006727: [standard library] Printf.sprintf "%F" misbehavior - closed.
- 0006665: [~DO NOT USE (was: OCaml general)] Failure of tests/asmcomp on sparc - closed.
- 0006663: [~DO NOT USE (was: OCaml general)] A misleading typo in parsetree.mli - closed.
[77 issues]

OCaml - 4.02.1 (Released 2014-10-14) View Issues ]
====================================
- 0006535: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Unable to build Android cross-compiler with OCaml 4.02.0 (shinwell) - closed.
- 0006466: [~DO NOT USE (was: OCaml general)] Non-exhaustive matching warning message for open types is confusing (garrigue) - closed.
- 0006581: [typing] Some bugs in generative functor (garrigue) - closed.
- 0005904: [~DO NOT USE (was: OCaml general)] -ppx could be made working in toplevel (frisch) - closed.
- 0006557: [standard library] String.sub throws Invalid_argument("Bytes.sub") " - closed.
- 0006602: [~DO NOT USE (was: OCaml general)] Fatal error when tracing a function with abstract type (garrigue) - closed.
- 0006582: [~DO NOT USE (was: OCaml general)] Backport fix for 0005904 into 4.02.1 (frisch) - closed.
- 0006592: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] __MODULE__ aborts the compiler/toplevel if the module name cannot be inferred (garrigue) - closed.
- 0006554: [runtime system and C interface] 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 and C interface] Gc.get () divides major_heap_increment by eight. (dim) - closed.
- 0006529: [~DO NOT USE (was: OCaml general)] 4.02.0 compiles modules twice slower than 4.01 - closed.
- 0006609: [~DO NOT USE (was: 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 and C interface] Add stack overflow handling for native code (doligez) - closed.
- 0006181: [configure and build/install] Improve MSVC build (doligez) - closed.
- 0006522: [~DO NOT USE (was: OCaml general)] double warning on (&) and (or) - closed.
- 0006536: [~DO NOT USE (was: OCaml general)] format "%#" rejected as legacy format - closed.
[26 issues]

OCaml - 4.02.0 (Released 2014-08-29) View Issues ]
====================================
- 0006368: [back end (clambda to assembly)] [github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies (shinwell) - resolved.
- 0006039: [~DO NOT USE (was: OCaml general)] Syntax improvement for functor type definitions (shinwell) - resolved.
- 0003544: [~DO NOT USE (was: OCaml general)] immutable strings (gasche) - closed.
- 0001381: [~DO NOT USE (was: OCaml general)] open_as would be convenient - closed.
- 0003882: [~DO NOT USE (was: OCaml general)] Wish: Format.pp_print_list (gasche) - closed.
- 0006374: [typing] A single wildcard for n-ary type constructors (frisch) - closed.
- 0003599: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." (doligez) - closed.
- 0006460: [runtime system and C interface] caml_make_array assumes small arrays (doligez) - closed.
- 0006489: [back end (clambda to assembly)] caml_callback2 crashes on aarch64 (shinwell) - closed.
- 0006476: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Combine subsequent Iconst_symbol instructions - closed.
- 0006463: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] untypeast.ml does not correctly untype ASTs. (frisch) - closed.
- 0002719: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Error messages for 1-tuples are confusing (frisch) - closed.
- 0005854: [~DO NOT USE (was: OCaml general)] Add a deprecated warning (frisch) - closed.
- 0006038: [runtime system and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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 and C interface] 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: [~DO NOT USE (was: OCaml general)] Token += can no longer be used in expression (lpw25) - closed.
- 0006219: [typing] Existential types for exceptions (yallop) - closed.
- 0005584: [~DO NOT USE (was: OCaml general)] Open Extensible Types (garrigue) - closed.
- 0006387: [~DO NOT USE (was: OCaml general)] Parsetree.row_field.Rtag should contain attributes (frisch) - closed.
- 0006385: [runtime system and C interface] CLOSURE opcode tries to allocate large objects on the minor heap - closed.
- 0006386: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] The default exception handler doesn't use functions registered with Printexc.register_printer (dim) - closed.
- 0005941: [runtime system and C interface] OCaml handler for uncaught exception (dim) - closed.
- 0005377: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Big_int and Num "of_string" functions do not work with hexadecimal literals (gasche) - closed.
- 0006246: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] A faster version of "raise" which does not maintain the backtrace (frisch) - closed.
- 0005009: [~DO NOT USE (was: OCaml general)] Extending exception tag blocks (frisch) - closed.
- 0004765: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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 and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Optional arguments given as ~?arg instead of ?arg in message - closed.
- 0006407: [standard library] No equivalent to Pervasives.(^) for Bytes - closed.
- 0006399: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] calls to stat() don't release the runtime lock (shinwell) - closed.
- 0006398: [~DO NOT USE (was: OCaml general)] Toplevel should have a #ppx directive (shinwell) - closed.
- 0001231: [~DO NOT USE (was: OCaml general)] Feature wish: better pretty-printing for cyclic values (shinwell) - closed.
- 0006228: [~DO NOT USE (was: 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 and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] ocaml (toplevel) should have a -no-init option (gasche) - closed.
- 0006243: [misc] Coq doesn't compile in debug mode - closed.
- 0006239: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] OCaml compiler loops on an example using GADTs (garrigue) - closed.
- 0006194: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Provide a objinfo library (octachron) - resolved.
- 0005921: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 0005546: [back end (clambda to assembly)] moving a function into an internal module slows down its use (frisch) - closed.
- 0005343: [~DO NOT USE (was: 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 and C interface] 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 and C interface] Wish: configure ocaml so that old caml_modify is used - closed.
- 0006123: [typing] Assert_failure("typing/ctype.ml", 359, 6) (garrigue) - closed.
- 0006131: [back end (clambda to assembly)] Ref: ID 0005910 - same error at different location in code for haxe compile (meurer) - closed.
- 0005565: [documentation] Typing errors in the examples of the "Format mini-guide" on the website - 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: [~DO NOT USE (was: OCaml general)] Highly misleading error message - closed.
- 0004743: [documentation] About generational global roots in the manual - closed.
- 0005350: [~DO NOT USE (was: OCaml general)] Check return codes everywhere - closed.
- 0006090: [typing] Module constraint + private type seems brocken in ocaml 4.01.0 (garrigue) - closed.
- 0006104: [~DO NOT USE (was: OCaml general)] wrong warning 37 with private types (gasche) - closed.
- 0003121: [~DO NOT USE (was: OCaml general)] toplevel to provide #use like command with #load semantics (gasche) - closed.
- 0005825: [~DO NOT USE (was: OCaml general)] Toplevel: please add a primitive to compile a file test.ml as a module Test. (meyer) - closed.
- 0005723: [~DO NOT USE (was: OCaml general)] add environment variables to control compiler options (meyer) - closed.
- 0005802: [typing] Avoiding "let" as a value name (garrigue) - closed.
- 0005739: [standard library] Printf.printf "%F" (-.nan) returns -nan - closed.
- 0006073: [~DO NOT USE (was: OCaml general)] Add signature to Tstr_include (frisch) - closed.
- 0006072: [configure and build/install] configure does not handle FreeBSD current (i.e. 10) correctly, leading to build failures - closed.
- 0006021: [ocamldoc] [patch] document the "const:" and "recfield:" cross-reference syntaxes (guesdon) - closed.
- 0005815: [typing] Multiple exceptions in signatures gives an error (garrigue) - 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 0005686: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .itarget does not work (meyer) - closed.
- 0005755: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Implement a test suite for ocamlbuild (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: [~DO NOT USE (was: OCaml general)] Warning display problems (lefessan) - closed.
- 0006031: [~DO NOT USE (was: 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 and C interface] 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 and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 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: [~DO NOT USE (was: OCaml general)] read_cmt -annot does not report internal references (frisch) - closed.
- 0005809: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Fatal error: exception End_of_file when using -o file.cmo (meyer) - closed.
- 0005747: [~DO NOT USE (was: OCaml general)] 'unused open' warning not given when compiling with -annot (frisch) - closed.
- 0004994: [~DO NOT USE (was: OCaml general)] ocaml-mode doesn't work with xemacs21 - closed.
- 0005722: [~DO NOT USE (was: OCaml general)] toplevel: do not print full module path for record fields except the first one (garrigue) - closed.
- 0005711: [~DO NOT USE (was: OCaml general)] Envaux.env_from_summary should be available in compiler-libs (lefessan) - closed.
- 0005708: [~DO NOT USE (was: OCaml general)] OCamldebugger crashs on set print_depth/print_length (lefessan) - closed.
- 0005702: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] error during "make opt" for svn trunk on sparc (lefessan) - closed.
- 0005662: [runtime system and C interface] typo in md5.c (lefessan) - closed.
- 0005618: [~DO NOT USE (was: OCaml general)] enrich "not a function" compile error with type information (frisch) - closed.
- 0006157: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Add extern int code_of_unix_error (value error); - closed.
- 0004138: [documentation] Documentation for Unix.mkdir - closed.
- 0004013: [~DO NOT USE (was: OCaml general)] feature wish: define CAML_NAME_SPACE per default - closed.
- 0006074: [runtime system and C interface] Wrong error message for failing Condition.broadcast - closed.
- 0005945: [runtime system and C interface] 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: [~DO NOT USE (was: OCaml general)] Keyboard events incorrectly delivered to Graphics module's polling routines when compiled natively - closed.
- 0004469: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Graphics.wait_next_event in Win32 hangs if window closed. - closed.
- 0005098: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] [patch] Clambda switch printing is broken (xclerc) - closed.
- 0005800: [typing] missing labels in generated applications in Typecore.type_argument (garrigue) - closed.
- 0005775: [~DO NOT USE (was: 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 and C interface] 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: [~DO NOT USE (was: OCaml general)] %revapply and %apply do not work properly unless they are fully applied. (lefessan) - closed.
- 0005757: [runtime system and C interface] GC compaction bug (doligez) - closed.
- 0005758: [~DO NOT USE (was: 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 and C interface] byterun/startup.c lacks code checksum initialization - closed.
- 0005206: [~DO NOT USE (was: OCaml general)] Request for stronger random seeding (doligez) - closed.
- 0005790: [typing] Polymorphic field values no longer generalizable with (type t) (garrigue) - closed.
- 0004965: [~DO NOT USE (was: OCaml general)] String.compare not specialized (shinwell) - closed.
- 0005290: [~DO NOT USE (was: OCaml general)] Hashing of custom blocks (xleroy) - closed.
- 0003662: [~DO NOT USE (was: OCaml general)] more helpful error message with incompatible .cmis (gasche) - closed.
- 0004848: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] #install_printer gives error in 4.0X (doligez) - closed.
- 0005433: [~DO NOT USE (was: OCaml general)] New ARM backend (meurer) - closed.
- 0005654: [~DO NOT USE (was: 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.

- 0005666: [configure and build/install] C includes don't provide a revision number - closed.
- 0005389: [~DO NOT USE (was: OCaml general)] GC fails to collect large array (doligez) - closed.
- 0005598: [~DO NOT USE (was: 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 and C interface] missing initializer in caml_final_custom_operations - closed.
- 0005597: [runtime system and C interface] 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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.
- 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: [~DO NOT USE (was: OCaml general)] "make install" should install interface files for toploop-manipulation modules (xleroy) - closed.
- 0004653: [~DO NOT USE (was: OCaml general)] Install utils/config.cmi so OCaml programs can query their environment (xleroy) - closed.
- 0002415: [~DO NOT USE (was: 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 and C interface] 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: [~DO NOT USE (was: OCaml general)] Uncuaght CType.Unify exception (garrigue) - closed.
- 0005131: [~DO NOT USE (was: OCaml general)] compilation of custom runtime with g++ generates lots of warnings (doligez) - closed.
- 0005311: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] map_file fails to map to empty bigarray - closed.
- 0003571: [~DO NOT USE (was: OCaml general)] mmaped bigarrays over NFS - closed.
- 0004866: [documentation] Module Ratio - closed.
- 0005295: [~DO NOT USE (was: OCaml general)] Systhreads bug - closed.
- 0005415: [documentation] Obtaining an OCaml closure from C (xleroy) - closed.
- 0005397: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] caml-types-explore does not work (doligez) - closed.
- 0005218: [~DO NOT USE (was: OCaml general)] use $(MAKE) instead of "make" in Makefiles (doligez) - closed.
- 0005677: [~DO NOT USE (was: OCaml general)] reserve value as a keyword (genprintval.ml) - closed.
- 0005661: [~DO NOT USE (was: OCaml general)] Fixes for the test-suite... - closed.
- 0005274: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] natdynlink detection on powerpc and hurd (doligez) - closed.
- 0005233: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Treat let-module expressions as non-expansive where possible (garrigue) - closed.
- 0004511: [~DO NOT USE (was: OCaml general)] Local modules remove polymorphism. (garrigue) - closed.
- 0005224: [~DO NOT USE (was: OCaml general)] Confusing error message at object type definition (garrigue) - closed.
- 0005291: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Typo: explicitely (doligez) - closed.
- 0005501: [runtime system and C interface] Wish: Increase IO_BUFFER_SIZE (doligez) - closed.
- 0005310: [~DO NOT USE (was: OCaml general)] Ratio.create_ratio and Ratio.create_normalized_ratio have behaviors that can be seen as misleading (doligez) - closed.
- 0005512: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] combining -i and -annot - closed.
- 0005552: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] A warning to detect more unused values and value declarations (frisch) - closed.
- 0003888: [~DO NOT USE (was: OCaml general)] Missing "String.unescaped" (lefessan) - closed.
- 0005309: [~DO NOT USE (was: OCaml general)] Queue.add is not thread/signal safe (lefessan) - closed.
- 0005476: [~DO NOT USE (was: OCaml general)] bug in native code compilation of let rec on float arrays (lefessan) - closed.
- 0005179: [~DO NOT USE (was: OCaml general)] Port OCaml to mingw-w64 to have 64bit OCaml without MSVC Toolchain - closed.
- 0005357: [~DO NOT USE (was: OCaml general)] Warning for redundant open M and let open M in (frisch) - closed.
- 0005487: [~DO NOT USE (was: OCaml general)] Improved GDB support - closed.
- 0005436: [~DO NOT USE (was: OCaml general)] Clarify (or fix) the semantics of Oo.id (garrigue) - closed.
- 0004888: [~DO NOT USE (was: OCaml general)] Improve again x86/ELF for GNU debugging tools - closed.
- 0004895: [~DO NOT USE (was: OCaml general)] Windows (mingw): Unix.set/clear_close_on_exec modifies the descriptor - closed.
- 0005314: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Unregistered GC memory page with empty block last in a section and bad luck. - closed.
- 0005297: [~DO NOT USE (was: OCaml general)] compiler does not check %primitive's existence (lefessan) - closed.
- 0005064: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] various problems/typos in the ocaml doc (protz) - closed.
- 0001164: [~DO NOT USE (was: OCaml general)] Problème d'utilisation du module Num en compilation native sous Windows (O'Caml v3.04) - closed.
- 0005477: [~DO NOT USE (was: OCaml general)] ocaml graphics not working on popular Linux distros; ocaml should use pkg-config to get X11 switches - closed.
- 0005396: [~DO NOT USE (was: OCaml general)] ocamldep should have mode that does not make assumptions about build system (lefessan) - closed.
- 0005383: [~DO NOT USE (was: OCaml general)] Cannot build OCaml 3.12.1 Win32/MSVC (protz) - closed.
- 0005471: [~DO NOT USE (was: OCaml general)] [PATCH] handle SIGBUS on shrinked Bigarray mapped files (protz) - closed.
- 0005421: [~DO NOT USE (was: OCaml general)] fd leak in Unix.ml? (protz) - closed.
- 0005475: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Please add extern "C" declarations (for C++) in installed headers (lefessan) - closed.
- 0005327: [~DO NOT USE (was: OCaml general)] Unix.select blocks under Windows if same socket listed in first and third arguments - closed.
- 0005329: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Filename.dirname is not handling multiple / on Unix - closed.
- 0000352: [~DO NOT USE (was: OCaml general)] have ocaml support the '-' option (for standard input) (doligez) - closed.
- 0005439: [~DO NOT USE (was: OCaml general)] Upgrade to latest config.guess and config.sub. (protz) - closed.
- 0005425: [~DO NOT USE (was: OCaml general)] GADTs with object type indexes (garrigue) - closed.
- 0005427: [~DO NOT USE (was: OCaml general)] GADTs with object type indexes (garrigue) - closed.
- 0005287: [~DO NOT USE (was: OCaml general)] optimization of partial applications (xleroy) - closed.
- 0005205: [~DO NOT USE (was: OCaml general)] Performance bug: pushing let-alias inside loop body (xleroy) - closed.
- 0005454: [~DO NOT USE (was: OCaml general)] Digest.compare is missing and md5 doc update (meyer) - closed.
- 0005169: [~DO NOT USE (was: OCaml general)] build failes. ocamldoc/Makefile.nt is not up-to-date (doligez) - closed.
- 0005171: [~DO NOT USE (was: OCaml general)] map.ml function `join` does more comparisons than needed (protz) - closed.
- 0005358: [~DO NOT USE (was: OCaml general)] first class modules don't allow "with type" declarations for types in sub-modules (frisch) - closed.
- 0004880: [~DO NOT USE (was: OCaml general)] caml_print_exception_backtrace do not print backtrace when main program is C (xleroy) - closed.
- 0004869: [~DO NOT USE (was: OCaml general)] assembly labels loop on huge generated .ml files (xleroy) - closed.
- 0005349: [~DO NOT USE (was: OCaml general)] Hashtbl.replace is incorrect according to its specification (xleroy) - closed.
- 0005313: [~DO NOT USE (was: OCaml general)] ocamlopt -g misses optimizations (meyer) - closed.
- 0005437: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] copysign (xleroy) - closed.
- 0005288: [~DO NOT USE (was: OCaml general)] fix escaping pattern aliases (xleroy) - closed.
- 0005225: [~DO NOT USE (was: OCaml general)] Strengthen the built-in hash function (xleroy) - closed.
- 0005246: [~DO NOT USE (was: OCaml general)] Please provide the hypot function (xleroy) - closed.
- 0005347: [~DO NOT USE (was: OCaml general)] Make tuple expression type errors more specific (garrigue) - closed.
- 0005385: [~DO NOT USE (was: OCaml general)] Not compiling `opt` in OS X 10.6 (doligez) - closed.
- 0000245: [~DO NOT USE (was: OCaml general)] Suggestion: List.iteri (frisch) - closed.
- 0005518: [runtime system and C interface] 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: [~DO NOT USE (was: OCaml general)] Caml-mode: Stack overflow in regexp matcher (doligez) - closed.
- 0005403: [~DO NOT USE (was: OCaml general)] Bugfixes for emacs/Makefile - closed.
- 0005498: [typing] Assert failure in typeclass.ml (garrigue) - closed.
- 0005393: [~DO NOT USE (was: OCaml general)] Fails to build from source on GNU/kFreeBSD because of -R link option (protz) - closed.
- 0001835: [~DO NOT USE (was: OCaml general)] Digest function to transform a md5sum string into a Digest.t - closed.
- 0005453: [~DO NOT USE (was: OCaml general)] Modules Graphics and labltk not build because of MultiarchSpec (doligez) - closed.
- 0005469: [~DO NOT USE (was: OCaml general)] ocamlc functor type private messed up (garrigue) - closed.
- 0005455: [documentation] .emacs instructions, add lines to recognize ocaml scripts - closed.
- 0005449: [~DO NOT USE (was: OCaml general)] In GADT's, _ type variables are replaced with 'a, 'b, etc (garrigue) - closed.
- 0005450: [~DO NOT USE (was: OCaml general)] The name of types introduced by (type foo) are not used for the inferred type variables (garrigue) - closed.
- 0005445: [~DO NOT USE (was: OCaml general)] The top level drops all the "fancy" type variables (garrigue) - closed.
- 0005369: [~DO NOT USE (was: OCaml general)] Wrong error location with records (doligez) - closed.
- 0002395: [~DO NOT USE (was: OCaml general)] Array.copy can be faster - closed.
- 0002787: [~DO NOT USE (was: OCaml general)] Optimiser Array.blit - closed.
- 0004591: [~DO NOT USE (was: OCaml general)] A faster version of Array.sub implemented in C (xleroy) - closed.
- 0005342: [~DO NOT USE (was: OCaml general)] "Optional argument cannot be erased" warning is not issued when an optional argument is followed only by labeled arguments (garrigue) - closed.
- 0005332: [~DO NOT USE (was: OCaml general)] pattern matching problem with GADT - closed.
- 0005322: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] adopt minor heap size to the available free memory - closed.
- 0004827: [~DO NOT USE (was: OCaml general)] Module typing weirdness (hnrgrgr) - closed.
- 0004682: [~DO NOT USE (was: OCaml general)] Uninstaller does not erase OCAMLLIB environment variable (protz) - closed.
- 0005370: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Wrong ext_ref entries in .annot files when the path contains sub-modules (xclerc) - closed.
- 0005024: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] danger dans compare custom? - closed.
[9 issues]

OCaml - 3.12.1+dev (Not Yet Released) View Issues ]
=====================================
- 0004702: [~DO NOT USE (was: OCaml general)] C-threads and callbacks (xleroy) - closed.
- 0005188: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] incorrect calculation for stack overflow detection (xleroy) - closed.
- 0005336: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Crash following pack/unpack/functor application (xleroy) - closed.
- 0005306: [~DO NOT USE (was: OCaml general)] Comparing to Thread.self() raises exception at runtime (xleroy) - closed.
- 0005319: [~DO NOT USE (was: OCaml general)] %r11 clobbered by Lswitch in Windows AMD64 native-code compilation (xleroy) - closed.
- 0005328: [~DO NOT USE (was: OCaml general)] Unix.select leaves sockets in non-blocking mode under Windows - closed.
- 0004898: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Identificateurs dans Lazy (xclerc) - closed.
- 0005211: [documentation] genlex full documentation (xclerc) - closed.
- 0004444: [~DO NOT USE (was: OCaml general)] Lack of String.strip (xclerc) - closed.
- 0005237: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] bug in bytecode packing algorithm (xleroy) - closed.
- 0005262: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Confusing exception printing (xclerc) - closed.
- 0005331: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Tail call annotations not filled in by ocamlopt (xclerc) - closed.
- 0004959: [~DO NOT USE (was: OCaml general)] ocamlopt does not output tail-call info in .annot files (xclerc) - closed.
- 0005110: [~DO NOT USE (was: OCaml general)] ocamldep -modules returns *predef* on optional arguments. (xclerc) - closed.
- 0005156: [~DO NOT USE (was: OCaml general)] Toplevel runs into Assert_failure("typing/ctype.ml", 266, 23) (garrigue) - closed.
- 0005115: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Unable to override a value in a module type with ocamlc. (garrigue) - closed.
- 0005192: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] unused variables not detected in "include (struct .. end)", with fix (doligez) - closed.
- 0005258: [~DO NOT USE (was: OCaml general)] Unix fd leak under windows (doligez) - closed.
- 0005280: [~DO NOT USE (was: OCaml general)] 64-bit accesses should be aligned on mips* (xleroy) - closed.
- 0005281: [~DO NOT USE (was: OCaml general)] typo in error message reporting Need_recursive_types. - closed.
- 0005272: [~DO NOT USE (was: OCaml general)] caml.el doesn't recognize downto as a keyword - closed.
- 0005234: [~DO NOT USE (was: OCaml general)] ocamlopt -shared does not preserve order of -cclib options - closed.
- 0005244: [~DO NOT USE (was: OCaml general)] String.compare uses polymorphic compare_val - closed.
- 0005069: [~DO NOT USE (was: OCaml general)] caml_sys_open may block while holding runtime lock - closed.
- 0005202: [documentation] bad documentation for atan2 - closed.
- 0005175: [~DO NOT USE (was: OCaml general)] Bigarray “get” evaluates its argument twice - closed.
- 0005177: [~DO NOT USE (was: OCaml general)] Gc.compact does implies Gc.full_major - closed.
- 0005164: [~DO NOT USE (was: OCaml general)] Multiple 'module type of' are incompatible - closed.
- 0005146: [~DO NOT USE (was: OCaml general)] Incorrect removals of unescaped end-of-lines in OCaml sources - closed.
- 0005136: [~DO NOT USE (was: OCaml general)] caml-mode: string-to-int is obsolete since emacs 22.1 - closed.
- 0005124: [~DO NOT USE (was: OCaml general)] Subsitution inside a signature leads to odd printing - closed.
- 0005123: [~DO NOT USE (was: OCaml general)] Big_int.shift_right* methods never yield zero_big_int - closed.
- 0005117: [~DO NOT USE (was: OCaml general)] build failure without HAS_MMAP on UNIX - closed.
[94 issues]

OCaml - 3.12.0 (Released 2010-08-02) View Issues ]
====================================
- 0004738: [~DO NOT USE (was: OCaml general)] OCaml's distribution should provide a single build procedure - closed.
- 0002049: [~DO NOT USE (was: OCaml general)] include et application de foncteur - closed.
- 0005007: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Add dllibs information to objinfo output (xclerc) - closed.
- 0004528: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] sig_of_struct - closed.
- 0004648: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Inclusion d'une structure dans une signature - closed.
- 0004974: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] ARCH_INT64_ALIGN incorrectly detected on linux / arm / gcc 4.4.3 (xleroy) - closed.
- 0005089: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Regression: changes to disable natdynlink for 32-bit OSX also disable using shared libraries - closed.
- 0005012: [~DO NOT USE (was: OCaml general)] Bus error in 32-bit Snow Leopard OCaml-3.11.2-native-generated program (may be caused by Dynlink) - closed.
- 0004641: [~DO NOT USE (was: OCaml general)] Bit manipulation for Big_int (xleroy) - closed.
- 0004210: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Make objinfo read all kind of objects (xleroy) - closed.
- 0004831: [documentation] Use the tag @since provided by ocamldoc (guesdon) - closed.
- 0004964: [~DO NOT USE (was: OCaml general)] infix function names in .annot files (xclerc) - closed.
- 0004807: [documentation] class initialization order (garrigue) - closed.
- 0005017: [~DO NOT USE (was: OCaml general)] Negative number support for big_int bit manipulations (xleroy) - closed.
- 0004874: [~DO NOT USE (was: OCaml general)] Str library: digits match \b (xleroy) - closed.
- 0004973: [~DO NOT USE (was: OCaml general)] Failure "Unknown handle" (gildor) - closed.
- 0004894: [~DO NOT USE (was: OCaml general)] Windows (mingw): Unix.select and non-blocking sockets (gildor) - closed.
- 0004789: [~DO NOT USE (was: OCaml general)] Windows: Unix.select failing with EPIPE error (gildor) - closed.
- 0004844: [~DO NOT USE (was: OCaml general)] Unix.select bug (triggered if linked against threads) (gildor) - closed.
- 0003302: [~DO NOT USE (was: OCaml general)] Int64.of_string does not detect overflow from positive to negative ints - closed.
- 0004876: [~DO NOT USE (was: OCaml general)] error in string to integers conversions (xclerc) - closed.
- 0005008: [~DO NOT USE (was: OCaml general)] Stack smash(?) on Win64 causes C "float" function to return random results (xleroy) - closed.
- 0004795: [~DO NOT USE (was: OCaml general)] -fPIC error with x86_64 (xleroy) - closed.
- 0004996: [~DO NOT USE (was: OCaml general)] Subst.compose is coded wrongly. (xleroy) - closed.
- 0005029: [~DO NOT USE (was: OCaml general)] ocamlopt generates code with unbound symbols on arm (xleroy) - closed.
- 0005030: [~DO NOT USE (was: OCaml general)] ocamlopt generates duplicate symbols on arm (xleroy) - closed.
- 0001784: [~DO NOT USE (was: OCaml general)] Segfault in threads library (xleroy) - closed.
- 0004979: [~DO NOT USE (was: OCaml general)] win32: GetLastError and threads (xleroy) - closed.
- 0005013: [~DO NOT USE (was: OCaml general)] Condition.broadcast may not wake up all threads in native Windows build (xleroy) - closed.
- 0005016: [~DO NOT USE (was: OCaml general)] inf-caml.el globally overwrites comint-output-filter-function (remy) - closed.
- 0004759: [~DO NOT USE (was: OCaml general)] March 28, 2009 CVS version won't bootstrap on Mac OS X Intel 64 (xleroy) - closed.
- 0004638: [~DO NOT USE (was: OCaml general)] Provide expm1 and log1p (xleroy) - closed.
- 0003047: [~DO NOT USE (was: OCaml general)] Add Unix.setgroups (xleroy) - closed.
- 0004245: [~DO NOT USE (was: OCaml general)] Integer conversions do not detect overflow in corner cases (xleroy) - closed.
- 0005081: [~DO NOT USE (was: OCaml general)] Checking of class type inclusion with arguments is broken (garrigue) - closed.
- 0005075: [~DO NOT USE (was: OCaml general)] problem with optional arguments when defining a type with a "Some of <type>" constructor - closed.
- 0004824: [~DO NOT USE (was: OCaml general)] Narrowing the type of class parameters with module specification (garrigue) - closed.
- 0004862: [~DO NOT USE (was: OCaml general)] small bug in relaxed value restriction (garrigue) - closed.
- 0004683: [~DO NOT USE (was: OCaml general)] labltk script : false paths (garrigue) - closed.
- 0005060: [documentation] Typo in documentation - closed.
- 0005052: [~DO NOT USE (was: OCaml general)] Makefile.shared don't use threads.cma for otherlibs/labltk/browser - closed.
- 0004975: [~DO NOT USE (was: OCaml general)] Spelling errors - closed.
- 0005041: [~DO NOT USE (was: OCaml general)] Make new build system work on *BSD - closed.
- 0005055: [~DO NOT USE (was: OCaml general)] `head -1` will not work in some environments (doligez) - closed.
- 0004819: [~DO NOT USE (was: OCaml general)] Type error on record declarations too hard to read (garrigue) - closed.
- 0004478: [~DO NOT USE (was: OCaml general)] Type error message when constructors are mis-ordered could be clearer (garrigue) - closed.
- 0005057: [~DO NOT USE (was: OCaml general)] fatal typing error with local module + functor + polymorphic variant - closed.
- 0005054: [~DO NOT USE (was: OCaml general)] simple recursive value not accepted - closed.
- 0005051: [~DO NOT USE (was: OCaml general)] tkanim removal for Windows - closed.
- 0004857: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Unix stub header files missing (xleroy) - closed.
- 0004803: [documentation] Variant types in chapter "18 Interfacing C with Objective Caml" - closed.
- 0004742: [~DO NOT USE (was: OCaml general)] Ocaml disables finalisation functions after an exception occured in one finalisation function call. (doligez) - closed.
- 0005037: [~DO NOT USE (was: OCaml general)] 3.12.0+dev18: "module type of" produces unusable signatures for repeated definitions - closed.
- 0005031: [~DO NOT USE (was: OCaml general)] in 3.12.0+dev18 (2010-04-20), cannot link with module Unix (doligez) - closed.
- 0004716: [~DO NOT USE (was: OCaml general)] Improve error message "This expression has type foo but is used with type foo" (garrigue) - closed.
- 0003601: [~DO NOT USE (was: OCaml general)] "type ... and ..." is not commutative (garrigue) - closed.
- 0004534: [~DO NOT USE (was: OCaml general)] Confusing error message - closed.
- 0005036: [~DO NOT USE (was: OCaml general)] 3.12.0+dev18: "module type of" leaves weak polymorphic types in module type - closed.
- 0003013: [~DO NOT USE (was: OCaml general)] module_type_of_sig - closed.
- 0004136: [~DO NOT USE (was: OCaml general)] Obscure compilation message error "Illegal permutation of structure fields" - closed.
- 0004296: [~DO NOT USE (was: OCaml general)] compilation failed on module types with duplicated values - closed.
- 0004884: [~DO NOT USE (was: OCaml general)] optional argument does not work when Some is redefined - closed.
- 0004741: [~DO NOT USE (was: OCaml general)] utils/ccomp.ml orders -l flags before -L flags (xleroy) - closed.
- 0004676: [~DO NOT USE (was: OCaml general)] Num module locks up in Win64 (xleroy) - closed.
- 0004753: [documentation] Documentation of "polymorphic" variants is misleading (garrigue) - closed.
- 0004541: [~DO NOT USE (was: OCaml general)] Crash when debugging a program that calls Unix.fork() - closed.
- 0004971: [~DO NOT USE (was: OCaml general)] some minor bugs - closed.
- 0004984: [~DO NOT USE (was: OCaml general)] Error in the num library - closed.
- 0005025: [documentation] The manual says that lockf is not implemented for Win32 ports - closed.
- 0005011: [~DO NOT USE (was: OCaml general)] labltk doesn't compile against Tcl/tk 8.6 (not yet releases) - closed.
- 0005004: [~DO NOT USE (was: OCaml general)] Buffer.add_channel hangs - closed.
- 0004949: [~DO NOT USE (was: OCaml general)] objinfo outputs C objects in wrong order - closed.
- 0004954: [documentation] Missing Pervasive module in chapter 20 - closed.
- 0004940: [~DO NOT USE (was: OCaml general)] Problem with end-on-line convention on bytecomp/bytelink.ml (doligez) - closed.
- 0004941: [~DO NOT USE (was: OCaml general)] Physical Equality is not predictable - closed.
- 0004911: [~DO NOT USE (was: OCaml general)] weird behaviour of underscore in pattern matching - closed.
- 0004835: [~DO NOT USE (was: OCaml general)] None _ accepted as pattern match - closed.
- 0004717: [~DO NOT USE (was: OCaml general)] Ocaml does not warn about invalid wildcard uses - closed.
- 0004675: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Le nouveau -pack a besoin des .cmi (lefessan) - closed.
- 0004861: [~DO NOT USE (was: OCaml general)] OS X Intel dmg for 3.11.1 installs ocaml which doesn't work on OS X 10.6 (doligez) - closed.
- 0004988: [~DO NOT USE (was: OCaml general)] Contravariance lost with ocamlc -i (garrigue) - closed.
[3 issues]

OCaml - 3.11.2+dev (Not Yet Released) View Issues ]
=====================================
- 0004867: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Pretty printer pour exceptions (xclerc) - closed.
- 0004477: [~DO NOT USE (was: OCaml general)] Feature wish: custom exception printers (xclerc) - closed.
- 0003456: [~DO NOT USE (was: OCaml general)] Obj module should provide binding for Double_field and Store_double_field macros (xclerc) - closed.
- 0004685: [~DO NOT USE (was: OCaml general)] Please expose Filename.dir_sep (doligez) - closed.
- 0004003: [~DO NOT USE (was: OCaml general)] Generation of temporary files in module Filename should be improved (xclerc) - closed.
- 0004647: [~DO NOT USE (was: OCaml general)] [patch] provide Buffer.blit to avoid unnecessary allocation (xleroy) - closed.
- 0004847: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] incorrect parsing of floating point literals (xleroy) - closed.
- 0004955: [~DO NOT USE (was: OCaml general)] Type checker loops and aborts if recursive type expression is constrained (garrigue) - closed.
- 0004970: [~DO NOT USE (was: OCaml general)] instance variables masked by values - closed.
- 0004953: [~DO NOT USE (was: OCaml general)] When compiling for ARM/Thumb, ocamlrun segfaults during build. (xleroy) - closed.
- 0004783: [~DO NOT USE (was: OCaml general)] ocamlmklib uses hardcoded path to ocamlc and ocamlopt (Windows native) - closed.
- 0004750: [~DO NOT USE (was: OCaml general)] WSAStartup/WSACleanup high latency on Windows - closed.
- 0004930: [~DO NOT USE (was: OCaml general)] Patch for 0004841 doesn't solve the problem on PowerPC processors - closed.
- 0004923: [~DO NOT USE (was: OCaml general)] Scanf.sscanf "%S" doesn't handle "\\xff" (weis) - closed.
- 0004912: [ocamldoc] compilation of ocamldoc fails (guesdon) - closed.
- 0004902: [~DO NOT USE (was: OCaml general)] Printf.sprintf "%1.F" 123.456 returns "12." !! - closed.
- 0004810: [~DO NOT USE (was: OCaml general)] small patch for unix/socketaddr.c (xleroy) - closed.
- 0004818: [~DO NOT USE (was: OCaml general)] Type alias breaks bigarray access performance - closed.
- 0004860: [~DO NOT USE (was: OCaml general)] 3.11.1 fails to link mixed C/Ocaml program which 3.11.0 can link on OS X (xleroy) - closed.
- 0004841: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Feature wish: representation des nats - closed.
- 0001284: [~DO NOT USE (was: OCaml general)] Fix offered for "illegal stream concatenation" in Stream - closed.
- 0002372: [~DO NOT USE (was: OCaml general)] feature request: create and use shared libraries - closed.
- 0001983: [~DO NOT USE (was: OCaml general)] RFE: ability to compile a native code OCaml library into an .so (w/o strict version checking) - closed.
- 0001289: [~DO NOT USE (was: OCaml general)] Speed improvement Stream replacement - closed.
- 0001561: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Another exception printing bug (doligez) - closed.
- 0001833: [~DO NOT USE (was: OCaml general)] Bug modules recursifs - closed.
- 0004606: [~DO NOT USE (was: OCaml general)] Native dynlink: Dynlink.init is still required (frisch) - closed.
- 0003866: [~DO NOT USE (was: OCaml general)] Patch to build and install libcamlrun.so (xleroy) - closed.
- 0004351: [~DO NOT USE (was: OCaml general)] Performance improvements to thread synchronization (xleroy) - closed.
- 0004171: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] I was not able to compile mingw version - closed.
[15 issues]

OCaml - 3.11.1+dev (Not Yet Released) View Issues ]
=====================================
- 0004740: [~DO NOT USE (was: OCaml general)] Int32.rem floating point exception (xleroy) - closed.
- 0004690: [~DO NOT USE (was: OCaml general)] Bus error in caml_oldify_local_roots when using native dynamic loading on Mac OS 10.5 (xleroy) - closed.
- 0004650: [~DO NOT USE (was: OCaml general)] regexp_case_fold does not work correctly with an exclusion set (xleroy) - closed.
- 0004403: [~DO NOT USE (was: OCaml general)] ocamldebug does not support -pack'ed modules (xclerc) - closed.
- 0004775: [~DO NOT USE (was: OCaml general)] compiler crashes on crazy types (garrigue) - closed.
- 0004817: [~DO NOT USE (was: OCaml general)] Object type gives error "Unbound type parameter .." (garrigue) - closed.
- 0004816: [~DO NOT USE (was: OCaml general)] module abbreviations remove 'private' type restrictions (garrigue) - closed.
- 0003555: [~DO NOT USE (was: OCaml general)] .ocamldebug init file would be nice (xclerc) - closed.
- 0004821: [~DO NOT USE (was: OCaml general)] Bad compilation of classes yields segfault - closed.
- 0004814: [~DO NOT USE (was: OCaml general)] ocamlbrowser crashes when try editing comments "(* ... *)" - closed.
- 0004809: [~DO NOT USE (was: OCaml general)] Windows: Unix.create_process not working properly from a Cygwin shell - closed.
- 0004804: [~DO NOT USE (was: OCaml general)] int64_of_big_int fails on negative values that fit in 32-bits - closed.
- 0004798: [~DO NOT USE (was: OCaml general)] Cannot "make op.opt " with 3.11.1rc0 under mingw - closed.
- 0004785: [~DO NOT USE (was: OCaml general)] Current CVS cannot be build under Windows (guesdon) - closed.
- 0004796: [~DO NOT USE (was: OCaml general)] yacc reader.c substring doesnt null terminate - closed.
- 0004790: [~DO NOT USE (was: OCaml general)] Windows error ERROR_NO_DATA should be mapped to EPIPE - closed.
- 0004792: [~DO NOT USE (was: OCaml general)] big_int_of_int64 is incorrect - closed.
- 0004780: [~DO NOT USE (was: OCaml general)] Current CVS cannot be build under Windows (garrigue) - closed.
- 0004776: [~DO NOT USE (was: OCaml general)] Bad interaction between exceptions and classes - closed.
- 0004758: [~DO NOT USE (was: OCaml general)] Bug in scanf conversion with "%S" (weis) - closed.
- 0004756: [~DO NOT USE (was: OCaml general)] closure interpreted as string when using %_ in printf routine (weis) - closed.
- 0004735: [~DO NOT USE (was: OCaml general)] Unix.LargeFile.fstat cannot report size over 32bits on Win32 - closed.
- 0004666: [~DO NOT USE (was: OCaml general)] Execv unix calls fail with threaded program on Mac OS X. (xleroy) - closed.
- 0004704: [~DO NOT USE (was: OCaml general)] Bug in generational global roots handling (xleroy) - closed.
- 0004766: [~DO NOT USE (was: OCaml general)] Incorrect type inference with objects - closed.
- 0004699: [~DO NOT USE (was: OCaml general)] Regression: dlldbm.so wrongly linked - closed.
- 0004722: [~DO NOT USE (was: OCaml general)] Typo in configure - closed.
- 0004745: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] type 'a t = 'a is not correctly handled by the typechecker. - closed.
- 0004692: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Comportement etrange de Ctrl-C dans ocamldebug (xclerc) - closed.
- 0004562: [~DO NOT USE (was: OCaml general)] scanf produces wrong %n output value after integer conversion (weis) - closed.
- 0003473: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Compilation succeeds on SunOS sparc after minor fix in make files - closed.
- 0004569: [~DO NOT USE (was: OCaml general)] Conjunctive polymorphic variants in class parameter constraints are rejected - closed.
- 0004561: [~DO NOT USE (was: OCaml general)] Another OO segfault - closed.
- 0004533: [~DO NOT USE (was: OCaml general)] Échappements invalides dans les commentaires - closed.
- 0004527: [~DO NOT USE (was: OCaml general)] Compile of driver/optcompile.ml fails - closed.
- 0004525: [documentation] Bigarray interface Invalid_arg[ument] - closed.
- 0004505: [~DO NOT USE (was: OCaml general)] Bug in typing of the object layer - closed.
- 0004508: [~DO NOT USE (was: OCaml general)] Wrong printing of floats in toplevel (xleroy) - closed.
[9 issues]

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

OCaml - 3.11+dev (Not Yet Released) View Issues ]
===================================
- 0004614: [otherlibs] inconsistent declaration of CamlCBCmd() (garrigue) - closed.
- 0000009: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] segmentation fault in ocamllex-generated program (maranget) - closed.
- 0004529: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] toplevels built with ocamlmktop do not support opening files compiled with -rectypes (garrigue) - closed.
- 0004580: [~DO NOT USE (was: OCaml general)] Stack overflow with private row type (garrigue) - closed.
- 0004623: [~DO NOT USE (was: 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.
- 0003915: [documentation] Please add -cc option in ocamlc's man page (doligez) - closed.
- 0004204: [~DO NOT USE (was: OCaml general)] Positional specifiers in Printf don't appear to work (weis) - closed.
- 0003992: [~DO NOT USE (was: OCaml general)] Printf: positional specifiers do not work (weis) - closed.
- 0004321: [~DO NOT USE (was: OCaml general)] Scanf ignores possitional parameters parsing format strings... (weis) - closed.
- 0004607: [~DO NOT USE (was: OCaml general)] Native dynlink and filenames containing '-' (doligez) - closed.
- 0004563: [~DO NOT USE (was: OCaml general)] ocamldumpobj misreports address operands of CLOSUREREC instructions - closed.
- 0004600: [documentation] associativity of (&) (&&) and (||) - closed.
- 0004555: [~DO NOT USE (was: OCaml general)] Compilation of equality involving polymorphic variants not optimized - closed.
- 0004572: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] wish: validation when retrieving public methods - closed.
- 0004052: [~DO NOT USE (was: OCaml general)] Constructeur constant et _ - closed.
- 0003930: [~DO NOT USE (was: OCaml general)] Wish: Helper function for maintaining lexer position info - closed.
- 0003036: [~DO NOT USE (was: OCaml general)] -impl -intf - closed.
- 0001852: [documentation] Grammar bug: expressions are definitions - closed.
- 0003114: [~DO NOT USE (was: OCaml general)] Suggestion for error messages - closed.
- 0004440: [~DO NOT USE (was: OCaml general)] Report errors before warnings. (doligez) - closed.
[38 issues]

OCaml - 3.10.0 (Released 2007-05-13) View Issues ]
====================================
- 0001907: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Re: [Caml-list] kprintf with user formatters - closed.
- 0003567: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] pos_lnum and pos_bol are worngs on exceptions from Grammar.Entry.parse (ertai) - closed.
- 0004411: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Staged installation of 3.10beta (ertai) - closed.
- 0004200: [~DO NOT USE (was: OCaml general)] Incorrect source file reference for OCaml warning Y (unused variable name) with ocamllex (maranget) - closed.
- 0002858: [~DO NOT USE (was: OCaml general)] Suggestion pour pr_o - closed.
- 0004273: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] ocamlbuild -log doesn't consistently (and cleanly) report inexistent directories (ertai) - closed.
- 0004379: [~DO NOT USE (was: OCaml general)] windows binary ocamlbuild cannot build plugins (ertai) - closed.
- 0004410: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Typo in error message "Unbound class <class_name>". - closed.
- 0004483: [~DO NOT USE (was: OCaml general)] Ocaml 3.10.1 doesn't compile with MSVC under Windows - closed.
- 0003214: [~DO NOT USE (was: OCaml general)] Exception printing bug? - closed.
- 0004455: [~DO NOT USE (was: OCaml general)] str.mli is not installed into $(OCAMLLIB) - closed.
- 0004473: [~DO NOT USE (was: OCaml general)] Segfault when accessing an element of an array of float throught a polymorphic method. - closed.
- 0004481: [~DO NOT USE (was: OCaml general)] exception with object yields incorrect type - closed.
- 0004459: [~DO NOT USE (was: OCaml general)] Problème avec l'héritage et les variables virtuelles - closed.
- 0004354: [~DO NOT USE (was: OCaml general)] ocamlcp does not behave like ocamlc (doligez) - closed.
- 0004361: [~DO NOT USE (was: OCaml general)] Mix between calls to print_* functions from Pervasives et Format - closed.
- 0004442: [~DO NOT USE (was: OCaml general)] Segfault with weak pointers (doligez) - closed.
- 0004305: [~DO NOT USE (was: OCaml general)] Arg.align misaligns when using Arg.Symbol(_,_) (doligez) - closed.
- 0004377: [~DO NOT USE (was: OCaml general)] Bug finalisation des pointeurs infixes (doligez) - closed.
- 0004324: [~DO NOT USE (was: OCaml general)] emacs mode highlighting - closed.
- 0004426: [~DO NOT USE (was: OCaml general)] Unexpected memorization of an optional label. - closed.
- 0004350: [~DO NOT USE (was: OCaml general)] Polymorphism failure on polymorphic variants inside a record through a local and open function. - closed.
- 0004429: [~DO NOT USE (was: OCaml general)] caml-font.el: make hook for font-lock a proper function - closed.
- 0004435: [~DO NOT USE (was: OCaml general)] The same name for an argument and a value of a class may cause a segfault. - closed.
- 0004402: [~DO NOT USE (was: OCaml general)] ocamldebug dosen't work with -rectypes - closed.
- 0004383: [~DO NOT USE (was: OCaml general)] including module with private type causes strange error - closed.
- 0004382: [~DO NOT USE (was: OCaml general)] Strange typing restriction with polymorphic record fields - closed.
- 0004327: [~DO NOT USE (was: OCaml general)] Emacs patch to look for .anno files in ocamlbuild's _build directory - closed.
- 0004234: [~DO NOT USE (was: OCaml general)] out-of-range bugs in globroots.c - closed.
- 0004086: [~DO NOT USE (was: OCaml general)] Add support for shared libraries with Intel Macs (xleroy) - closed.
- 0004024: [~DO NOT USE (was: OCaml general)] Memory-mapping of bigarrays with offsets missing (xleroy) - closed.
- 0003791: [~DO NOT USE (was: OCaml general)] Bug 0003790 - patch (xleroy) - closed.
- 0004050: [~DO NOT USE (was: OCaml general)] "ocamldep -slash" bug (xleroy) - closed.
- 0004119: [~DO NOT USE (was: OCaml general)] Issue with Scanf.Scanning.from_file (weis) - closed.
- 0004183: [~DO NOT USE (was: OCaml general)] OCaml doesn't detect i686-apple-darwin for dynamic linking - closed.
- 0004125: [~DO NOT USE (was: OCaml general)] unixsupport.h in base package (doligez) - closed.
- 0004123: [~DO NOT USE (was: OCaml general)] Fonction unix_error_of_code non déclarée (doligez) - closed.
- 0004191: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Catch-all pattern does not work with optional arguments - closed.
- 0004167: [~DO NOT USE (was: OCaml general)] caml/fail.h should use char const * - closed.
- 0004082: [~DO NOT USE (was: OCaml general)] ocamlc hangs during compilation (garrigue) - closed.
- 0004051: [~DO NOT USE (was: OCaml general)] ocamlc 3.10+dev: "Fatal error: exception Ctype.Unify(_, _)" (seems to be different from 0003918). (garrigue) - closed.
- 0004000: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Bus error using doubly-linked, circular list with lazy evaluation (doligez) - closed.
- 0004128: [~DO NOT USE (was: OCaml general)] Program segfaults (garrigue) - closed.
- 0004028: [~DO NOT USE (was: OCaml general)] ocamlcp displays warnings twice (doligez) - closed.
- 0004168: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] new definition of CAMLreturn produces warnings (doligez) - closed.
- 0004131: [~DO NOT USE (was: 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: [~DO NOT USE (was: OCaml general)] Missing CAMLreturn in asmrun/io.c/caml_ml_flush and caml_ml_flush_partial - closed.
- 0004179: [~DO NOT USE (was: OCaml general)] about 'a exceptions - closed.
[4 issues]

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

OCaml - 3.09.0 (Released 2005-10-13) View Issues ]
====================================
- 0001196: [~DO NOT USE (was: OCaml general)] with type t = 'a constraint 'a = ... (garrigue) - closed.
- 0002550: [~DO NOT USE (was: OCaml general)] typing error instead of scoping error - closed.
- 0003636: [~DO NOT USE (was: OCaml general)] ocamlyacc nonterminal undefined error message - closed.
- 0001691: [~DO NOT USE (was: OCaml general)] warning for unused variable bindings? - closed.
- 0003902: [~DO NOT USE (was: OCaml general)] printf format strings type is wrong. (weis) - closed.
[5 issues]

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

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker