Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.04.1+dev (Scheduled For Release 2016-12-04) View Issues ]
=====================================================
100%
- 0007457: [OCaml runtime system] crash in free() logic due to what appears like pointer error in 4.03.0 & 4.04.0 (xleroy) - resolved.
- 0007417: [OCaml backend (code generation)] OCaml + frame-pointer on + clang (and perhaps GCC) (gasche) - resolved.

2 of 2 issue(s) resolved. Progress (100%).

OCaml - 4.05.0+dev (Scheduled For Release 2017-02-01) View Issues ]
=====================================================
41%
- 0007386: [OCaml typing] In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors - new.
- 0007308: [OCaml general] Parenthesis surprisingly needed by immediate objects - new.
- 0007261: [OCaml typing] constraint ignored on (existential) GADT - new.
- 0007281: [OCamldoc] Incorrect .TH macro in Arg(3o) - new.
- 0007332: [OCamldoc] Ocamldoc does not recognize included module - new.
- 0007331: [OCamldoc] Ocamldoc hangs when module references itself - new.
- 0007334: [OCaml typing] -nolabels behavior doesn't match documentation - new.
- 0007310: [OCaml general] per-type fragile match warning - new.
- 0007255: [OCaml tools (ocaml{lex,yacc,dep,debug})] polymorphic install_printer in ocamdebug - new.
- 0006955: [OCaml documentation] "opaque" option is not in OCAMLPARAM nor man pages - acknowledged.
- 0007271: [OCaml general] Undocumented ocamlc and ocamlopt link behaviour difference - acknowledged.
- 0007335: [OCaml general] 32bit compiler can't compile binaries over 16 megabytes - acknowledged.
- 0001956: [OCaml runtime system] Name clashes (doligez) - acknowledged.
- 0007005: [OCaml typing] Deprecation warnings for types should not be emitted for the definition itself - acknowledged.
- 0007254: [OCaml documentation] ocamlnat crashes on startup - acknowledged.
- 0007356: [OCaml documentation] flambda changes to finalisability should be documented - acknowledged.
- 0007319: [OCaml typing] Provide a way to ignore existentials in GADT pattern matching - acknowledged.
- 0007344: [OCaml typing] Inconsistent order when typing constraint patterns - acknowledged.
- 0007318: [OCaml typing] information in the typing error message could be made more precise - acknowledged.
- 0007316: [OCaml typing] information in the typing error message could be made more precise - acknowledged.
- 0007372: [OCaml typing] Bug in type-checker with GADTs and inline records - acknowledged.
- 0007385: [OCaml otherlibs] Unix.stat on Windows returns timestamps which depend on the DST setting - acknowledged.
- 0007363: [OCaml documentation] stdlib mli files documentation comments, start headers at level 1 - acknowledged.
- 0007375: [OCaml documentation] Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor... - acknowledged.
- 0007361: [OCaml general] ocaml.warning does not work with ocaml.ppwarning - acknowledged.
- 0007353: [OCamldoc] ocamldoc sometimes generates untagged text - acknowledged.
- 0007352: [OCamldoc] ocamldoc should not generate p's white only whitespace in it - acknowledged.
- 0007351: [OCamldoc] ocamldoc should really stop generating br tags - acknowledged.
- 0007279: [OCaml general] Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy) - acknowledged.
- 0005712: [OCaml documentation] some documentation problems - confirmed.
- 0007289: [OCaml backend (code generation)] Flambda: No unboxing of float in simple local recursive function (chambart) - confirmed.
- 0007349: [OCaml general] Fatal error: Map.disjoint_union when compiling - confirmed.
- 0007321: [OCaml typing] Private type in signature clashes with type definition via functor instantiation (garrigue) - confirmed.
- 0007348: [OCaml typing] Private row variables can escape their scope (garrigue) - confirmed.
- 0007359: [OCaml typing] With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message (garrigue) - assigned.
- 0007215: [OCaml typing] Unsoundness with GADTs and let rec (yallop) - assigned.
- 0006329: [OCaml runtime system] File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed. (shinwell) - assigned.
- 0007231: [OCaml typing] let-rec wellformedness check too permissive with nested recursive bindings (yallop) - assigned.
- 0007373: [OCaml tools (ocaml{lex,yacc,dep,debug})] Include OCaml lib directory in search path in ocamlmklib (dra) - assigned.
- 0007313: [OCaml typing] Typing regression between 4.03 and 4.04 branch with signature coercion. (garrigue) - assigned.
- 0007364: [OCaml general] Inflexibility of unboxed types in recursive declarations (doligez) - assigned.
- 0007259: [Ocaml optimization] flambda does not collapse pattern matching in some cases (chambart) - assigned.
- 0007180: [OCaml runtime system] Change of behavior in Gc.major_slice in 4.03 (doligez) - assigned.
- 0007272: [OCaml documentation] ocamldoc for types lacks newlines in html files (octachron) - resolved.
- 0007258: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldebug segfault on install_printer using module aliasing - resolved.
- 0007343: [OCaml standard library] request for clarification about Map.Make.union (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t - resolved.
- 0007347: [OCaml general] Toplevel #use with relative paths have different behavior between 4.02.3 and 4.03.0 - resolved.
- 0007104: [OCaml internal build/install (Makefiles, configure)] Some Cygwin version do not support -lpthread which configures OCaml without native threads (doligez) - resolved.
- 0006477: [OCamldoc] Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc (doligez) - resolved.
- 0007174: [OCaml documentation] OCaml bug with out of the box coordinates - resolved.
- 0007194: [OCaml otherlibs] OCaml Graphics bug with Key_pressed and Poll - resolved.
- 0007486: [OCaml standard library] double free of mutex in caml_finalize_channel - resolved.
- 0006470: [OCaml windows] ocamlopt -shared fails on cygwin 64bit - resolved.
- 0007158: [OCaml otherlibs] Event.sync forces a full major GC cycle every 5000 calls at most - resolved.
- 0007394: [OCaml documentation] Docs dangerously encourage users to catch Failure _ - resolved.
- 0007264: [OCaml windows] Unix.lockf doesn't behave correctly on Windows - resolved.
- 0005256: [OCaml otherlibs] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - resolved.
- 0007473: [OCaml windows] caml_expand_command_line behaves incorrectly - resolved.
- 0007357: [Ocaml optimization] significant compilation time increased after minor tweaks (frisch) - resolved.
- 0007342: [OCaml windows] Unix.read exhibits two different behaviors on Windows vs Linux (protz) - resolved.
- 0007011: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldep: Argument list too long (shinwell) - resolved.
- 0004891: [OCaml general] provide CAMLreturn macros suitable for callbacks (doligez) - resolved.
- 0007277: [OCaml standard library] Variants of Map.find (frisch) - resolved.
- 0007327: [OCaml runtime system] Remove -Werror from installed Makefile.config - resolved.
- 0007377: [OCaml general] -std=gnu99 causes annoying warnings - resolved.
- 0007369: [OCaml otherlibs] Str.regexp raises "Invalid_argument: index out of bounds" (doligez) - resolved.
- 0007317: [OCaml tools (ocaml{lex,yacc,dep,debug})] Intermixed output of Ocaml toplevel - resolved.
- 0007298: [OCaml typing] GADT matching allows dummy method to escape (garrigue) - resolved.
- 0007346: [Ocaml optimization] order of evaluation vs the ! operator (shinwell) - closed.
- 0007401: [OCaml typing] regression in type inference with 4.04.0+beta2 (garrigue) - closed.
- 0007262: [OCaml runtime system] backtraces are concatenated when flambda turned on - closed.
- 0007328: [Ocaml optimization] Flambda optimizes away code that raises Division_by_zero (chambart) - closed.
- 0007294: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamlobjinfo : printing of "approximations" broken with flambda (chambart) - closed.
- 0007379: [OCaml typing] Assertion failure checking recursive module (garrigue) - closed.

31 of 74 issue(s) resolved. Progress (41%).

OCaml - 4.06.0+dev (Scheduled For Release 2017-02-16) View Issues ]
=====================================================
5%
- 0007336: [OCaml typing] Type errors at the module level are puzzling - acknowledged.
- 0007345: [OCaml backend (code generation)] Some GADT matches cause closure allocation with ocamlc -g - acknowledged.
- 0007296: [OCaml general] Cannot use a | at the beginning of an or-pattern - acknowledged.
- 0007376: [OCaml standard library] Format printf regression - acknowledged.
- 0007236: [OCaml documentation] document how to use Mantis (including for release triaging) - acknowledged.
- 0006206: [OCaml tools (ocaml{lex,yacc,dep,debug})] Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found" - acknowledged.
- 0005607: [OCaml documentation] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (gasche) - acknowledged.
- 0003829: [OCaml general] Nom de module = nom d'exception - acknowledged.
- 0003771: [OCaml windows] Reading Unicode filenames fails on Windows - acknowledged.
- 0007241: [OCaml typing] Pattern matching with mutable and lazy patterns is unsound - acknowledged.
- 0007100: [OCaml otherlibs] Bigarray's caml_ba_alloc doesn't try GC if malloc fails - acknowledged.
- 0007246: [Ocaml optimization] Unboxed version of operations on 64-bit integers for 32-bit ports - acknowledged.
- 0005067: [OCamldoc] ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces - confirmed.
- 0006604: [OCaml general] Expressions like 3#0;; are ignored by the toplevel and the compiler - confirmed.
- 0007484: [OCaml otherlibs] Cygwin32 in bytecode: problem with Bigarray and Unix.fork - confirmed.
- 0006813: [OCaml otherlibs] Provide Thread.set_uncaught_exception_handler (dim) - assigned.
- 0006928: [OCamldoc] remove <h1>title</h1> when an -intro is provided (guesdon) - assigned.
- 0006959: [OCaml internal build/install (Makefiles, configure)] OCaml inappropriately installs binaries in the library directory (shindere) - assigned.
- 0005942: [OCaml runtime system] Weak hash of serialized closures (bvaugon) - assigned.
- 0007468: [OCaml runtime system] GC-safety of caml_alloc_sprintf (xleroy) - resolved.

1 of 20 issue(s) resolved. Progress (5%).

OCaml - undecided (Scheduled For Release 2031-01-01) View Issues ]
====================================================

Virtual version tag for bugs that have not had a target version attributed yet.

14%
- 0007164: [OCaml general] missing -ltinfo when linking bytecode with -custom - new.
- 0006638: [OCaml documentation] docs should mention that open! also suppresses warning 33 - feedback.
- 0006189: [OCaml documentation] some problems in the 4.01 documentation (doligez) - feedback.
- 0005536: [OCamldoc] warning for inherited library classes (guesdon) - feedback.
- 0006305: [OCaml typing] Namespace pollution when using 'module type of' in an explicit interface for a pack (garrigue) - feedback.
- 0007340: [OCaml runtime system] callbacks from C to ocaml need nested functions where it shouldn't need to - feedback.
- 0006094: [OCamlbuild (the tool)] Reading META files - feedback.
- 0007213: [OCaml general] Polymorphic variant pattern syntax is too permissive - acknowledged.
- 0007126: [OCaml standard library] Mark functions in the stdlib that should be inlined - acknowledged.
- 0007141: [OCaml general] non informative link time error when the c compiler couldn't run - acknowledged.
- 0005903: [OCaml typing] integrate unused-variable (and other unused-*) warnings with ordinary type-error messages - acknowledged.
- 0006756: [OCaml typing] add support for type expressions on the right-hand side of type substitutions in signatures - acknowledged.
- 0005888: [OCaml typing] Better type errors for polymorphic variants and module signatures (garrigue) - acknowledged.
- 0007159: [OCaml typing] Better type propagation within object literals (garrigue) - acknowledged.
- 0006568: [OCaml standard library] Reveal the type of Unix.inet_addr - acknowledged.
- 0006711: [OCaml standard library] Deprecate Stream and Genlex - acknowledged.
- 0006595: [OCaml general] Location.absolute_path is broken by symlinks - acknowledged.
- 0007070: [OCaml typing] Unexported values can cause non-generalisable variables error - acknowledged.
- 0006601: [OCaml documentation] advertise caml_strdup in 19.10.2 instead of strcpy - acknowledged.
- 0006579: [OCaml windows] Different behavior of %g format under Windows - acknowledged.
- 0007205: [OCaml documentation] List.map length limit - acknowledged.
- 0006962: [OCaml standard library] bigarray lacks a free-like call. - acknowledged.
- 0006966: [OCamldoc] Cannot attach documentation to polymorphic variants - acknowledged.
- 0006238: [OCaml backend (code generation)] please add an option to enable debug symbols only (shinwell) - acknowledged.
- 0006122: [OCaml typing] A polymorphic variant type is not recognized as a polymorphic variant - acknowledged.
- 0004070: [OCaml standard library] Small tweak for some numeric functions in Pervasives - acknowledged.
- 0006224: [OCaml backend (code generation)] introduce cmovcc instruction to speed up certain simple "if" blocks - acknowledged.
- 0006704: [OCaml general] Expose more compiler-libs internals in Toploop - acknowledged.
- 0005999: [OCaml backend (code generation)] "for" loop not entirely optimal? - acknowledged.
- 0006632: [OCaml typing] Inconsistent polymorphic method printing - acknowledged.
- 0007212: [OCaml typing] Covariance propagation across functors - acknowledged.
- 0007084: [OCaml documentation] ocamldoc parsing error issues incorrect line number - acknowledged.
- 0006225: [OCaml documentation] weak variables '_a should be documented in the manual - acknowledged.
- 0006330: [OCaml typing] Wrong location for error with polymorphic variant patterns - acknowledged.
- 0005818: [OCaml typing] Function signatures be dropped out from recursive modules within higher order functor - acknowledged.
- 0006433: [OCaml typing] Wrong module type signature grabbed when using packed libraries (garrigue) - acknowledged.
- 0007077: [OCaml typing] [OCaml] Typechecking limitation in presence of mutually recursive modules - acknowledged.
- 0007091: [OCaml typing] Improve GADT typing with or-clauses - acknowledged.
- 0007129: [OCaml typing] constraints and local opens as proper nodes vs extra field - acknowledged.
- 0006528: [OCaml typing] type constraints alter signatures in unusual ways - acknowledged.
- 0006550: [OCaml general] Making an empty .cmxa fails on MacOS - acknowledged.
- 0007193: [OCaml typing] Terminating semi-colon ignored by -strict-sequence - acknowledged.
- 0007219: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamlmklib should respect OCAMLPARAM - acknowledged.
- 0007198: [OCaml runtime system] caml_alloc_custom/caml_alloc_final API easily leads to GC performance issues - acknowledged.
- 0003805: [OCaml general] misc. camlp4 + doc - acknowledged.
- 0005006: [OCaml typing] Typing problem with recursive modules - acknowledged.
- 0003789: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0006634: [OCaml typing] Type $t is not included in type $t - acknowledged.
- 0003786: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0003468: [OCaml documentation] Sys_error documentation - acknowledged.
- 0006881: [OCaml general] no warning when ignoring a partially applied function in a match with expression - acknowledged.
- 0006773: [OCaml internal build/install (Makefiles, configure)] Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler - acknowledged.
- 0006777: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldebug fails to use installed printer on types defined in the module being stepped - acknowledged.
- 0007093: [OCaml typing] Confusing error when accessing a record field that doesn't exist - acknowledged.
- 0006807: [OCaml general] Check that loaded dll*.so have matching ABI - acknowledged.
- 0006860: [OCaml internal build/install (Makefiles, configure)] Get rid of #ml from config/Makefile - acknowledged.
- 0007048: [OCamldoc] Support for other inputenc than latin1 in ocamldoc -latex - acknowledged.
- 0004148: [OCaml documentation] Description de -pack dans le manuel - acknowledged.
- 0006934: [OCaml typing] nonrec misbehaves with GADTs - acknowledged.
- 0007122: [OCaml internal build/install (Makefiles, configure)] [cross-compilation] Use -I otherlibs/$(UNIXLIB) when building systhreads - acknowledged.
- 0007121: [OCaml internal build/install (Makefiles, configure)] [cross-compilation] Use target's ld as a basis for ${partialld} - acknowledged.
- 0006761: [OCaml documentation] add Table with filename-extensions - acknowledged.
- 0005927: [OCaml typing] Type equality broken for conjunctive polymorphic variant tags (garrigue) - acknowledged.
- 0006660: [OCaml typing] Quirk of the type-checker: a strange disappearance of warning 20 (unused argument) (garrigue) - acknowledged.
- 0006673: [OCaml typing] Redundant type annotation on argument causes polymorphic-recursive definition to be rejected (garrigue) - acknowledged.
- 0006700: [OCaml documentation] ocamlopt -shared -o creates by-products in a confusing place; documentation clarification welcome - acknowledged.
- 0005783: [OCaml windows] Unix.select returns immediately when waiting for the completion of a non-blocking socket connection - acknowledged.
- 0005812: [OCaml general] Adapt emacs mode to generate .annot from .cmt files - acknowledged.
- 0006978: [OCaml windows] Unix.create_process fails to call programs with spaces in path given arguments with spaces - acknowledged.
- 0006697: [OCaml general] Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error - acknowledged.
- 0005860: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldebug documentation issues - acknowledged.
- 0006732: [OCaml standard library] Buffer.add_substitute is not surjective and its documentation is incomplete. - acknowledged.
- 0007069: [OCaml standard library] Scanf "%F" or "%H" and float_of_string are broken for "nan" on Windows - acknowledged.
- 0006769: [OCaml standard library] Formatting tags are lost on a flush - acknowledged.
- 0006567: [OCaml otherlibs] Cannot close properly a file with memory mapped blocks (Bigarray.map_file) - acknowledged.
- 0007086: [OCaml general] -for-pack does not implement proper namespace isolation of internal symbols - acknowledged.
- 0006304: [OCaml typing] Explicit interface for a pack, "module type of" and type generativity (garrigue) - acknowledged.
- 0006696: [OCaml general] Allow dynlinking code into ocamlc/opt - acknowledged.
- 0006754: [OCaml standard library] topdirs.cmi multiple locations - acknowledged.
- 0006633: [OCaml typing] Error message for module used where a module type is expected is confusing - acknowledged.
- 0006730: [OCaml tools (ocaml{lex,yacc,dep,debug})] Wish: -dsource/-dparsetree for ocamldep - acknowledged.
- 0006556: [OCaml general] Backtraces truncated with 4.02 - acknowledged.
- 0006301: [OCaml standard library] Improve the printing of exceptions (pp registered) - acknowledged.
- 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged.
- 0007200: [OCaml general] Testing parsing/printing/parsing roundtripping shows problems with Pprintast / -dsource - acknowledged.
- 0007223: [OCaml general] Pack, CMI and module aliases - acknowledged.
- 0007238: [OCaml standard library] Marshal.to_channel does not clean the channel internal buffers when it fails - acknowledged.
- 0004829: [OCaml typing] Recursive modules which do not type - acknowledged.
- 0007128: [OCaml backend (code generation)] ref_table grows without bound - acknowledged.
- 0004957: [OCaml windows] ocamlc -where, camlp4 -where, etc. add \r\n on mingw - acknowledged.
- 0007179: [OCaml documentation] Interfacing with C missing documentation and helper macros and functions - acknowledged.
- 0004208: [OCaml otherlibs] Dynlink.crc_interfaces n'est pas bien backtrackée - acknowledged.
- 0007235: [OCaml standard library] Format only flushes std_formatter by at_exit. - acknowledged.
- 0005429: [OCaml otherlibs] Unix.stat behaves differently on win32 and linux - acknowledged.
- 0004173: [OCaml otherlibs] Bad memory cleanup of DLL using Thread module - acknowledged.
- 0004159: [OCaml otherlibs] MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux - acknowledged.
- 0007178: [OCaml standard library] Calling exit in at_exit callback results in infinite loop. - acknowledged.
- 0003957: [OCaml documentation] [> {typexpr} as 't ] yields a syntax error with yacc syntax - acknowledged.
- 0004791: [OCaml general] ocamlc -i produces incorrect result - acknowledged.
- 0006951: [OCaml typing] Meta-issue on ambiguity warnings - acknowledged.
- 0006511: [Ocaml optimization] avoid loading global variables more than necessary - acknowledged.
- 0006518: [OCaml general] Consider supporting GNU-style error messages - acknowledged.
- 0005943: [OCamlbuild (the tool)] ocamlmklib always adds -L (absolute) directories also the run-time linker path. - acknowledged.
- 0007177: [OCaml standard library] stderr is buffered when using some prerr functions - confirmed.
- 0007113: [OCaml general] -safe-string should be a global property - confirmed.
- 0007144: [OCaml typing] Strange undefined global error on trunk (garrigue) - confirmed.
- 0005874: [OCaml typing] Improve error message for polymorphic variant - confirmed.
- 0006029: [Ocaml optimization] lazy should be primitive - confirmed.
- 0006306: [OCaml general] [style patches] use (@@) to reduce parentheses in typing/predef.ml and asmcomp/cmmgen.ml - confirmed.
- 0006373: [OCaml backend (code generation)] Warning about trigraph on generated assembly code - confirmed.
- 0006859: [OCaml general] Do not require bitness of compiler host and target to match - confirmed.
- 0006429: [OCaml standard library] A format specifier for bytes - confirmed.
- 0006049: [OCaml internal build/install (Makefiles, configure)] fix support for OpenBSD/macppc (32-bit powerpc) (meurer) - confirmed.
- 0006800: [OCaml typing] simplify using gadt with lambda - confirmed.
- 0006792: [OCaml tools (ocaml{lex,yacc,dep,debug})] Dynlink support for ocamldebug (whitequark) - confirmed.
- 0006504: [OCaml documentation] document CAML_DEBUG_SOCKET - confirmed.
- 0004080: [OCaml general] segfault avec ocamlopt -pack (frisch) - confirmed.
- 0007202: [OCaml general] ocaml script mode, some errors are reported on stdout and do not lead to non-zero exit - confirmed.
- 0005684: [OCaml internal build/install (Makefiles, configure)] no uninstall target in the Makefile - confirmed.
- 0007138: [OCaml general] Warning 50 triggers on "empty" files - confirmed.
- 0006360: [OCaml typing] Relaxing the coherence check for with-constraint re-exports (garrigue) - confirmed.
- 0006472: [OCaml general] tokens ignored in top level command line after ';;' - confirmed.
- 0007148: [OCaml general] Confusing error message when parentheses are added around an expression - confirmed.
- 0006416: [OCaml typing] The same string can mean different types in the same error message - confirmed.
- 0006478: [OCaml typing] approx_type ignores structural types (garrigue) - confirmed.
- 0006380: [OCaml typing] -short-paths sometimes does not shorten paths - confirmed.
- 0006709: [OCaml documentation] Document the associativity of operators declared in Pervasives in Pervasives itself. - confirmed.
- 0006013: [OCaml general] duplicate locations cause 'unused warnings' to be lost - confirmed.
- 0005693: [OCaml otherlibs] Missing '_environ' symbol used in libunix.a - confirmed.
- 0004369: [OCaml general] The emacs function "Show types at point" does not show the type of methods - confirmed.
- 0006011: [OCaml typing] Signatures with private types can make modules less constrained - confirmed.
- 0005987: [OCaml documentation] Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr" - confirmed.
- 0006548: [OCaml documentation] Misleading comment on private type abbreviations - confirmed.
- 0006080: [OCaml general] Some error and warning messages are not in the standard format. - confirmed.
- 0006654: [OCaml typing] Destructive substitution on classes produces unrepresentable module type - confirmed.
- 0005473: [OCaml general] Double linking of native modules (with -pack) - confirmed.
- 0003959: [OCaml general] no exit on bad #use in ocaml scripts - confirmed.
- 0007117: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldep behaviour regarding extension points is not documented - confirmed.
- 0006968: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldep -one-line doesn't work with -sort - confirmed.
- 0004686: [OCamldoc] Wrong module signature in generated doc - confirmed.
- 0005936: [OCaml general] Weird syntax accepted by OCaml - confirmed.
- 0007247: [OCaml documentation] Compiler internals exported as standard library modules in documentation (doligez) - confirmed.
- 0006587: [OCaml typing] #show_module prints types incorrectly (garrigue) - confirmed.
- 0006987: [OCaml typing] Strage error message probably caused by universal variable escape (with polymorphic variants) (garrigue) - assigned.
- 0007172: [OCaml general] More information in ocamlc -config (dra) - assigned.
- 0006452: [OCaml standard library] custom format (dim) - assigned.
- 0006291: [OCaml general] Add a new warning for suspicious octal constants (protz) - assigned.
- 0003947: [OCamldoc] Bad link (guesdon) - assigned.
- 0006485: [OCaml typing] private lost after rebinding module (garrigue) - assigned.
- 0006467: [OCaml typing] include of sub-module in recursively-defined module causes loss of type equality (garrigue) - assigned.
- 0006471: [OCamldoc] ocamldoc doesn't support module aliases (guesdon) - assigned.
- 0006473: [OCaml standard library] Leak in fscanf (weis) - assigned.
- 0006603: [OCaml documentation] Undocumented behavior with extension constructors added to abstract types (lpw25) - assigned.
- 0006970: [OCaml typing] equality, moregen and unification force expansion of large, non-recursive type constructors (garrigue) - assigned.
- 0006745: [OCaml typing] `as` ignored on types containing universal variables (garrigue) - assigned.
- 0006882: [OCaml typing] Apparently valid program rejected by the typer (garrigue) - assigned.
- 0006124: [OCaml typing] Odd behaviour of type expressions in polymorphic variant tag specifications (garrigue) - assigned.
- 0006861: [OCaml internal build/install (Makefiles, configure)] Do not install native-code executables when cross-compiling (doligez) - assigned.
- 0005898: [OCamldoc] Ocamldoc does not generate links to nested module types (guesdon) - assigned.
- 0005002: [OCamldoc] ocamldoc lost "with type" in "include ... with type ..." (guesdon) - assigned.
- 0007056: [OCaml typing] "include" with module aliases (garrigue) - assigned.
- 0006990: [OCaml runtime system] Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory (doligez) - assigned.
- 0007156: [OCaml general] Custom exception printers ignored by ocaml toplevel (dim) - assigned.
- 0007134: [OCaml typing] compiler forcing aliases it shouldn't while reporting type errors (garrigue) - assigned.
- 0006922: [OCaml typing] Regression with -principal type inference (garrigue) - assigned.
- 0005219: [OCaml internal build/install (Makefiles, configure)] use $(INSTALL) instead of 'cp' in Makefiles (shindere) - assigned.
- 0005070: [OCaml general] Error location output not supported by emacs (doligez) - assigned.
- 0005250: [OCaml runtime system] ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path (dra) - assigned.
- 0006121: [OCaml backend (code generation)] Atomic load primitives (shinwell) - assigned.
- 0006201: [OCaml typing] printing of types inconsistent with -short-paths (lpw25) - assigned.
- 0006499: [OCaml general] Parsetree.row_field.Rtag should have constructor location (dim) - assigned.
- 0007132: [OCaml runtime system] trouble with pthread_atfork on openBSD (shinwell) - assigned.
- 0006738: [OCaml typing] Check for the well-formedness of let rec earlier, before or at type checking (yallop) - assigned.
- 0006900: [OCaml internal build/install (Makefiles, configure)] Native code compiler for 32-bit OS X (shindere) - assigned.
- 0003236: [OCaml windows] Queue+Threads+Cygwin native causes crash (dra) - assigned.
- 0006864: [OCaml windows] linking with flexlink fails when passing arguments by response file (doligez) - assigned.
- 0006596: [OCamldoc] ocamldoc manpage generator does not preserve formatting in {[ ]} (guesdon) - assigned.
- 0005754: [OCamlbuild (the tool)] Not optimal parallel build of dependencies - assigned.
- 0007192: [OCaml typing] Strange type system bug - resolved.
- 0007381: [OCaml typing] Assertion failure with refutation pattern (garrigue) - resolved.
- 0005917: [OCaml backend (code generation)] [patch] Generate direct call inside inlined function (chambart) - resolved.
- 0004269: [OCaml documentation] man page for labltk (garrigue) - resolved.
- 0005401: [OCaml general] OCamlbrowser ignores command line arguments on win32/msvc (garrigue) - resolved.
- 0006508: [OCaml otherlibs] Tkvars.version() call gives Fatal error - resolved.
- 0006741: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldebug: document the .ocamldebug startup file - closed.
- 0006551: [Ocaml optimization] Make Int64.bits_of_float and Int64.float_of_bits %-primitives (dim) - closed.
- 0004885: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Incorrect/unwanted behavior on invalid string inputs (hongboz) - closed.
- 0006093: [OCamlbuild (the tool)] Loading rules from ocamlfind package (gasche) - closed.
- 0006494: [OCaml standard library] Expose caml_string_equal &c to OCaml (gasche) - closed.
- 0006118: [OCamlbuild (the tool)] ocamlbuild non backward compatible change found (gasche) - closed.
- 0005896: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4.macro fails to undefine a macro with an expression - closed.
- 0005846: [for Camlp4 use https://github.com/ocaml/camlp4/issues] OCaml parses let (!*) but not camlp4o doesn't - closed.
- 0005837: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Strange camlp4 rewrite - closed.
- 0005716: [for Camlp4 use https://github.com/ocaml/camlp4/issues] directive 'remove_directory' was not supported in camlp4 - closed.
- 0005705: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 accepts bad syntax and may also bomb on it - closed.
- 0005685: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Antiquotation bug (quotation expr, with antiquotation list) - closed.
- 0005642: [for Camlp4 use https://github.com/ocaml/camlp4/issues] module_type application - closed.
- 0005127: [for Camlp4 use https://github.com/ocaml/camlp4/issues] wrong location after directive (dim) - closed.
- 0005114: [for Camlp4 use https://github.com/ocaml/camlp4/issues] wrong location inside alias patterns (xclerc) - closed.
- 0005048: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Labeled arguments parsed differently on camlp4 versus regular compiler (xclerc) - closed.
- 0004886: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Desugaring of camlp4 quotations of labeled patterns duplicates variables (garrigue) - closed.
- 0004846: [for Camlp4 use https://github.com/ocaml/camlp4/issues] move_start_p is partially used in Struct/Lexer.mll (hongboz) - closed.
- 0004598: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Loc.to_string: bad support for multiple lines (doligez) - closed.
- 0004590: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Grouping several match cases in EXTEND statements - closed.
- 0004545: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 preprocessing messes up the documentation. (hongboz) - closed.
- 0004341: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Document meaning and use of SYMBOL token - closed.
- 0004329: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Gramlib syntax error messages are less precise, sometimes wrong - closed.
- 0003688: [for Camlp4 use https://github.com/ocaml/camlp4/issues] 3 documentation suggestions and 5 camlp4 problems - closed.
- 0006559: [OCaml general] segfault errors occured on the same server twice (shinwell) - closed.

31 of 209 issue(s) resolved. Progress (14%).

OCaml - later (Scheduled For Release 2032-01-01) View Issues ]
================================================

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

20%
- 0007481: [OCaml general] Make string literal more friendly to utf8 - new.
- 0007275: [OCaml general] meta-issue on consistency of command-line arguments across tools - new.
- 0007320: [OCaml typing] Relaxing the value restriction some more - new.
- 0007017: [Ocaml optimization] Allow unboxing across "static fail" - new.
- 0006916: [OCaml general] warning 50 (documentation comments) too strict - feedback.
- 0007140: [OCaml typing] module expression in open - feedback.
- 0006537: [OCaml backend (code generation)] Stack overflow of ocamlopt while linking a pack with name clashes - feedback.
- 0005752: [OCamlbuild (the tool)] missing dependencies at byte-code link with mlpack - feedback.
- 0005201: [OCamlbuild (the tool)] Performance issue for ocamlbuild on Windows - feedback.
- 0006292: [OCamlbuild (the tool)] ocamlbuild -I does not understand paths that aren't relative descendants - feedback.
- 0006600: [OCaml typing] -short-paths slow :( (garrigue) - feedback.
- 0005208: [OCamlbuild (the tool)] cmo -> cma rule brings too much dependencies in (xclerc) - feedback.
- 0004431: [OCaml otherlibs] support O_APPEND in Unix.openfile for Win32 - acknowledged.
- 0007251: [Ocaml optimization] Provide alignment-requiring versions of the string and bigstring data access primitives - acknowledged.
- 0007267: [OCaml general] increase some syntactic flexibility for method label names and record label names - acknowledged.
- 0007242: [OCaml general] something is quadratic in pattern matching size - acknowledged.
- 0007408: [OCaml general] Compile-time fatal error when we write external definitions with wrong signatures - acknowledged.
- 0007365: [OCaml general] Support on Minix3 - acknowledged.
- 0005624: [OCaml typing] Some dependencies cannot be detected by ocamldep - acknowledged.
- 0007440: [Ocaml optimization] comparison operations on abstract types and max/min are not specialized - acknowledged.
- 0007442: [Ocaml optimization] array operations on abstract types are never specialized aka "Information Hiding Considered Harmful to Performance" - acknowledged.
- 0007441: [Ocaml optimization] Array operations not specialization during inlining. - acknowledged.
- 0006139: [OCaml otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0007145: [OCaml runtime system] caml_alloc_string allocates empty strings - acknowledged.
- 0007402: [OCaml general] "ocamlc -i ..." can generate mli-file that is not compilable - acknowledged.
- 0006961: [OCaml general] Parsing of semicolon followed by binary operator is confusing - acknowledged.
- 0007000: [OCaml runtime system] ocamlrun built with Intel compilers segfaults - acknowledged.
- 0006986: [OCaml general] iOS support for OCaml - acknowledged.
- 0006125: [Ocaml optimization] Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic - acknowledged.
- 0004839: [OCaml otherlibs] natdynlink reproducible segfault - acknowledged.
- 0007253: [OCaml standard library] at_exit functions get called twice if a callback raises and prevents earlier handlers to execute. - acknowledged.
- 0006462: [OCaml otherlibs] Dynlinking duplicate module clobbers host program state - acknowledged.
- 0006957: [OCaml otherlibs] Modules name conflict during dynamic loading - acknowledged.
- 0006701: [OCaml standard library] string_of_float and float_of_string are locale dependent - acknowledged.
- 0004559: [OCaml typing] Object inheritance in recursive modules - acknowledged.
- 0003993: [OCaml typing] recursive modules and type constructor scoping - acknowledged.
- 0004538: [OCaml tools (ocaml{lex,yacc,dep,debug})] Remotely debugging multi-threaded bytecode program causes segmentation fault. - acknowledged.
- 0005106: [OCaml otherlibs] Two channels sharing a file descriptor fail to seek properly due to buffering - acknowledged.
- 0006242: [OCaml backend (code generation)] Better compilation of local functions only used for tail calls - acknowledged.
- 0005058: [OCaml typing] improve type checking of applicative functors - acknowledged.
- 0004615: [OCaml typing] Typing recursive modules, maybe related to 4470? - acknowledged.
- 0006991: [OCaml backend (code generation)] No CSE with string constants - acknowledged.
- 0005266: [OCaml otherlibs] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged.
- 0007252: [OCaml standard library] Provide %-primitives for operations on raw pointers - acknowledged.
- 0004978: [OCaml general] exceptions lose identity after marshalling - acknowledged.
- 0006735: [OCaml general] ocamlc -custom should not link to curses - acknowledged.
- 0006784: [OCaml typing] Use all constructors listed in a pattern matching to resolve ambiguity - acknowledged.
- 0007099: [OCaml general] The "ocaml" toplevel should accept "-verbose" - acknowledged.
- 0006323: [OCaml typing] ocamlc -i can generate a wrong signature - acknowledged.
- 0007028: [OCaml typing] GADT pattern exhaustiveness checking and abstract types - acknowledged.
- 0007240: [OCaml typing] limitation on how the typer fills in missing optional arguments - acknowledged.
- 0007274: [OCamldoc] a testsuite for ocamldoc - acknowledged.
- 0007073: [OCaml standard library] Test OCaml's PRNG against the new TestU01 testsuite - acknowledged.
- 0006491: [OCaml typing] Recursive modules do not correctly handle class inheritance - acknowledged.
- 0006492: [OCaml typing] Recursive modules do not correctly handle variance - acknowledged.
- 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0006677: [OCaml general] Toplevel let should take attributes. - acknowledged.
- 0005068: [OCaml general] ocamlc/camlp4 should give better error messages for syntax errors - acknowledged.
 - 0006162: [OCaml general] Confusing error message when the user name a variable as an existing alphabetic infix operator - acknowledged.
 - 0006061: [OCaml general] Confusing error message when parentheses enclose an invalid expression - acknowledged.
 - 0005770: [OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - closed.
- 0007130: [OCaml typing] Code may fail to type without -strict-sequence - acknowledged.
- 0004229: [OCaml documentation] Casser le typage avec Dynlink - acknowledged.
- 0006950: [OCaml otherlibs] Dynlink wrong symbol - acknowledged.
- 0006947: [OCaml otherlibs] Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC - acknowledged.
- 0006750: [OCaml typing] Make the idents of the predefined type constructors (such as int, char) persistent or global - acknowledged.
- 0006532: [OCaml runtime system] ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH - acknowledged.
- 0003922: [OCaml general] Detecter inclusions multiples de .cmx - acknowledged.
- 0007072: [OCaml internal build/install (Makefiles, configure)] The testsuite doesn't run in parallel - acknowledged.
- 0003674: [OCaml typing] unterminating type checking for recursive modules - acknowledged.
- 0006778: [OCaml general] singly unlinkable cma orders silently allowed - acknowledged.
- 0006826: [OCaml typing] Improve compile time of opens, esp. for local opens - acknowledged.
- 0006746: [OCaml general] Solutions for the non-printable generated names - acknowledged.
- 0006917: [OCaml typing] can't redefine modules - acknowledged.
- 0006514: [OCaml typing] Type-based selection for rebinding constructors of extensible types - acknowledged.
- 0006200: [OCaml internal build/install (Makefiles, configure)] Store local configuration in an external file, not in the compilers - acknowledged.
- 0006885: [OCaml documentation] We should document the fact that bigarray-access syntax needs "open Bigarray" in 4.03 - acknowledged.
- 0006703: [OCaml typing] Allow to specify the type of defined values with "val" declarations - acknowledged.
- 0006782: [OCaml general] Support "obj # (meth arg1 ... argn)" - acknowledged.
- 0006873: [OCamlbuild (the tool)] Provide a parametrized tags to fix the default warnings "as in version X" - acknowledged.
- 0006144: [OCamlbuild (the tool)] Ocamlbuild try to rebuild plugin which is just built - acknowledged.
- 0006234: [OCamlbuild (the tool)] surprising warn tag application order (gasche) - acknowledged.
- 0006997: [OCamlbuild (the tool)] Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory - acknowledged.
- 0006918: [OCamlbuild (the tool)] Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation? - acknowledged.
- 0005951: [OCamlbuild (the tool)] ocamlbuild is incompatible with -cflags -S - acknowledged.
- 0006085: [OCamlbuild (the tool)] Error reporting for .mlypack - acknowledged.
- 0005015: [OCamlbuild (the tool)] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct - acknowledged.
- 0005895: [OCamlbuild (the tool)] Sometimes ocamlbuild does not create symlinks - acknowledged.
- 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances - acknowledged.
- 0004574: [OCamlbuild (the tool)] Profiling - acknowledged.
- 0006092: [OCamlbuild (the tool)] Broken logic of finding tools on PATH in ocamlbuild - acknowledged.
- 0006676: [OCaml documentation] Chapter 7 of the manual now has 27 sections - acknowledged.
- 0007065: [OCaml documentation] Undocumented exception(s) in the Num module - acknowledged.
- 0006327: [OCaml general] Puzzling infinite loop with oddly accepted program - acknowledged.
- 0006765: [OCaml general] Add hint to "Unbound value .{}" error messages - acknowledged.
- 0006558: [OCaml general] ext_attributes should be available toplevel open and module - acknowledged.
- 0007001: [OCaml tools (ocaml{lex,yacc,dep,debug})] consider not relying on libbfd - acknowledged.
- 0004499: [OCaml windows] Changes to the environment are invisible to Sys.getenv - acknowledged.
- 0006096: [OCamlbuild (the tool)] Validate what is needed to fully support Windows - acknowledged.
- 0005667: [OCaml typing] Autofocusing pattern on record field to simplify matching trees with meta-data - acknowledged.
- 0005193: [OCaml otherlibs] Make unix.{localtime,gmtime} use non reentrant c calls - acknowledged.
- 0005293: [OCamlbuild (the tool)] improve error message on circular build error - acknowledged.
- 0006065: [OCaml standard library] Array.init of a float array needlessly initialize array with (f 0) - acknowledged.
- 0005863: [OCaml typing] Allow contractibility annotation in abstract types interface - acknowledged.
- 0005753: [OCaml internal build/install (Makefiles, configure)] compiler-libs/ocamltoplevel.cmxa - acknowledged.
- 0004134: [OCaml typing] A tiny bug in type checking recursive modules - acknowledged.
- 0003935: [OCaml typing] Structural types forming non-regular trees can be defined through recursive modules. - acknowledged.
- 0005736: [OCaml typing] Support GADTs in or-patterns (garrigue) - confirmed.
- 0004108: [OCaml otherlibs] Memory-mapping of bigarrays may exhaust address space - confirmed.
- 0004127: [OCaml otherlibs] Thread.sigmask not working under pthreads - confirmed.
- 0005985: [OCaml typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed.
- 0007338: [OCaml typing] meta-issue on confusing type error messages - confirmed.
- 0007009: [OCamlbuild (the tool)] ocamlbuild -clean says directory is not empty - confirmed.
- 0007250: [OCaml general] asmcomp "compile-time constants" do not work on cross-compilers - confirmed.
- 0005461: [OCaml general] Double linking of bytecode modules (lefessan) - confirmed.
- 0005889: [OCaml typing] polymorphic variant typing error message not meaningful - confirmed.
- 0003488: [OCaml general] -pack and cmx dependancies - confirmed.
- 0004677: [OCaml standard library] set_text_size doesn't work - confirmed.
- 0006739: [OCaml documentation] Adding OCaml-version in docs (header-/footer-line) - confirmed.
- 0005996: [OCamlbuild (the tool)] ocamlbuild -build-dir dangerous behaviour - confirmed.
- 0006755: [OCamlbuild (the tool)] Internal error in OCamlbuild when using non_dependency - confirmed.
- 0005371: [OCamlbuild (the tool)] questionable reasoning in job control code - confirmed.
- 0006999: [OCamlbuild (the tool)] ocamlbuild does not observe OCAMLPARAM - confirmed.
- 0006186: [OCamlbuild (the tool)] parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules (gasche) - confirmed.
- 0007031: [OCaml general] Warn on ambiguous variables used in a when clause (gasche) - confirmed.
- 0006195: [OCaml internal build/install (Makefiles, configure)] Use compilerlibs instead of explicit lists of modules from the compiler - confirmed.
- 0006014: [OCaml typing] Existentials not allowed with 'let and' (garrigue) - confirmed.
- 0007469: [OCaml runtime system] Sys.time returns wall-clock elapsed time on Windows not CPU time (dra) - assigned.
- 0006288: [Misc] Mantis bugtracker has hundreds of spam-created users making searching by username difficult (dra) - assigned.
- 0007312: [OCaml internal build/install (Makefiles, configure)] Build compiler distribution tools with $(EXE) extension from the start (shindere) - assigned.
- 0005079: [OCaml windows] msvc: ocaml compilers should call cl.exe with /W3 (dra) - assigned.
- 0006925: [OCaml runtime system] Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock (dra) - assigned.
- 0004993: [OCaml general] A program using recursive modules doesn't compile since 3.10 (garrigue) - assigned.
- 0005143: [OCaml typing] module types and type constraints (garrigue) - assigned.
- 0004709: [OCaml general] Typing of recursive modules to permissive (garrigue) - assigned.
- 0007399: [OCaml windows] Testsuite running on Windows should verify line-endings of source files are correct (dra) - assigned.
- 0007074: [OCaml typing] There is no easy way to give names to existential variables introduced by GADT pattern-matching (garrigue) - assigned.
- 0005843: [OCamldoc] Ocamldoc: "Module or module type ?? not found" when including a functor application (guesdon) - assigned.
- 0006294: [OCaml runtime system] Poor tracking of extra heap resources (garrigue) - assigned.
- 0006023: [OCaml typing] Type-based selection of GADT constructors (garrigue) - assigned.
- 0005523: [OCaml typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned.
- 0006744: [OCaml typing] Univars can escape through polymorphic variants (garrigue) - assigned.
- 0005428: [OCaml general] Behaviour of flatten_fields and various functions in presence of object indexes. (garrigue) - assigned.
- 0006367: [OCaml typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) (garrigue) - assigned.
- 0007049: [OCaml internal build/install (Makefiles, configure)] implement a Makefile target to measure code coverage of the testsuite (chambart) - assigned.
- 0005282: [OCamlbuild (the tool)] .cmo files are generated even for native compilation (xclerc) - assigned.
- 0006927: [OCamlbuild (the tool)] Patch from PR6733 does not work on OS X (whitequark) - assigned.
- 0004304: [OCamlbuild (the tool)] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned.
- 0004870: [OCamlbuild (the tool)] Ocamlbuild is too slow when using the "include" tag on many directories (xclerc) - assigned.
- 0006929: [OCamlbuild (the tool)] incomplete fix of PR6797; ocamlbuild not taken into account (whitequark) - assigned.
- 0005138: [OCamlbuild (the tool)] option "-j" doesn't parallelize processes on windows (xclerc) - assigned.
- 0005813: [OCaml runtime system] Out of memory when using the Marshal module (doligez) - assigned.
- 0005613: [OCaml windows] Flexdll's dll produced from several object files fails to load (frisch) - assigned.
- 0005748: [OCaml typing] anonymous functions with optional arguments (garrigue) - assigned.
- 0005959: [OCaml windows] Crash in Unix.select (doligez) - resolved.
- 0006022: [Caml web site] Strange tar file for Caml-Light documentation (shinwell) - resolved.
- 0006936: [OCaml standard library] The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml) (frisch) - resolved.
- 0007066: [OCaml standard library] Exceptions raised while flushing channels in Pervasives.flush_all are simply ignored - resolved.
- 0005384: [OCaml general] alloc of let-rec values is expensive (patch) (xleroy) - resolved.
- 0007341: [OCaml otherlibs] num library should use custom blocks with compare function - resolved.
- 0005756: [OCamlbuild (the tool)] ocamlbuild spends a lot of time logging (gasche) - resolved.
- 0006935: [OCaml tools (ocaml{lex,yacc,dep,debug})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - resolved.
- 0006605: [OCamlbuild (the tool)] camlp4 parser paths are hard-coded (gasche) - resolved.
- 0006751: [OCaml typing] Introduce structural constants (literals) into Parsetree/Typedtree - resolved.
- 0005780: [OCaml typing] Strange type variable names in error messages (GADTs) (garrigue) - closed.
- 0006169: [Caml web site] Enable checkout view in ViewVC (doligez) - closed.
- 0005703: [OCaml typing] Class members hidden by recursive modules (garrigue) - closed.
- 0004493: [for Caml light use https://github.com/camllight/camllight/issues] graphique sur 0.8 (doligez) - closed.
- 0004977: [for Caml light use https://github.com/camllight/camllight/issues] [Latest caml-light / Windows] Caml light crashes on syntactic error when using emacs. - closed.
- 0005621: [for Caml light use https://github.com/camllight/camllight/issues] Crash - closed.
- 0004272: [Misc] Mantis bug tracker: silent failure when cookies not supported - closed.
- 0006725: [OCaml standard library] Reduce dependencies of Dynlink - closed.
- 0007358: [OCaml general] Precedence of user-defined |... and &... counter-intuitive in some cases - closed.
- 0006594: [OCaml backend (code generation)] options -nodynlink and -fno-PIC together produce assembler errors for MSVC64 (shinwell) - closed.
- 0005508: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o differs from ocamlc because it has quotations enabled (dim) - closed.
- 0005267: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4r (?) does not respect the constructor's arity - closed.
- 0005150: [for Camlp4 use https://github.com/ocaml/camlp4/issues] MinGW/msys: Camlp4 crashes (xclerc) - closed.
- 0005564: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Unclear code in Camlp4/Struct/Lexer.mll (dim) - closed.
- 0006177: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Identifier location inside anti-quotes is wrong. (hongboz) - closed.
- 0006212: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4 sometimes triggers Stack_overflow in top-level when previous expression got interrupted (hongboz) - closed.
- 0005090: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Strange camlp4 behavior in the toplevel. (hongboz) - closed.
- 0006106: [for Camlp4 use https://github.com/ocaml/camlp4/issues] "Module.(expr)" emitted incorrectly to source - closed.
- 0005346: [OCaml general] Improve Cmm code generator for "for" loops. - closed.
- 0006816: [OCaml general] the lexer should not allow consecutive literal numbers (gasche) - closed.
- 0006016: [OCaml typing] non-recursive type declarations (dim) - closed.
- 0006151: [OCaml backend (code generation)] Misc.Fatal_error when using "%apply" for more arguments. - closed.
- 0006819: [Caml web site] The OCaml wiki is down - closed.
- 0004882: [Caml web site] Mantis "Account Registration" email contains the string "\n\n" - closed.
- 0007007: [OCaml documentation] OCAMLPARAM is not documented - closed.
- 0004934: [OCamlbuild (the tool)] ocamlbuild takes up to one minute to scan already done parts of Coq sources - closed.
- 0005751: [Caml web site] Please provide official _O_Caml logos. - closed.
- 0006221: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Spurious (?) camlp4 error (yallop) - closed.
- 0005778: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Cannot re-bind "exception False" (dim) - closed.

40 of 193 issue(s) resolved. Progress (20%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker