Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.02.0+dev (Scheduled For Release 2014-06-25) View Issues ]
=====================================================
26%
- 0004886: [Camlp4] Desugaring of camlp4 quotations of labeled patterns duplicates variables (garrigue) - feedback.
- 0004885: [Camlp4] Incorrect/unwanted behavior on invalid string inputs (hongboz) - feedback.
- 0005001: [OCaml general] ocamldebug claims that record type is not a record type - feedback.
- 0005752: [OCamlbuild (the tool)] missing dependencies at byte-code link with mlpack - feedback.
- 0004545: [Camlp4] Camlp4 preprocessing messes up the documentation. (hongboz) - feedback.
- 0004254: [OCaml general] -dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims - feedback.
- 0006094: [OCamlbuild (the tool)] Reading META files - feedback.
- 0005536: [OCamldoc] warning for inherited library classes (guesdon) - feedback.
- 0005943: [OCamlbuild (the tool)] ocamlmklib always adds -L (absolute) directories also the run-time linker path. - acknowledged.
- 0006107: [OCaml windows] Lack of quoting helpers for use with Unix.open_process* - acknowledged.
- 0005044: [OCaml general] Emacs doesn't recognize the backtrace error location format - acknowledged.
- 0006099: [OCamlbuild (the tool)] Add ocamlbuild tags mirroring command line options - acknowledged.
- 0006103: [OCamlbuild (the tool)] Add ocamlbuild support for ocamlfind's -ppopt option - acknowledged.
- 0006097: [OCamlbuild (the tool)] Allow user to add new commandline options in the plugin. - acknowledged.
- 0006098: [OCamlbuild (the tool)] Global predicates - acknowledged.
- 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances - acknowledged.
- 0005106: [OCaml general] Two channels sharing a file descriptor fail to seek properly due to buffering - acknowledged.
- 0005074: [OCaml general] wrong backtrace printed when mixing modules with and without debug info - acknowledged.
- 0005006: [OCaml typing] Typing problem with recursive modules - acknowledged.
- 0005860: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug documentation issues - acknowledged.
- 0004957: [OCaml general] ocamlc -where, camlp4 -where, etc. add \r\n on mingw - acknowledged.
- 0005783: [OCaml windows] Unix.select returns immediately when waiting for the completion of a non-blocking socket connection - acknowledged.
- 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0004846: [Camlp4] move_start_p is partially used in Struct/Lexer.mll (hongboz) - acknowledged.
- 0004829: [OCaml general] Recursive modules which do not type - acknowledged.
- 0005219: [OCaml general] use $(INSTALL) instead of 'cp' in Makefiles - acknowledged.
- 0005250: [OCaml general] ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path - acknowledged.
- 0005991: [OCaml internal build/install (Makefiles, configure)] Syntax error in tools/Makefile.shared - acknowledged.
- 0005846: [Camlp4] OCaml parses let (!*) but not camlp4o doesn't - acknowledged.
- 0005837: [Camlp4] Strange camlp4 rewrite - acknowledged.
- 0005822: [OCamlbuild (the tool)] wrong value of Options.ext_dll on windows - acknowledged.
- 0005812: [OCaml general] Adapt emacs mode to generate .annot from .cmt files - acknowledged.
- 0005927: [OCaml typing] Type equality broken for conjunctive polymorphic variant tags (garrigue) - acknowledged.
- 0005254: [OCaml general] Compilation of generated .c files with g++ - acknowledged.
- 0005716: [Camlp4] directive 'remove_directory' was not supported in camlp4 - acknowledged.
- 0005685: [Camlp4] Antiquotation bug (quotation expr, with antiquotation list) - acknowledged.
- 0005642: [Camlp4] module_type application - acknowledged.
- 0005951: [OCamlbuild (the tool)] ocamlbuild is incompatible with -cflags -S - acknowledged.
- 0005975: [OCaml general] Pushing the evaluation of default expression for optional arguments is not specified - acknowledged.
- 0005429: [OCaml general] Unix.stat behaves differently on win32 and linux - acknowledged.
- 0005266: [OCaml general] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged.
- 0004791: [OCaml general] ocamlc -i produces incorrect result - acknowledged.
- 0004771: [OCaml general] Dynlink.allow_only should call default_available_units or docs should be updated - acknowledged.
- 0004230: [OCaml general] value name conflict (doligez) - acknowledged.
- 0003236: [OCaml general] Queue+Threads+Cygwin native causes crash - acknowledged.
- 0003947: [OCamldoc] Bad link (guesdon) - acknowledged.
- 0003957: [OCaml general] [> {typexpr} as 't ] yields a syntax error with yacc syntax - acknowledged.
- 0004559: [OCaml general] Object inheritance in recursive modules - acknowledged.
- 0004466: [OCaml windows] Unix.select on Windows not handling reads and writes to same socket - acknowledged.
- 0004499: [OCaml windows] Changes to the environment are invisible to Sys.getenv - acknowledged.
- 0004080: [OCaml general] segfault avec ocamlopt -pack - acknowledged.
- 0004099: [OCaml windows] Bug in Makefile.nt: won't stop on error - acknowledged.
- 0004148: [OCaml documentation] Description de -pack dans le manuel - acknowledged.
- 0004341: [Camlp4] Document meaning and use of SYMBOL token - acknowledged.
- 0004159: [OCaml general] MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux - acknowledged.
- 0004164: [OCaml general] caml C headers may clash with other C libraries (doligez) - acknowledged.
- 0004166: [OCaml general] Incorrect module initialisation order with "external" declarations - acknowledged.
- 0004229: [OCaml documentation] Casser le typage avec Dynlink - acknowledged.
- 0004590: [Camlp4] Grouping several match cases in EXTEND statements - acknowledged.
- 0003805: [OCaml general] misc. camlp4 + doc - acknowledged.
- 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - acknowledged.
- 0004208: [OCaml general] Dynlink.crc_interfaces n'est pas bien backtrackée - acknowledged.
- 0003468: [OCaml documentation] Sys_error documentation - acknowledged.
- 0003688: [Camlp4] 3 documentation suggestions and 5 camlp4 problems - acknowledged.
- 0004709: [OCaml general] Typing of recursive modules to permissive - acknowledged.
- 0004329: [Camlp4] Gramlib syntax error messages are less precise, sometimes wrong - acknowledged.
- 0006139: [OCaml otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged.
- 0006095: [OCamlbuild (the tool)] Interactive init of default project files - acknowledged.
- 0004832: [OCaml otherlibs] Filling bigarrays may block out runtime - acknowledged.
- 0006101: [OCaml runtime system] Avoiding page table using contiguous heap - acknowledged.
- 0004539: [OCaml general] please change exception string raised when comparing functional values - acknowledged.
- 0005917: [OCaml backend (code generation)] [patch] Generate direct call inside inlined function - acknowledged.
- 0005890: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamlc does not fully take into consideration -o parameter - acknowledged.
- 0006135: [OCaml documentation] Please document -ppx option - acknowledged.
- 0004799: [OCaml general] Printf ignores width on %b %c %a %% (and maybe other) - acknowledged.
- 0005703: [OCaml typing] Class members hidden by recursive modules - acknowledged.
- 0003789: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0003786: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0006367: [OCaml typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) - confirmed.
- 0006392: [OCaml backend (code generation)] [github patch] native code support for armv6 on FreeBSD10 (doligez) - confirmed.
- 0006039: [OCaml general] Syntax improvement for functor type definitions - confirmed.
- 0005705: [Camlp4] Camlp4 accepts bad syntax and may also bomb on it - confirmed.
- 0005987: [OCaml documentation] Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr" - confirmed.
- 0005829: [OCaml standard library] int_of_string failure - confirmed.
- 0005962: [OCaml documentation] ocamlmklib documentation is not accurate - confirmed.
- 0005936: [OCaml general] Weird syntax accepted by OCaml - confirmed.
- 0005896: [Camlp4] camlp4.macro fails to undefine a macro with an expression - confirmed.
- 0005984: [OCaml typing] Variance information is not properly propagated through functor applications (garrigue) - confirmed.
- 0005995: [OCaml general] Uncaught exceptions & packing - confirmed.
- 0005473: [OCaml general] Double linking of native modules (with -pack) - confirmed.
- 0005461: [OCaml general] Double linking of bytecode modules (lefessan) - confirmed.
- 0004686: [OCamldoc] Wrong module signature in generated doc - confirmed.
- 0003959: [OCaml general] no exit on bad #use in ocaml scripts - confirmed.
- 0005371: [OCamlbuild (the tool)] questionable reasoning in job control code - confirmed.
- 0004369: [OCaml general] The emacs function "Show types at point" does not show the type of methods - confirmed.
- 0006429: [OCaml standard library] A format specifier for bytes - confirmed.
- 0006167: [OCaml backend (code generation)] OCAMLPARAM Support for Disabling Position-Independent Code (PIC) Generation - confirmed.
- 0006195: [OCaml internal build/install (Makefiles, configure)] Use compilerlibs instead of explicit lists of modules from the compiler - confirmed.
- 0004175: [OCaml general] runtime header file io.h conflicts with a system header file - confirmed.
- 0005684: [OCaml internal build/install (Makefiles, configure)] no uninstall target in the Makefile - confirmed.
- 0005693: [OCaml otherlibs] Missing '_environ' symbol used in libunix.a - confirmed.
- 0006087: [OCamlbuild (the tool)] ocamlbuild, improve _tags parsing and error report (gasche) - assigned.
- 0006465: [OCaml typing] Incremental weakening of module aliases is not allowed (garrigue) - assigned.
- 0006474: [OCaml general] "Weak dependencies" not recorded correctly (gasche) - assigned.
- 0006226: [OCaml internal build/install (Makefiles, configure)] ocaml does not build on FreeBSD 10/amd64 (shinwell) - assigned.
- 0005949: [OCaml typing] [patch] Weak format checking (gasche) - assigned.
- 0005921: [OCaml general] 4.01.0dev emits compact unwind warnings since switch to clang (shinwell) - assigned.
- 0005548: [OCamlbuild (the tool)] ocamlbuild's ocamlfind integration doesn't support syntax extensions (gasche) - assigned.
- 0005212: [OCamlbuild (the tool)] ocamlbuild does not warn for bad input - assigned.
- 0005243: [OCamlbuild (the tool)] Improve the API documentation (gasche) - assigned.
- 0005869: [OCamlbuild (the tool)] ocamlbuild should expose common interface as a library - assigned.
- 0004935: [OCamlbuild (the tool)] ocamlbuild -j does not compile in parallel a parallelizable development (xclerc) - assigned.
- 0005754: [OCamlbuild (the tool)] Not optimal parallel build of dependencies - assigned.
- 0006066: [OCaml typing] extensible records - assigned.
- 0006093: [OCamlbuild (the tool)] Loading rules from ocamlfind package - assigned.
- 0005713: [OCaml typing] Opening GADTs to get more equations on local abstract types introduced by module unpacking (garrigue) - assigned.
- 0005946: [OCaml otherlibs] CAMLprim taking (void) as argument (doligez) - assigned.
- 0005851: [OCamlbuild (the tool)] Ocamlbuild cannot resolve dependencies when there are no _tags file (but can with an empty _tags file) (xclerc) - assigned.
- 0004574: [OCamlbuild (the tool)] Profiling (xclerc) - assigned.
- 0004598: [Camlp4] Loc.to_string: bad support for multiple lines (doligez) - assigned.
- 0004934: [OCamlbuild (the tool)] ocamlbuild takes up to one minute to scan already done parts of Coq sources - assigned.
- 0006078: [OCaml runtime system] Release the runtime system when calling caml_dlopen (dim) - assigned.
- 0004611: [OCamlbuild (the tool)] Dependencies not built despite matching tags (xclerc) - assigned.
- 0004848: [OCaml general] ocamlc is being noisy when running with g++-4.4 (doligez) - assigned.
- 0004870: [OCamlbuild (the tool)] Ocamlbuild is too slow when using the "include" tag on many directories (xclerc) - assigned.
- 0006023: [OCaml typing] Type-based selection of GADT constructors (garrigue) - assigned.
- 0004978: [OCaml general] exceptions lose identity after marshalling - assigned.
- 0005002: [OCamldoc] ocamldoc lost "with type" in "include ... with type ..." (guesdon) - assigned.
- 0005015: [OCamlbuild (the tool)] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct (xclerc) - assigned.
- 0005271: [OCaml general] parsing/Location.prerr_warning is hard-coded to use Format.err_formatter - assigned.
- 0005395: [OCamlbuild (the tool)] OCamlbuild ignores relative-symlinked subdirectories or subdirectories with a trailing slash. (xclerc) - assigned.
- 0005282: [OCamlbuild (the tool)] .cmo files are generated even for native compilation (xclerc) - assigned.
- 0005428: [OCaml general] Behaviour of flatten_fields and various functions in presence of object indexes. (garrigue) - assigned.
- 0005663: [OCaml typing] program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere (garrigue) - assigned.
- 0004304: [OCaml general] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned.
- 0005401: [OCaml general] OCamlbrowser ignores command line arguments on win32/msvc (garrigue) - assigned.
- 0004269: [OCaml documentation] man page for labltk (garrigue) - assigned.
- 0005836: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Printing forced lazy value in ocamldebug (xclerc) - assigned.
- 0005843: [OCamldoc] Ocamldoc: "Module or module type ?? not found" when including a functor application (guesdon) - assigned.
- 0005613: [OCaml windows] Flexdll's dll produced from several object files fails to load (frisch) - assigned.
- 0005048: [Camlp4] Labeled arguments parsed differently on camlp4 versus regular compiler (xclerc) - assigned.
- 0005067: [OCamldoc] ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces (guesdon) - assigned.
- 0005441: [OCaml general] order of -ccopt and -cclib wrt other arguments - assigned.
- 0005114: [Camlp4] wrong location inside alias patterns (xclerc) - assigned.
- 0005127: [Camlp4] wrong location after directive (dim) - assigned.
- 0005523: [OCaml typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned.
- 0005947: [OCaml otherlibs] CAMLprim returning void (doligez) - assigned.
- 0005406: [OCamlbuild (the tool)] tag does not expect a parameter, but is used with parameter ... - assigned.
- 0002187: [OCaml general] Re: wowcamldebug exit issue (xclerc) - assigned.
- 0006374: [OCaml typing] A single wildcard for n-ary type constructors (frisch) - assigned.
- 0006118: [OCamlbuild (the tool)] ocamlbuild non backward compatible change found - assigned.
- 0006079: [OCaml otherlibs] Lazy initialization of dynlinked plugins (dim) - assigned.
- 0005887: [OCaml runtime system] Name clash with memory.h header file with the Android NDK - assigned.
- 0006291: [OCaml general] Add a new warning for suspicious octal constants (protz) - assigned.
- 0004747: [OCaml standard library] Hashtbl.resize is not tail recursive (gasche) - assigned.
- 0006445: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] 4.02.0+dev: ocamlbuild fails to find ocamlfind.exe (doligez) - resolved.
- 0006486: [OCaml backend (code generation)] ocamlopt.opt on aarch64 runs out of memory compiling camlp4 (shinwell) - resolved.
- 0006484: [OCaml backend (code generation)] ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0 (shinwell) - resolved.
- 0005939: [OCaml general] "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." (doligez) - resolved.
- 0006460: [OCaml runtime system] caml_make_array assumes small arrays (doligez) - resolved.
- 0005773: [OCaml typing] Bad interaction between local abstract type and self-type (garrigue) - resolved.
- 0006411: [OCaml windows] Win32 port build with Mingw: -link -static-libgcc is required for flexlink call (frisch) - resolved.
- 0004827: [OCaml general] Module typing weirdness (hnrgrgr) - resolved.
- 0006476: [OCaml general] Attributes on class signatures (frisch) - resolved.
- 0006379: [OCaml general] -dtypedtree is not defined for class fields - resolved.
- 0006268: [OCaml internal build/install (Makefiles, configure)] -DMODEL_$(MODEL) not passed when building .p.o - resolved.
- 0006211: [OCaml backend (code generation)] An unexpected behavior in toplevel: combination of consecutive let bindings and exceptions - resolved.
- 0006319: [OCaml windows] Cygwin's chmod broken on Windows 8.1, breaks ``make world`` (shinwell) - resolved.
- 0006441: [OCaml backend (code generation)] Failure to detect obvious tail call (gasche) - resolved.
- 0005000: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldep misses dependencies - resolved.
- 0002719: [OCaml general] Problem in the Mac OS X compiler [PPC code generator] - resolved.
- 0006261: [OCaml backend (code generation)] bound checking bug for the string_{get,set}{16,32,64} primitives (chambart) - resolved.
- 0006431: [OCaml standard library] Printf: precision qualifiers sometime result in assert failure (gasche) - resolved.
- 0006283: [OCaml backend (code generation)] [aarch64] ocamldoc fails to link with multiple errors: relocation truncated to fit: R_AARCH64_LDST64_ABS_LO12_NC - resolved.
- 0006424: [OCaml typing] 0-ary function application miscompiles and segfaults ocamlrun (frisch) - resolved.
- 0006038: [OCaml runtime system] segmentation fault in native function built by clang (misaligned stack) (xleroy) - resolved.
- 0004995: [OCaml general] calls to stat() don't release the runtime lock (shinwell) - resolved.
- 0006439: [OCaml general] Warnings on OS X when compiling 4.02.0+beta1 (Xcode 5.1.1) (shinwell) - resolved.
- 0006442: [OCaml backend (code generation)] Incorrect propagation of -0. - resolved.
- 0006425: [OCamldoc] ocamldoc isn't creating all the manual pages in 4.02/3 (guesdon) - resolved.
- 0006435: [OCaml backend (code generation)] segfault with shadowing/include (garrigue) - resolved.
- 0006333: [OCaml typing] Keep equation on module type while strengthening (garrigue) - resolved.
- 0006318: [OCaml general] Extend try with "success" handling (frisch) - resolved.
- 0006420: [OCaml typing] Bad error message for non-exhaustive matching on extensible types (garrigue) - resolved.
- 0006404: [OCaml runtime system] Fixes for OpenBSD (macppc and configure scripts) (shinwell) - resolved.
- 0006017: [OCaml standard library] A new format implementation based on GADTs (gasche) - resolved.
- 0005899: [OCaml standard library] Expose a way to inspect the current call stack (jacques-henri.jourdan) - resolved.
- 0006042: [OCaml backend (code generation)] Integer division by constants - resolved.
- 0006365: [OCaml typing] "with module" may introduce module alias in signature, this breaks Coq (garrigue) - resolved.
- 0006000: [OCaml typing] Warning 40 ("Constructor or label name out of scope") should be an error (lpw25) - resolved.
- 0005788: [OCaml general] Exception rebinding breaks pattern matching (maranget) - resolved.
- 0005935: [OCaml general] A faster version of "raise" which does not maintain the backtrace (frisch) - resolved.
- 0005009: [OCaml general] Extending exception tag blocks (frisch) - resolved.
- 0004765: [OCaml general] Structural equality should treat exception specifically (frisch) - resolved.
- 0005983: [OCaml typing] Bad error message "Unbound class" on deprecated syntax #c [> `A] - resolved.
- 0006146: [OCaml otherlibs] Implement kill -9 using TerminateProcess, or provide TerminateProcess (frisch) - resolved.
- 0004243: [OCaml general] Dependencies are missing in Makefiles (doligez) - resolved.
- 0005239: [Camlp4] Wrong stop location in AST (hongboz) - resolved.
- 0004613: [OCamlbuild (the tool)] Tries to build cmo files for native target(s) (gasche) - resolved.
- 0005982: [OCaml runtime system] caml_leave_blocking section and errno corruption (dim) - resolved.
- 0006142: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] add cmt file support to ocamlobjinfo - closed.
- 0006051: [OCaml documentation] Document which Sys function raise Sys_error - closed.
- 0006483: [OCaml general] Allow specifying additional compiler flags via [@@@ocaml.flags] - closed.
- 0006453: [OCaml documentation] It should be documented that Lexer.set_preprocessor receives EOL tokens - closed.
- 0006406: [OCaml runtime system] Expose OCaml version in C headers (doligez) - closed.
- 0006152: [OCaml internal build/install (Makefiles, configure)] test suite doesn't work when OCaml configured with -no-shared-libs - closed.
- 0006054: [OCaml general] Also support M.[] and M.{} like M.() - closed.
- 0006173: [OCaml general] Typing error message is worse that before (garrigue) - closed.
- 0006351: [OCaml backend (code generation)] [PATCH] minor fix in arm64 backend for new raise instructions (gasche) - closed.
- 0006328: [OCaml windows] ocamlyacc under Windows: bad support for temporary files (frisch) - closed.

55 of 211 issue(s) resolved. Progress (26%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker