Mantis Bug Tracker

OCaml - Roadmap

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.

40%
- 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.
- 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.
- 0007255: [tools (ocaml{lex,yacc,dep,debug,...})] polymorphic install_printer in ocamdebug - 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.
- 0007281: [ocamldoc] Incorrect .TH macro in Arg(3o) - acknowledged.
- 0007128: [back end (clambda to assembly)] ref_table grows without bound - acknowledged.
- 0005894: [back end (clambda to assembly)] [patch] Avoid boxing float/int32/int64 when doing direct call - 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.
- 0007072: [configure and build/install] The testsuite doesn't run in parallel - 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.
- 0004499: [platform support (windows, cross-compilation, etc)] Changes to the environment are invisible to Sys.getenv - 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.
- 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.
- 0007338: [typing] meta-issue on confusing type error messages - confirmed.
 - 0006173: [typing] Typing error message is worse that before (garrigue) - assigned.
- 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.
- 0004839: [otherlibs] natdynlink reproducible segfault (shinwell) - assigned.
- 0006462: [otherlibs] Dynlinking duplicate module clobbers host program state (shinwell) - assigned.
- 0006950: [otherlibs] Dynlink wrong symbol (shinwell) - 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.
- 0007452: [back end (clambda to assembly)] Compiler segfault on large generated source code (shinwell) - 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.
- 0006367: [typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) (garrigue) - 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.
- 0006957: [otherlibs] Modules name conflict during dynamic loading (shinwell) - assigned.
- 0004229: [documentation] Casser le typage avec Dynlink (shinwell) - 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.
- 0006925: [runtime system and C interface] Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock (dra) - assigned.
- 0007399: [platform support (windows, cross-compilation, etc)] Testsuite running on Windows should verify line-endings of source files are correct (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.
- 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.
- 0005756: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild spends a lot of time logging (gasche) - resolved.
- 0006935: [tools (ocaml{lex,yacc,dep,debug,...})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - resolved.
- 0006605: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] camlp4 parser paths are hard-coded (gasche) - resolved.
- 0006751: [typing] Introduce structural constants (literals) into Parsetree/Typedtree - resolved.
- 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.

82 of 204 issue(s) resolved. Progress (40%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker