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.

8%
- 0007017: [Ocaml optimization] Allow unboxing across "static fail" - new.
- 0007000: [OCaml runtime system] ocamlrun built with Intel compilers segfaults - new.
- 0007099: [OCaml general] The "ocaml" toplevel should accept "-verbose" - new.
- 0007066: [OCaml runtime system] Exceptions raised while flushing channels in Pervasives.flush_all are simply ignored - new.
- 0006916: [OCaml general] warning 50 (documentation comments) too strict - feedback.
- 0005256: [OCaml general] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - feedback.
- 0007140: [OCaml typing] module expression in open - feedback.
- 0006925: [OCaml runtime system] Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock - 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.
- 0006292: [OCamlbuild (the tool)] ocamlbuild -I does not understand paths that aren't relative descendants - feedback.
- 0005201: [OCamlbuild (the tool)] Performance issue for ocamlbuild on Windows - feedback.
- 0005346: [OCaml general] Improve Cmm code generator for "for" loops. - feedback.
- 0006600: [OCaml typing] -short-paths slow :( (garrigue) - feedback.
- 0005384: [OCaml general] alloc of let-rec values is expensive (patch) (xleroy) - feedback.
- 0005208: [OCamlbuild (the tool)] cmo -> cma rule brings too much dependencies in (xclerc) - feedback.
- 0007073: [OCaml standard library] Test OCaml's PRNG against the new TestU01 testsuite - acknowledged.
- 0006701: [OCaml runtime system] string_of_float and float_of_string are locale dependent - acknowledged.
- 0006491: [OCaml typing] Recursive modules do not correctly handle class inheritance - acknowledged.
- 0006492: [OCaml typing] Recursive modules do not correctly handle variance - acknowledged.
- 0006323: [OCaml typing] ocamlc -i can generate a wrong signature - acknowledged.
- 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0006677: [OCaml general] Toplevel let should take attributes. - acknowledged.
- 0006961: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Parsing of semicolon followed by binary operator is confusing - 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.
- 0007028: [OCaml typing] GADT pattern exhaustiveness checking and abstract types - acknowledged.
- 0007007: [OCaml documentation] OCAMLPARAM is not documented - acknowledged.
- 0006957: [OCaml runtime system] Modules name conflict during dynamic loading - acknowledged.
- 0006462: [OCaml runtime system] Dynlinking duplicate module clobbers host program state - acknowledged.
- 0004229: [OCaml documentation] Casser le typage avec Dynlink - acknowledged.
- 0006950: [OCaml otherlibs] Dynlink wrong symbol - acknowledged.
- 0004839: [OCaml general] natdynlink reproducible segfault - acknowledged.
- 0006947: [OCaml otherlibs] Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC - acknowledged.
- 0005266: [OCaml general] Unix.{system,open_process_{in,out,full}} are not threadsafe - 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.
- 0006139: [OCaml otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0003922: [OCaml general] Detecter inclusions multiples de .cmx - acknowledged.
- 0005624: [OCaml typing] Some dependencies cannot be detected by ocamldep - 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.
- 0006125: [Ocaml optimization] Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic - acknowledged.
- 0006778: [OCaml general] singly unlinkable cma orders silently allowed - acknowledged.
- 0006725: [OCaml standard library] Reduce dependencies of Dynlink - acknowledged.
- 0006826: [OCaml typing] Improve compile time of opens, esp. for local opens - acknowledged.
- 0006735: [OCaml general] ocamlc -custom should not link to curses - acknowledged.
- 0006936: [OCaml standard library] The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml) - acknowledged.
- 0005106: [OCaml general] Two channels sharing a file descriptor fail to seek properly due to buffering - 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.
- 0005079: [OCaml general] msvc: ocaml compilers should call cl.exe with /W3 - acknowledged.
- 0006784: [OCaml typing] Use all constructors listed in a pattern matching to resolve ambiguity - 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.
- 0006234: [OCamlbuild (the tool)] surprising warn tag application order (gasche) - acknowledged.
- 0005951: [OCamlbuild (the tool)] ocamlbuild is incompatible with -cflags -S - acknowledged.
- 0005895: [OCamlbuild (the tool)] Sometimes ocamlbuild does not create symlinks - acknowledged.
- 0006918: [OCamlbuild (the tool)] Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation? - acknowledged.
- 0006085: [OCamlbuild (the tool)] Error reporting for .mlypack - acknowledged.
- 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances - acknowledged.
- 0006997: [OCamlbuild (the tool)] Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory - acknowledged.
- 0006873: [OCamlbuild (the tool)] Provide a parametrized tags to fix the default warnings "as in version X" - acknowledged.
- 0005015: [OCamlbuild (the tool)] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct - acknowledged.
- 0006144: [OCamlbuild (the tool)] Ocamlbuild try to rebuild plugin which is just built - 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.
- 0006594: [OCaml backend (code generation)] options -nodynlink and -fno-PIC together produce assembler errors for MSVC64 - acknowledged.
- 0006242: [OCaml general] Better compilation of local functions only used for tail calls - acknowledged.
- 0006765: [OCaml general] Add hint to "Unbound value .{}" error messages - acknowledged.
- 0004978: [OCaml general] exceptions lose identity after marshalling - acknowledged.
- 0006558: [OCaml general] ext_attributes should be available toplevel open and module - acknowledged.
- 0007001: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] consider not relying on libbfd - acknowledged.
- 0006991: [OCaml general] No CSE with string constants - acknowledged.
- 0004499: [OCaml windows] Changes to the environment are invisible to Sys.getenv - acknowledged.
- 0006986: [OCaml backend (code generation)] iOS support for OCaml - acknowledged.
- 0006819: [Caml web site] The OCaml wiki is down - acknowledged.
- 0005058: [OCaml general] improve type checking of applicative functors - acknowledged.
- 0004559: [OCaml general] Object inheritance in recursive modules - acknowledged.
- 0004709: [OCaml general] Typing of recursive modules to permissive - acknowledged.
- 0006096: [OCamlbuild (the tool)] Validate what is needed to fully support Windows - acknowledged.
- 0006288: [Misc] Mantis bugtracker has hundreds of spam-created users making searching by username difficult - acknowledged.
- 0005090: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Strange camlp4 behavior in the toplevel. (hongboz) - acknowledged.
- 0004977: [Caml light] [Latest caml-light / Windows] Caml light crashes on syntactic error when using emacs. - acknowledged.
- 0005621: [Caml light] Crash - 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.
- 0004615: [OCaml general] Typing recursive modules, maybe related to 4470? - acknowledged.
- 0005293: [OCamlbuild (the tool)] improve error message on circular build error - acknowledged.
- 0005267: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4r (?) does not respect the constructor's arity - acknowledged.
- 0006065: [OCaml standard library] Array.init of a float array needlessly initialize array with (f 0) - acknowledged.
- 0004272: [Misc] Mantis bug tracker: silent failure when cookies not supported - acknowledged.
- 0003993: [OCaml general] recursive modules and type constructor scoping - acknowledged.
- 0005863: [OCaml typing] Allow contractibility annotation in abstract types interface - acknowledged.
- 0005753: [OCaml internal build/install (Makefiles, configure)] compiler-libs/ocamltoplevel.cmxa - acknowledged.
- 0004993: [OCaml general] A program using recursive modules doesn't compile since 3.10 - acknowledged.
- 0004882: [Caml web site] Mantis "Account Registration" email contains the string "\n\n" - 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.
- 0004538: [OCaml general] Remotely debugging multi-threaded bytecode program causes segmentation fault. - acknowledged.
- 0007250: [OCaml general] asmcomp "compile-time constants" do not work on cross-compilers - confirmed.
- 0005461: [OCaml general] Double linking of bytecode modules (lefessan) - confirmed.
- 0003488: [OCaml general] -pack and cmx dependancies - confirmed.
- 0004677: [OCaml standard library] set_text_size doesn't work - confirmed.
- 0005889: [OCaml typing] polymorphic variant typing error message not meaningful - confirmed.
- 0005942: [OCaml runtime system] Weak hash of serialized closures - confirmed.
- 0006739: [OCaml documentation] Adding OCaml-version in docs (header-/footer-line) - 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.
- 0007009: [OCamlbuild (the tool)] ocamlbuild -clean says directory is not empty - confirmed.
- 0006186: [OCamlbuild (the tool)] parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules (gasche) - confirmed.
- 0006999: [OCamlbuild (the tool)] ocamlbuild does not observe OCAMLPARAM - confirmed.
- 0005996: [OCamlbuild (the tool)] ocamlbuild -build-dir dangerous behaviour - 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.
- 0004108: [OCaml general] Memory-mapping of bigarrays may exhaust address space - confirmed.
- 0006470: [OCaml windows] ocamlopt -shared fails on cygwin 64bit - confirmed.
- 0005985: [OCaml typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed.
- 0006106: [for Camlp4 use https://github.com/ocaml/camlp4/issues] "Module.(expr)" emitted incorrectly to source - confirmed.
- 0006022: [Caml web site] Strange tar file for Caml-Light documentation - confirmed.
- 0006151: [OCaml backend (code generation)] Misc.Fatal_error when using "%apply" for more arguments. - confirmed.
- 0006014: [OCaml typing] Existentials not allowed with 'let and' (garrigue) - confirmed.
- 0004127: [OCaml general] Thread.sigmask not working under pthreads - confirmed.
- 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.
- 0005523: [OCaml typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned.
- 0006023: [OCaml typing] Type-based selection of GADT constructors (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.
- 0004304: [OCamlbuild (the tool)] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned.
- 0005138: [OCamlbuild (the tool)] option "-j" doesn't parallelize processes on windows (xclerc) - assigned.
- 0006929: [OCamlbuild (the tool)] incomplete fix of PR6797; ocamlbuild not taken into account (whitequark) - assigned.
- 0006927: [OCamlbuild (the tool)] Patch from PR6733 does not work on OS X (whitequark) - assigned.
- 0004870: [OCamlbuild (the tool)] Ocamlbuild is too slow when using the "include" tag on many directories (xclerc) - assigned.
- 0005959: [OCaml windows] Crash in Unix.select (doligez) - 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.
- 0006212: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4 sometimes triggers Stack_overflow in top-level when previous expression got interrupted (hongboz) - assigned.
- 0006177: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Identifier location inside anti-quotes is wrong. (hongboz) - assigned.
- 0004493: [Caml light] graphique sur 0.8 (doligez) - assigned.
- 0005564: [for Camlp4 use https://github.com/ocaml/camlp4/issues] Unclear code in Camlp4/Struct/Lexer.mll (dim) - assigned.
- 0005150: [for Camlp4 use https://github.com/ocaml/camlp4/issues] MinGW/msys: Camlp4 crashes (xclerc) - assigned.
- 0005508: [for Camlp4 use https://github.com/ocaml/camlp4/issues] camlp4o differs from ocamlc because it has quotations enabled (dim) - assigned.
- 0005143: [OCaml general] module types and type constraints (garrigue) - assigned.
- 0005756: [OCamlbuild (the tool)] ocamlbuild spends a lot of time logging (gasche) - resolved.
- 0006935: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug: load_printer raise uncaught exception when passing directory (gasche) - resolved.
- 0006605: [OCamlbuild (the tool)] camlp4 parser paths are hard-coded (gasche) - resolved.
- 0005780: [OCaml typing] Strange type variable names in error messages (GADTs) (garrigue) - resolved.
- 0006751: [OCaml typing] Introduce structural constants (literals) into Parsetree/Typedtree - resolved.
- 0005703: [OCaml typing] Class members hidden by recursive modules (garrigue) - resolved.
- 0006169: [Caml web site] Enable checkout view in ViewVC (doligez) - resolved.
- 0006816: [OCaml general] the lexer should not allow consecutive literal numbers (gasche) - resolved.
- 0006016: [OCaml typing] non-recursive type declarations (dim) - resolved.
- 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.

14 of 171 issue(s) resolved. Progress (8%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker