Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.03.0+dev (Scheduled For Release 2015-05-01) View Issues ]
=====================================================
8%
- 0006381: [OCaml general] Report unbound variables before other errors - feedback.
- 0006188: [OCaml internal build/install (Makefiles, configure)] make: Fatal error: Command failed for target `utils/config.ml' - feedback.
- 0005346: [OCaml general] Improve Cmm code generator for "for" loops. - feedback.
- 0005201: [OCamlbuild (the tool)] Performance issue for ocamlbuild on Windows - feedback.
- 0006638: [OCaml documentation] docs should mention that open! also suppresses warning 33 - feedback.
- 0005256: [OCaml general] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - feedback.
- 0006189: [OCaml documentation] some problems in the 4.01 documentation (doligez) - feedback.
- 0006305: [OCaml general] Namespace pollution when using 'module type of' in an explicit interface for a pack (garrigue) - feedback.
- 0006329: [OCaml runtime system] File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed. (shinwell) - feedback.
- 0006400: [OCaml general] Error message for _ in expression is incomprehensible - acknowledged.
- 0006301: [OCaml runtime system] Improve the printing of exceptions (pp registered) - acknowledged.
- 0006290: [OCaml otherlibs] Unable to get mentioned in documentation Num elements infinity and undefined - acknowledged.
- 0006532: [OCaml runtime system] ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH - acknowledged.
- 0006506: [OCaml general] -for-pack seems to be broken in some cases - acknowledged.
- 0006492: [OCaml typing] Recursive modules do not correctly handle variance - acknowledged.
- 0006491: [OCaml typing] Recursive modules do not correctly handle class inheritance - acknowledged.
- 0003236: [OCaml general] Queue+Threads+Cygwin native causes crash - acknowledged.
- 0005888: [OCaml typing] Better type errors for polymorphic variants and module signatures (garrigue) - acknowledged.
- 0005756: [OCamlbuild (the tool)] ocamlbuild spends a lot of time logging - acknowledged.
- 0005079: [OCaml general] msvc: ocaml compilers should call cl.exe with /W3 - acknowledged.
- 0004077: [OCaml general] Specialisation des primitives - acknowledged.
- 0005903: [OCaml typing] integrate unused-variable (and other unused-*) warnings with ordinary type-error messages - acknowledged.
- 0004148: [OCaml documentation] Description de -pack dans le manuel - acknowledged.
- 0004070: [OCaml general] Small tweak for some numeric functions in Pervasives - acknowledged.
- 0006711: [OCaml standard library] Deprecate Stream and Genlex - acknowledged.
- 0006125: [Ocaml optimization] Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic - acknowledged.
- 0006092: [OCamlbuild (the tool)] Broken logic of finding tools on PATH in ocamlbuild - acknowledged.
- 0005860: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug documentation issues - acknowledged.
- 0005783: [OCaml windows] Unix.select returns immediately when waiting for the completion of a non-blocking socket connection - 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.
- 0005266: [OCaml general] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged.
- 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged.
- 0006597: [OCaml documentation] the new quoted string literal syntax is not documented - acknowledged.
- 0006556: [OCaml backend (code generation)] Backtraces truncated with 4.02 - acknowledged.
- 0006296: [OCaml documentation] inconsistent behavior of float_of_string (compare to "ints"_of_string) - acknowledged.
- 0006741: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug: document the .ocamldebug startup file - acknowledged.
- 0006696: [OCaml general] Allow dynlinking code into ocamlc/opt - acknowledged.
- 0006697: [OCaml general] Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error - acknowledged.
- 0006700: [OCaml documentation] ocamlopt -shared -o creates by-products in a confusing place; documentation clarification welcome - acknowledged.
- 0006668: [OCaml documentation] Missing "type-constraint" in grammar for "mod-constraint" - acknowledged.
- 0006657: [OCaml otherlibs] Unix.in_channel_of_descr causes the underlying Unix FD to be closed when the channel is GC'd - acknowledged.
- 0006653: [OCaml typing] GADT and subtyping - acknowledged.
- 0006633: [OCaml general] Error message for module used where a module type is expected is confusing - acknowledged.
- 0006632: [OCaml typing] Inconsistent polymorphic method printing - acknowledged.
- 0006643: [OCaml general] Warn equality with NaN - acknowledged.
- 0006730: [OCaml general] Wish: -dsource/-dparsetree for ocamldep - acknowledged.
- 0006703: [OCaml typing] Allow to specify the type of defined values with "val" declarations - acknowledged.
- 0006676: [OCaml documentation] Chapter 7 of the manual now has 27 sections - acknowledged.
- 0006601: [OCaml documentation] advertise caml_strdup in 19.10.2 instead of strcpy - acknowledged.
- 0006610: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Printing of the value of optional arguments in #trace - acknowledged.
- 0005975: [OCaml general] Pushing the evaluation of default expression for optional arguments is not specified - acknowledged.
- 0006595: [OCaml general] Location.absolute_path is broken by symlinks - acknowledged.
- 0006579: [OCaml windows] Different behavior of %g format under Windows - acknowledged.
- 0006660: [OCaml typing] Quirk of the type-checker: a strange disappearance of warning 20 (unused argument) (garrigue) - acknowledged.
- 0006598: [OCaml general] lack of syntax for pattern-matching with no branches (garrigue) - acknowledged.
- 0006403: [OCaml typing] another broken GADT exhaustiveness check (garrigue) - acknowledged.
- 0004799: [OCaml general] Printf ignores width on %b %c %a %% (and maybe other) - acknowledged.
- 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0004839: [OCaml general] natdynlink reproducible segfault - acknowledged.
- 0004829: [OCaml general] Recursive modules which do not type - acknowledged.
- 0003805: [OCaml general] misc. camlp4 + doc - acknowledged.
- 0005219: [OCaml internal build/install (Makefiles, configure)] use $(INSTALL) instead of 'cp' in Makefiles - acknowledged.
- 0005429: [OCaml general] Unix.stat behaves differently on win32 and linux - acknowledged.
- 0006574: [OCaml general] Meaningfull compiler backtraces - acknowledged.
- 0006120: [OCaml otherlibs] Windows links - acknowledged.
- 0006139: [OCaml otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0003829: [OCaml general] Nom de module = nom d'exception - acknowledged.
- 0005253: [OCaml documentation] Unix: the API doc should say how functions behave under windows. - acknowledged.
- 0005999: [OCaml backend (code generation)] "for" loop not entirely optimal? - acknowledged.
- 0006162: [OCaml general] Confusing error message when the user name a variable as an existing alphabetic infix operator - acknowledged.
- 0003468: [OCaml documentation] Sys_error documentation - acknowledged.
- 0005812: [OCaml general] Adapt emacs mode to generate .annot from .cmt files - acknowledged.
- 0006499: [OCaml general] Parsetree.row_field.Rtag should have constructor location - acknowledged.
- 0006521: [OCaml runtime system] String.escaped returns strange results in Mac OS X + LANG=ja_JP.UTF-8 - acknowledged.
- 0006258: [OCaml general] Insert debug info for %revapply and %apply primitives - acknowledged.
- 0006225: [OCaml documentation] weak variables '_a should be documented in the manual - acknowledged.
- 0006323: [OCaml typing] ocamlc -i can generate a wrong signature - acknowledged.
- 0006512: [Ocaml optimization] intermediate float boxing with inlined functions that contain a branch - acknowledged.
- 0005890: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamlc does not fully take into consideration -o parameter - acknowledged.
- 0003957: [OCaml general] [> {typexpr} as 't ] yields a syntax error with yacc syntax - acknowledged.
- 0006514: [OCaml typing] Type-based selection for rebinding constructors of extensible types - acknowledged.
- 0004230: [OCaml general] value name conflict (doligez) - acknowledged.
- 0004791: [OCaml general] ocamlc -i produces incorrect result - acknowledged.
- 0005006: [OCaml typing] Typing problem with recursive modules - acknowledged.
- 0005927: [OCaml typing] Type equality broken for conjunctive polymorphic variant tags (garrigue) - acknowledged.
- 0005951: [OCamlbuild (the tool)] ocamlbuild is incompatible with -cflags -S - acknowledged.
- 0005818: [OCaml typing] Function signatures be dropped out from recursive modules within higher order functor - acknowledged.
- 0003922: [OCaml general] Detecter inclusions multiples de .cmx - acknowledged.
- 0003019: [OCaml documentation] POSIX-threads & segfaults - acknowledged.
- 0004950: [OCaml general] Array.init raises the wrong exception for invalid argument - acknowledged.
- 0006242: [OCaml general] Better compilation of local functions only used for tail calls - acknowledged.
- 0006395: [OCaml typing] Incorrect exhaustiveness warning with GADTs (garrigue) - acknowledged.
- 0006327: [OCaml general] Puzzling infinite loop with oddly accepted program - acknowledged.
- 0006279: [OCaml standard library] Set.map - acknowledged.
- 0006304: [OCaml general] Explicit interface for a pack, "module type of" and type generativity (garrigue) - acknowledged.
- 0006224: [OCaml backend (code generation)] introduce cmovcc instruction to speed up certain simple "if" blocks - acknowledged.
- 0006321: [OCaml standard library] Infinity vs. NaN in hypot - acknowledged.
- 0006234: [OCamlbuild (the tool)] surprising warn tag application order (gasche) - acknowledged.
- 0006206: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found" - acknowledged.
- 0006201: [OCaml general] printing of types inconsistent with -short-paths - acknowledged.
- 0006200: [OCaml internal build/install (Makefiles, configure)] Store local configuration in an external file, not in the compilers - acknowledged.
- 0006448: [OCaml backend (code generation)] Strange interaction of classes and modules (doligez) - acknowledged.
- 0006416: [OCaml typing] The same string can mean different types in the same error message - acknowledged.
- 0006393: [OCaml backend (code generation)] [github patch] new primitive caml_alloc_dummy_function - acknowledged.
- 0005916: [OCaml typing] Compile time performance of opens - acknowledged.
- 0001956: [OCaml general] Name clashes (doligez) - acknowledged.
- 0006738: [OCaml typing] Check for the well-formedness of let rec earlier, before or at type checking - confirmed.
- 0006739: [OCaml documentation] Adding OCaml-version in docs (header-/footer-line) - confirmed.
- 0003959: [OCaml general] no exit on bad #use in ocaml scripts - confirmed.
- 0005684: [OCaml internal build/install (Makefiles, configure)] no uninstall target in the Makefile - confirmed.
- 0005987: [OCaml documentation] Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr" - confirmed.
- 0006136: [OCaml documentation] Function call evaluation order varies more than manual allows - confirmed.
- 0006289: [OCaml standard library] Unix.utimes with 0.0 - confirmed.
- 0006545: [OCaml windows] Update README.win32 - confirmed.
- 0006548: [OCaml documentation] Misleading comment on private type abbreviations - confirmed.
- 0005936: [OCaml general] Weird syntax accepted by OCaml - confirmed.
- 0006011: [OCaml typing] Signatures with private types can make modules less constrained - confirmed.
- 0005712: [OCaml documentation] some documentation problems - confirmed.
- 0006437: [OCaml typing] GADT exhaustiveness check incompleteness (garrigue) - confirmed.
 - 0006220: [OCaml typing] GADT type information is not used to detect unused match cases (garrigue) - assigned.
- 0006380: [OCaml typing] -short-paths sometimes does not shorten paths - confirmed.
- 0006373: [OCaml backend (code generation)] Warning about trigraph on generated assembly code - confirmed.
- 0006353: [OCaml runtime system] [github patch] Ephemerons - confirmed.
- 0006306: [OCaml general] [style patches] use (@@) to reduce parentheses in typing/predef.ml and asmcomp/cmmgen.ml - confirmed.
- 0006472: [OCaml general] tokens ignored in top level command line after ';;' - confirmed.
- 0006396: [OCaml typing] Warnings-as-errors not properly flushed in the toplevel - confirmed.
- 0006401: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [patch] use proper error reporting for toplevel's environment initialization - confirmed.
- 0006049: [OCaml internal build/install (Makefiles, configure)] fix support for OpenBSD/macppc (32-bit powerpc) (meurer) - confirmed.
- 0006124: [OCaml typing] Odd behaviour of type expressions in polymorphic variant tag specifications (garrigue) - assigned.
- 0006596: [OCaml general] ocamldoc manpage generator does not preserve formatting in {[ ]} (guesdon) - assigned.
- 0006608: [OCaml typing] Lax typing for functional record updates (garrigue) - assigned.
- 0006603: [OCaml documentation] Undocumented behavior with extension constructors added to abstract types (lpw25) - assigned.
- 0004747: [OCaml standard library] Hashtbl.resize is not tail recursive (gasche) - assigned.
- 0006294: [OCaml runtime system] Poor tracking of extra heap resources (garrigue) - assigned.
- 0004870: [OCamlbuild (the tool)] Ocamlbuild is too slow when using the "include" tag on many directories (xclerc) - assigned.
- 0004304: [OCamlbuild (the tool)] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned.
- 0005282: [OCamlbuild (the tool)] .cmo files are generated even for native compilation (xclerc) - assigned.
- 0006291: [OCaml general] Add a new warning for suspicious octal constants (protz) - assigned.
- 0005843: [OCamldoc] Ocamldoc: "Module or module type ?? not found" when including a functor application (guesdon) - assigned.
- 0006434: [OCaml runtime system] caml_final_release is not declared in finalise.h (doligez) - assigned.
- 0006121: [OCaml backend (code generation)] Atomic load primitives (shinwell) - assigned.
- 0004356: [OCaml documentation] Ocamlbuild manual lacks examples (xclerc) - assigned.
- 0006743: [OCaml typing] Slightly odd polymorphic variant types (garrigue) - resolved.
- 0006742: [OCaml typing] Question: virtual_flag in typedtree is duplicated. (garrigue) - resolved.
- 0006748: [OCaml general] Functional values in cmt files (frisch) - resolved.
- 0006367: [OCaml typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) (garrigue) - resolved.
- 0006684: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Printing lazy value segfaults ocamldebug (gasche) - resolved.
- 0006593: [OCaml typing] Functor application in PR#6435 fail after commit 15405 (garrigue) - resolved.
- 0006577: [OCaml standard library] Performance of %Ld formats (frisch) - resolved.
- 0006517: [OCaml runtime system] It would be nice if <caml/*.h> didn't define types like "int64" - resolved.
- 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - resolved.
- 0005672: [Camlp4] Remove camlp4_import.ml (dim) - resolved.
- 0006526: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamllex warning: unescaped newline in comment string - closed.
- 0006081: [OCaml general] ocaml should add script's directory to search path, not current directory - closed.
- 0004539: [OCaml general] please change exception string raised when comparing functional values - closed.

13 of 156 issue(s) resolved. Progress (8%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker