Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.06.0+dev (Scheduled For Release 2017-08-16) View Issues ]
=====================================================
84%
- 0007658: [runtime system and C interface] Compilation of "spacetime_snapshot.c" breaks if configured with `-force-safe-string' (shinwell) - acknowledged.
- 0007649: [configure and build/install] ocamltest: parallel build failure in 4.06 branch - acknowledged.
- 0007562: [back end (clambda to assembly)] Ocamlc got segfault in Alpine ppc64le - acknowledged.
- 0006206: [ocamldoc] Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found" - acknowledged.
- 0007652: [runtime system and C interface] caml_strdup is no longer available without defining CAML_INTERNALS - confirmed.
- 0006329: [runtime system and C interface] File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed. (shinwell) - assigned.
- 0007359: [typing] With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message (garrigue) - assigned.
- 0006928: [ocamldoc] remove <h1>title</h1> when an -intro is provided (guesdon) - assigned.
- 0007637: [lexing and parsing] Breaking change in parser (probably related to GPR#1064 - Extended indexing operators) (gasche) - resolved.
- 0007271: [misc] Undocumented ocamlc and ocamlopt link behaviour difference - resolved.
- 0007657: [typing] typer can wrongly eta-expand effectful expressions (frisch) - resolved.
- 0007598: [lexing and parsing] Out-of-date camlp4 causes segfault in ocamlopt.opt (doligez) - resolved.
- 0007643: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldep loops (octachron) - 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.
- 0007612: [back end (clambda to assembly)] afl-fuzz reports 16.00% stability for a simple constant object expression (stedolan) - resolved.
- 0007640: [otherlibs] Unix.execvpe issues since 4.05.0 (xleroy) - 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.
- 0007653: [typing] Infinite loop when typing Frama-C cabs2cil.ml (4.06-only regression) (gasche) - resolved.
- 0007642: [back end (clambda to assembly)] ocamlopt generates incorrect code on arm (xleroy) - resolved.
- 0007603: [platform support (windows, cross-compilation, etc)] segfault on windows in dynlink'd module's entry routine (frisch) - 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.
- 0006604: [lexing and parsing] Expressions like 3#0;; are ignored by the toplevel and the compiler (gasche) - resolved.
- 0007610: [emacs mode] Emacs mode uses variable that has been removed from Emacs 25 - resolved.
- 0007570: [compiler driver] Toplevel "ocaml -plugin" is not usable - resolved.
- 0007638: [platform support (windows, cross-compilation, etc)] Mingw64 + threads + system exception raised through longjmp() = crash - resolved.
- 0006738: [typing] Check for the well-formedness of let rec earlier, before or at type checking (yallop) - resolved.
- 0007215: [typing] Unsoundness with GADTs and let rec (yallop) - resolved.
- 0007231: [typing] let-rec wellformedness check too permissive with nested recursive bindings (yallop) - 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.
- 0007585: [back end (clambda to assembly)] OCaml 4.04, 4.05-rc1 incompatible with snapshot binutils, when built with -fPIC, results in crashes (shinwell) - resolved.
- 0007621: [configure and build/install] Can't figure out the right ./compile parameters for my platform (dra) - 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.
- 0007005: [typing] Deprecation warnings for types should not be emitted for the definition itself (frisch) - resolved.
- 0007348: [typing] Private row variables can escape their scope (garrigue) - resolved.
- 0006709: [documentation] Document the associativity of operators declared in Pervasives in Pervasives itself. (octachron) - resolved.
- 0007483: [typing] Strange behavior for function with polymorphic type (lpw25) - resolved.
- 0007484: [otherlibs] Cygwin32 in bytecode: problem with Bigarray and Unix.fork (dra) - resolved.
- 0007261: [typing] constraint ignored on (existential) GADT (garrigue) - resolved.
- 0007331: [ocamldoc] Ocamldoc hangs when module references itself (octachron) - resolved.
- 0005324: [~DO NOT USE (was: OCaml general)] Linear Scan Register Allocator for ocamlopt and ocamlnat - resolved.
- 0007482: [typing] The "unused" checks are confused with "unlocated" code (frisch) - resolved.
- 0007468: [runtime system and C interface] GC-safety of caml_alloc_sprintf (xleroy) - resolved.

44 of 52 issue(s) resolved. Progress (84%).

OCaml - 4.07.0+dev (Scheduled For Release 2018-03-02) View Issues ]
=====================================================
7%
- 0007581: [runtime system and C interface] CAMLlocalN does not compile with msvc compiler - acknowledged.
- 0007375: [documentation] Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor... - acknowledged.
- 0007584: [documentation] manual: document .cmt* files in the "overview" of ocaml{c,opt} - acknowledged.
- 0006955: [documentation] Synchronize option help in --help and man page - acknowledged.
- 0007599: [documentation] Document why, when and how to update magic numbers - acknowledged.
- 0006754: [standard library] topdirs.cmi multiple locations - acknowledged.
- 0007455: [tools (ocaml{lex,yacc,dep,debug,...})] ocamllex and ocamlyacc should check that there are balanced parentheses in code blocks - acknowledged.
- 0007336: [typing] Type errors at the module level are puzzling - acknowledged.
- 0006697: [lexing and parsing] Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error - acknowledged.
- 0007446: [standard library] Unix.gettimeofday allocates memory - acknowledged.
- 0007236: [documentation] document how to use Mantis (including for release triaging) - acknowledged.
- 0007376: [standard library] Format printf regression (%d in sizes of boxes and breaks) - acknowledged.
- 0007246: [back end (clambda to assembly)] 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.
- 0006567: [otherlibs] Cannot close properly a file with memory mapped blocks (Bigarray.map_file) (xleroy) - assigned.
- 0006735: [runtime system and C interface] ocamlc -custom should not link to curses (xleroy) - assigned.
- 0007608: [back end (clambda to assembly)] OCaml-uri doesn't compile on ARM with assembler error (xleroy) - assigned.
- 0007518: [otherlibs] Unix.readlink should strip DOS Device namespace prefix on Windows (dra) - assigned.
- 0007241: [typing] Pattern matching with mutable and lazy patterns is unsound (maranget) - assigned.
- 0006148: [standard library] Optimize Buffer operation with unsafe operations (was: Simple improvements to speed of Buffer module) (doligez) - assigned.
- 0006959: [configure and build/install] OCaml inappropriately installs binaries in the library directory (shindere) - assigned.
- 0007198: [runtime system and C interface] caml_alloc_custom/caml_alloc_final API easily leads to GC performance issues (doligez) - assigned.
- 0007172: [configure and build/install] More information in ocamlc -config (dra) - assigned.
- 0007470: [tools (ocaml{lex,yacc,dep,debug,...})] Ocamldep can miss dependencies (octachron) - assigned.
- 0006813: [otherlibs] Provide Thread.set_uncaught_exception_handler (dim) - assigned.
- 0005936: [lexing and parsing] Weird syntax accepted by OCaml (doligez) - assigned.
- 0005607: [documentation] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (octachron) - resolved.
- 0007509: [configure and build/install] .gitignore lists some files that should not be ignored - resolved.

2 of 28 issue(s) resolved. Progress (7%).

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

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

59%
- 0007340: [runtime system and C interface] callbacks from C to ocaml need nested functions where it shouldn't need to - feedback.
- 0004829: [typing] Recursive modules which do not type - acknowledged.
- 0005818: [typing] Function signatures be dropped out from recursive modules within higher order functor (lpw25) - acknowledged.
- 0006433: [typing] Wrong module type signature grabbed when using packed libraries (garrigue) - acknowledged.
- 0007077: [typing] [OCaml] Typechecking limitation in presence of mutually recursive modules - acknowledged.
- 0007129: [typing] constraints and local opens as proper nodes vs extra field - acknowledged.
- 0007193: [typing] Terminating semi-colon ignored by -strict-sequence - acknowledged.
- 0007334: [typing] -nolabels behavior doesn't match documentation - acknowledged.
- 0006660: [typing] Quirk of the type-checker: a strange disappearance of warning 20 (unused argument) (garrigue) - acknowledged.
- 0006711: [standard library] Deprecate Stream and Genlex - acknowledged.
- 0006633: [typing] Error message for module used where a module type is expected is confusing - acknowledged.
- 0006122: [typing] A polymorphic variant type is not recognized as a polymorphic variant - acknowledged.
- 0006860: [configure and build/install] Get rid of #ml from config/Makefile - acknowledged.
- 0006773: [configure and build/install] Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler - acknowledged.
- 0005903: [typing] integrate unused-variable (and other unused-*) warnings with ordinary type-error messages - acknowledged.
- 0005888: [typing] Better type errors for polymorphic variants and module signatures (garrigue) - acknowledged.
- 0007126: [standard library] Mark functions in the stdlib that should be inlined - acknowledged.
- 0004070: [runtime system and C interface] Small tweak for some numeric functions in Pervasives - acknowledged.
- 0006224: [back end (clambda to assembly)] introduce cmovcc instruction to speed up certain simple "if" blocks - acknowledged.
- 0005999: [back end (clambda to assembly)] "for" loop not entirely optimal? - acknowledged.
- 0007159: [typing] Better type propagation within object literals (garrigue) - acknowledged.
- 0006730: [tools (ocaml{lex,yacc,dep,debug,...})] Wish: -dsource/-dparsetree for ocamldep - acknowledged.
- 0006966: [ocamldoc] Cannot attach documentation to polymorphic variants - acknowledged.
- 0006568: [standard library] Reveal the type of Unix.inet_addr - acknowledged.
- 0006238: [back end (clambda to assembly)] please add an option to enable debug symbols only (shinwell) - acknowledged.
- 0006756: [typing] add support for type expressions on the right-hand side of type substitutions in signatures - acknowledged.
- 0006962: [standard library] bigarray lacks a free-like call. - acknowledged.
- 0006951: [typing] Meta-issue on ambiguity warnings - acknowledged.
- 0006049: [configure and build/install] fix support for OpenBSD/macppc (32-bit powerpc) (meurer) - confirmed.
- 0006792: [tools (ocaml{lex,yacc,dep,debug,...})] Dynlink support for ocamldebug (whitequark) - confirmed.
- 0005874: [typing] Improve error message for polymorphic variant - confirmed.
- 0005684: [configure and build/install] no uninstall target in the Makefile - confirmed.
- 0006429: [standard library] A format specifier for bytes - confirmed.
- 0006800: [typing] simplify using gadt with lambda - confirmed.
- 0007134: [typing] compiler forcing aliases it shouldn't while reporting type errors (garrigue) - assigned.
- 0006380: [typing] -short-paths sometimes does not shorten paths (lpw25) - assigned.
- 0007091: [typing] Improve GADT typing with or-clauses (garrigue) - assigned.
- 0006452: [standard library] custom format (dim) - assigned.
- 0005812: [~DO NOT USE (was: OCaml general)] Adapt emacs mode to generate .annot from .cmt files (frisch) - resolved.
- 0007070: [typing] Unexported values can cause non-generalisable variables error (lpw25) - resolved.
- 0006587: [typing] #show_module prints types incorrectly (garrigue) - resolved.
- 0005429: [otherlibs] Unix.stat behaves differently on win32 and linux - 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.
- 0006882: [typing] Apparently valid program rejected by the typer (garrigue) - resolved.
- 0007093: [typing] Confusing error when accessing a record field that doesn't exist (garrigue) - resolved.
- 0006467: [typing] include of sub-module in recursively-defined module causes loss of type equality (garrigue) - resolved.
- 0006987: [typing] Strage error message probably caused by universal variable escape (with polymorphic variants) (garrigue) - resolved.
- 0007144: [typing] Strange undefined global error on trunk (garrigue) - resolved.
- 0006485: [typing] private lost after rebinding module (garrigue) - resolved.
- 0004159: [otherlibs] MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux (shinwell) - resolved.
- 0006373: [back end (clambda to assembly)] Warning about trigraph on generated assembly code (shinwell) - resolved.
- 0005754: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Not optimal parallel build of dependencies - resolved.
- 0006094: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Reading META files - resolved.
- 0006632: [typing] Inconsistent polymorphic method printing (lpw25) - resolved.
- 0007205: [documentation] List.map length limit (frisch) - resolved.
- 0006696: [~DO NOT USE (was: OCaml general)] Allow dynlinking code into ocamlc/opt (frisch) - resolved.
- 0007491: [~DO NOT USE (was: OCaml general)] Deep record field replacement (gasche) - resolved.
- 0006978: [platform support (windows, cross-compilation, etc)] Unix.create_process fails to call .bat scripts with spaces in path given arguments with spaces - resolved.
- 0003236: [platform support (windows, cross-compilation, etc)] Queue+Threads+Cygwin native causes crash (dra) - resolved.
- 0007177: [standard library] stderr is buffered when using some prerr functions (frisch) - resolved.
- 0007192: [typing] Strange type system bug - resolved.
- 0007381: [typing] Assertion failure with refutation pattern (garrigue) - resolved.
- 0004269: [documentation] man page for labltk (garrigue) - resolved.
- 0005401: [~DO NOT USE (was: OCaml general)] OCamlbrowser ignores command line arguments on win32/msvc (garrigue) - resolved.
- 0006508: [otherlibs] Tkvars.version() call gives Fatal error - resolved.
- 0005917: [back end (clambda to assembly)] [patch] Generate direct call inside inlined function (chambart) - closed.
- 0006551: [middle end (typedtree to clambda)] Make Int64.bits_of_float and Int64.float_of_bits %-primitives (dim) - closed.
- 0006761: [documentation] add Table with filename-extensions - closed.
- 0006741: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: document the .ocamldebug startup file - closed.
- 0004885: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Incorrect/unwanted behavior on invalid string inputs (hongboz) - closed.
- 0006093: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Loading rules from ocamlfind package (gasche) - closed.
- 0006494: [standard library] Expose caml_string_equal &c to OCaml (gasche) - closed.
- 0006118: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 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: [~DO NOT USE (was: OCaml general)] segfault errors occured on the same server twice (shinwell) - closed.

55 of 93 issue(s) resolved. Progress (59%).

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.

44%
- 0007140: [typing] module expression in open - feedback.
- 0006381: [typing] Report unbound variables before other errors - feedback.
- 0006537: [back end (clambda to assembly)] Stack overflow of ocamlopt while linking a pack with name clashes - feedback.
- 0007600: [documentation] Document the commit process around bootstrapping - acknowledged.
- 0007345: [back end (clambda to assembly)] Some GADT matches cause closure allocation with ocamlc -g - acknowledged.
- 0007520: [typing] Odd behaviour of refutation cases with polymorphic variants - acknowledged.
- 0005894: [back end (clambda to assembly)] [patch] Avoid boxing float/int32/int64 when doing direct call - acknowledged.
- 0007255: [tools (ocaml{lex,yacc,dep,debug,...})] polymorphic install_printer in ocamdebug - acknowledged.
- 0006701: [standard library] string_of_float and float_of_string are locale dependent - acknowledged.
- 0006676: [documentation] Chapter 7 of the manual now has 27 sections - acknowledged.
- 0007320: [typing] Relaxing the value restriction some more - acknowledged.
- 0004791: [typing] ocamlc -i produces incorrect result - acknowledged.
- 0003935: [typing] Structural types forming non-regular trees can be defined through recursive modules. - acknowledged.
- 0003674: [typing] unterminating type checking for recursive modules - acknowledged.
- 0004850: [typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0004134: [typing] A tiny bug in type checking recursive modules - acknowledged.
- 0006491: [typing] Recursive modules do not correctly handle class inheritance - acknowledged.
- 0006492: [typing] Recursive modules do not correctly handle variance - acknowledged.
- 0004559: [typing] Object inheritance in recursive modules - acknowledged.
- 0005514: [typing] "with module" semantics seem broken - acknowledged.
- 0005006: [typing] Typing problem with recursive modules - acknowledged.
- 0006330: [typing] Wrong location for error with polymorphic variant patterns (garrigue) - acknowledged.
- 0006528: [typing] type constraints alter signatures in unusual ways (garrigue) - acknowledged.
- 0006634: [typing] Type $t is not included in type $t - acknowledged.
- 0007242: [middle end (typedtree to clambda)] something is quadratic in pattern matching size - acknowledged.
- 0005624: [tools (ocaml{lex,yacc,dep,debug,...})] Some dependencies cannot be detected by ocamldep - acknowledged.
- 0006514: [typing] Type-based selection for rebinding constructors of extensible types - acknowledged.
- 0005068: [lexing and parsing] ocamlc/camlp4 should give better error messages for syntax errors - acknowledged.
 - 0006061: [lexing and parsing] Confusing error message when parentheses enclose an invalid expression - acknowledged.
 - 0005770: [~DO NOT USE (was: OCaml general)] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - closed.
 - 0007148: [lexing and parsing] Confusing error message when parentheses are added around an expression - acknowledged.
- 0007065: [documentation] Undocumented exception(s) in the Num module - acknowledged.
- 0005058: [typing] improve type checking of applicative functors - acknowledged.
- 0006139: [otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0007145: [runtime system and C interface] caml_alloc_string allocates empty strings - acknowledged.
- 0005193: [otherlibs] Make unix.{localtime,gmtime} use non reentrant c calls - acknowledged.
- 0006065: [standard library] Array.init of a float array needlessly initialize array with (f 0) - acknowledged.
- 0006200: [configure and build/install] Store local configuration in an external file, not in the compilers - acknowledged.
- 0006532: [runtime system and C interface] ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH - acknowledged.
- 0006242: [back end (clambda to assembly)] Better compilation of local functions only used for tail calls - acknowledged.
- 0007442: [middle end (typedtree to clambda)] array operations on abstract types are never specialized aka "Information Hiding Considered Harmful to Performance" - acknowledged.
- 0007441: [middle end (typedtree to clambda)] Array operations not specialization during inlining. - acknowledged.
- 0007440: [middle end (typedtree to clambda)] comparison operations on abstract types and max/min are not specialized - acknowledged.
- 0003747: [runtime system and C interface] catch_break does not always catch break - acknowledged.
- 0006991: [back end (clambda to assembly)] No CSE with string constants - acknowledged.
- 0006822: [language features] Object-like notation for calling regular functions - acknowledged.
- 0007251: [misc] Provide alignment-requiring versions of the string and bigstring data access primitives - acknowledged.
- 0007267: [lexing and parsing] increase some syntactic flexibility for method label names and record label names - acknowledged.
- 0007408: [middle end (typedtree to clambda)] Compile-time fatal error when we write external definitions with wrong signatures - acknowledged.
- 0007319: [typing] Provide a way to ignore existentials in GADT pattern matching - acknowledged.
- 0007296: [lexing and parsing] Cannot use a | at the beginning of an or-pattern - acknowledged.
- 0007028: [typing] GADT pattern exhaustiveness checking and abstract types - acknowledged.
- 0006327: [lexing and parsing] Puzzling infinite loop with oddly accepted program - acknowledged.
- 0006961: [lexing and parsing] Parsing of semicolon followed by binary operator is confusing - acknowledged.
- 0007332: [ocamldoc] Ocamldoc does not recognize included module - acknowledged.
- 0007213: [lexing and parsing] Polymorphic variant pattern syntax is too permissive - acknowledged.
- 0007212: [typing] Covariance propagation across functors (garrigue) - acknowledged.
- 0007128: [back end (clambda to assembly)] ref_table grows without bound - acknowledged.
- 0007418: [platform support (windows, cross-compilation, etc)] Use of the _WIN32_WINNT macro, minimal version of Windows supported by OCaml - acknowledged.
- 0004431: [otherlibs] support O_APPEND in Unix.openfile for Win32 - acknowledged.
- 0007253: [standard library] at_exit functions get called twice if a callback raises and prevents earlier handlers to execute. - acknowledged.
- 0005106: [otherlibs] Two channels sharing a file descriptor fail to seek properly due to buffering - acknowledged.
- 0004615: [typing] Typing recursive modules, maybe related to 4470? - acknowledged.
- 0005266: [otherlibs] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged.
- 0007252: [standard library] Provide %-primitives for operations on raw pointers - acknowledged.
- 0006784: [typing] Use all constructors listed in a pattern matching to resolve ambiguity - acknowledged.
- 0007274: [ocamldoc] a testsuite for ocamldoc - acknowledged.
- 0007073: [standard library] Test OCaml's PRNG against the new TestU01 testsuite - acknowledged.
- 0006750: [typing] Make the idents of the predefined type constructors (such as int, char) persistent or global - acknowledged.
- 0006917: [typing] can't redefine modules - acknowledged.
- 0006703: [typing] Allow to specify the type of defined values with "val" declarations - acknowledged.
- 0007001: [tools (ocaml{lex,yacc,dep,debug,...})] consider not relying on libbfd - acknowledged.
- 0005667: [typing] Autofocusing pattern on record field to simplify matching trees with meta-data - acknowledged.
- 0005863: [typing] Allow contractibility annotation in abstract types interface - acknowledged.
- 0005753: [configure and build/install] compiler-libs/ocamltoplevel.cmxa - acknowledged.
- 0007636: [typing] Constant type can not be generalized ? (lpw25) - confirmed.
- 0004499: [platform support (windows, cross-compilation, etc)] Changes to the environment are invisible to Sys.getenv - confirmed.
- 0007338: [typing] meta-issue on confusing type error messages - confirmed.
 - 0006173: [typing] Typing error message is worse that before (garrigue) - assigned.
- 0006360: [typing] Relaxing the coherence check for with-constraint re-exports (garrigue) - confirmed.
- 0005984: [typing] Variance information is not properly propagated through functor applications (garrigue) - confirmed.
 - 0005985: [typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed.
- 0006654: [typing] Destructive substitution on classes produces unrepresentable module type - confirmed.
- 0004709: [typing] Typing of recursive modules to permissive - confirmed.
- 0006014: [typing] Existentials not allowed with 'let and' (garrigue) - confirmed.
- 0006195: [configure and build/install] Use compilerlibs instead of explicit lists of modules from the compiler - confirmed.
- 0007275: [tools (ocaml{lex,yacc,dep,debug,...})] meta-issue on consistency of command-line arguments across tools - confirmed.
- 0006013: [typing] duplicate locations cause 'unused warnings' to be lost - confirmed.
- 0006472: [toplevel] tokens ignored in top level command line after ';;' - confirmed.
- 0007250: [platform support (windows, cross-compilation, etc)] asmcomp "compile-time constants" do not work on cross-compilers - confirmed.
- 0005736: [typing] Support GADTs in or-patterns (garrigue) - confirmed.
- 0005889: [typing] polymorphic variant typing error message not meaningful - confirmed.
- 0004677: [standard library] set_text_size doesn't work - confirmed.
- 0006739: [documentation] Adding OCaml-version in docs (header-/footer-line) - confirmed.
- 0006925: [runtime system and C interface] Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock (dra) - assigned.
- 0007313: [typing] Typing regression between 4.03 and 4.04 branch with signature coercion. (garrigue) - assigned.
- 0006970: [typing] equality, moregen and unification force expansion of large, non-recursive type constructors (garrigue) - assigned.
- 0007458: [typing] Printing of type aliases in signatures could be improved (with nonrec) (garrigue) - assigned.
- 0005428: [typing] Behaviour of flatten_fields and various functions in presence of object indexes. (garrigue) - assigned.
- 0004127: [otherlibs] Thread.sigmask not working under pthreads (dim) - assigned.
- 0004108: [otherlibs] Memory-mapping of bigarrays may exhaust address space (doligez) - assigned.
- 0004538: [tools (ocaml{lex,yacc,dep,debug,...})] Remotely debugging multi-threaded bytecode program causes segmentation fault. (doligez) - assigned.
- 0004993: [typing] A program using recursive modules doesn't compile since 3.10 (garrigue) - assigned.
- 0007312: [configure and build/install] Build compiler distribution tools with $(EXE) extension from the start (shindere) - assigned.
- 0006600: [typing] -short-paths slow :( (lpw25) - assigned.
- 0005523: [typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned.
- 0006121: [back end (clambda to assembly)] Atomic load primitives (shinwell) - assigned.
- 0006023: [typing] Type-based selection of GADT constructors (garrigue) - assigned.
- 0007469: [runtime system and C interface] 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.
- 0005079: [platform support (windows, cross-compilation, etc)] msvc: ocaml compilers should call cl.exe with /W3 (dra) - assigned.
- 0007074: [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: [runtime system and C interface] Poor tracking of extra heap resources (garrigue) - assigned.
- 0006744: [typing] Univars can escape through polymorphic variants (garrigue) - assigned.
- 0007049: [configure and build/install] implement a Makefile target to measure code coverage of the testsuite (chambart) - assigned.
- 0005813: [runtime system and C interface] Out of memory when using the Marshal module (doligez) - assigned.
- 0005613: [platform support (windows, cross-compilation, etc)] Flexdll's dll produced from several object files fails to load (frisch) - assigned.
- 0007399: [platform support (windows, cross-compilation, etc)] Testsuite running on Windows should verify line-endings of source files are correct (dra) - resolved.
- 0007072: [configure and build/install] The testsuite doesn't run in parallel (shindere) - resolved.
- 0006367: [typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) (garrigue) - resolved.
- 0007281: [ocamldoc] Incorrect .TH macro in Arg(3o) (octachron) - resolved.
- 0006950: [otherlibs] Dynlink wrong symbol (shinwell) - resolved.
- 0006957: [otherlibs] Modules name conflict during dynamic loading (shinwell) - resolved.
- 0006462: [otherlibs] Dynlinking duplicate module clobbers host program state (shinwell) - resolved.
- 0004229: [documentation] Casser le typage avec Dynlink (shinwell) - resolved.
- 0004839: [otherlibs] natdynlink reproducible segfault (shinwell) - resolved.
- 0006826: [typing] Improve compile time of opens, esp. for local opens (frisch) - resolved.
- 0007130: [typing] Code may fail to type without -strict-sequence (garrigue) - resolved.
- 0007240: [typing] limitation on how the typer fills in missing optional arguments (garrigue) - resolved.
- 0003993: [typing] recursive modules and type constructor scoping (garrigue) - resolved.
- 0006947: [otherlibs] Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC (shinwell) - resolved.
- 0005293: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] improve error message on circular build error - resolved.
- 0006918: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation? - resolved.
- 0006997: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory - resolved.
- 0005201: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Performance issue for ocamlbuild on Windows - resolved.
- 0004304: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild -I does not add directories to the compiler search paths. - resolved.
- 0004574: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Profiling - resolved.
- 0004870: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Ocamlbuild is too slow when using the "include" tag on many directories - resolved.
- 0005015: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct - resolved.
- 0005138: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] option "-j" doesn't parallelize processes on windows - resolved.
- 0005185: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] creates incomplete cma under some circumstances - resolved.
- 0005208: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] cmo -> cma rule brings too much dependencies in - resolved.
- 0005282: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .cmo files are generated even for native compilation - resolved.
- 0005371: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] questionable reasoning in job control code - resolved.
- 0005752: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] missing dependencies at byte-code link with mlpack - resolved.
- 0005895: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Sometimes ocamlbuild does not create symlinks - resolved.
- 0005951: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild is incompatible with -cflags -S - resolved.
- 0005996: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild -build-dir dangerous behaviour - resolved.
- 0006085: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Error reporting for .mlypack - resolved.
- 0006096: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Validate what is needed to fully support Windows - resolved.
- 0006144: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Ocamlbuild try to rebuild plugin which is just built - resolved.
- 0006186: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules (gasche) - resolved.
- 0006234: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] surprising warn tag application order (gasche) - resolved.
- 0007481: [~DO NOT USE (was: OCaml general)] Make string literal more friendly to utf8 (octachron) - resolved.
- 0006292: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild -I does not understand paths that aren't relative descendants - resolved.
- 0006755: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Internal error in OCamlbuild when using non_dependency - resolved.
- 0006916: [lexing and parsing] warning 50 (documentation comments) too strict - resolved.
- 0006927: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Patch from PR6733 does not work on OS X (whitequark) - resolved.
- 0006929: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] incomplete fix of PR6797; ocamlbuild not taken into account (whitequark) - resolved.
- 0006999: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild does not observe OCAMLPARAM - resolved.
- 0007009: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild -clean says directory is not empty - resolved.
- 0006885: [documentation] We should document the fact that bigarray-access syntax needs "open Bigarray" in 4.03 (octachron) - resolved.
- 0006092: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Broken logic of finding tools on PATH in ocamlbuild - resolved.
- 0005959: [platform support (windows, cross-compilation, etc)] Crash in Unix.select (doligez) - resolved.
- 0006022: [web site] Strange tar file for Caml-Light documentation (shinwell) - resolved.
- 0006936: [standard library] The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml) (frisch) - resolved.
- 0007066: [standard library] Exceptions raised while flushing channels in Pervasives.flush_all are simply ignored - resolved.
- 0005384: [~DO NOT USE (was: OCaml general)] alloc of let-rec values is expensive (patch) (xleroy) - resolved.
- 0007341: [otherlibs] num library should use custom blocks with compare function - resolved.
- 0006751: [typing] Introduce structural constants (literals) into Parsetree/Typedtree - resolved.
- 0005756: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild spends a lot of time logging (gasche) - closed.
- 0006935: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - closed.
- 0006605: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] camlp4 parser paths are hard-coded (gasche) - closed.
- 0007452: [back end (clambda to assembly)] Segfaults or wrong code execution on Intel Skylake / Kaby Lake CPUs with hyperthreading enabled (shinwell) - closed.
- 0007402: [typing] "ocamlc -i ..." can generate mli-file that is not compilable (garrigue) - closed.
- 0006323: [typing] ocamlc -i can generate a wrong signature (garrigue) - closed.
- 0005143: [typing] module types and type constraints (garrigue) - closed.
- 0005748: [typing] anonymous functions with optional arguments (garrigue) - closed.
- 0007000: [runtime system and C interface] ocamlrun built with Intel compilers segfaults (lefessan) - closed.
- 0005780: [typing] Strange type variable names in error messages (GADTs) (garrigue) - closed.
- 0006169: [web site] Enable checkout view in ViewVC (doligez) - closed.
- 0005703: [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: [standard library] Reduce dependencies of Dynlink - closed.
- 0007358: [~DO NOT USE (was: OCaml general)] Precedence of user-defined |... and &... counter-intuitive in some cases - closed.
- 0006594: [back end (clambda to assembly)] 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: [~DO NOT USE (was: OCaml general)] Improve Cmm code generator for "for" loops. - closed.
- 0006816: [~DO NOT USE (was: OCaml general)] the lexer should not allow consecutive literal numbers (gasche) - closed.
- 0006016: [typing] non-recursive type declarations (dim) - closed.
- 0006151: [back end (clambda to assembly)] Misc.Fatal_error when using "%apply" for more arguments. - closed.
- 0006819: [web site] The OCaml wiki is down - closed.
- 0004882: [web site] Mantis "Account Registration" email contains the string "\n\n" - closed.
- 0007007: [documentation] OCAMLPARAM is not documented - closed.
- 0004934: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild takes up to one minute to scan already done parts of Coq sources - closed.
- 0005751: [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.

92 of 209 issue(s) resolved. Progress (44%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker