Roadmap - MantisBT

OCaml - Roadmap
OCaml - 4.01.0+dev (Scheduled For Release 2012-10-06) [ View Issues ] ===================================================== 21% - 0006000: [OCaml typing] Warning 40 ("Constructor or label name out of scope") should be an error - new. - 0005111: [OCamldoc] ocamldoc, heading tags inside spans tags is illegal in html (guesdon) - feedback. - 0005624: [OCaml typing] Some dependencies cannot be detected by ocamldep - feedback. - 0005536: [OCamldoc] warning for inherited library classes (guesdon) - feedback. - 0005346: [OCaml general] Improve Cmm code generator for "for" loops. - feedback. - 0005001: [OCaml general] ocamldebug claims that record type is not a record type - feedback. - 0005000: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldep misses dependencies - feedback. - 0004713: [Camlp4] Camlp4o messes with comments (dim) - feedback. - 0004452: [Camlp4] print_implem loops printing record contents - feedback. - 0005959: [OCaml windows] Crash in Unix.select - acknowledged. - 0005860: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldebug documentation issues - acknowledged. - 0005815: [OCaml typing] Multiple exceptions in signatures gives an error - acknowledged. - 0005813: [OCaml runtime system] Out of memory when using the Marshal module - acknowledged. - 0005802: [OCaml typing] Avoiding "let" as a value name - acknowledged. - 0005537: [OCaml backend (code generation)] reducing repeated indirections to access variables in nested modules - acknowledged. - 0005779: [OCaml backend (code generation)] static data structures allocated on the GC heap - acknowledged. - 0004986: [OCaml general] Add efficient functions to create sets from lists or arrays - acknowledged. - 0005716: [Camlp4] directive 'remove_directory' was not supported in camlp4 - acknowledged. - 0004681: [OCaml general] All function in graphics double buffering - acknowledged. - 0004918: [OCaml general] Inlining & direct function application optimisation - acknowledged. - 0004173: [OCaml otherlibs] Bad memory cleanup of DLL using Thread module - acknowledged. - 0005703: [OCaml typing] Class members hidden by recursive modules - acknowledged. - 0005642: [Camlp4] module_type application - acknowledged. - 0005607: [Caml web site] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (gasche) - acknowledged. - 0005580: [OCaml backend (code generation)] Inlining misses some simple simplifications - acknowledged. - 0005573: [OCaml backend (code generation)] Access to values in nested modules - acknowledged. - 0005571: [OCaml general] Incorrect ordinal number in error message - acknowledged. - 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged. - 0005267: [Camlp4] camlp4r (?) does not respect the constructor's arity - acknowledged. - 0005219: [OCaml general] use $(INSTALL) instead of 'cp' in Makefiles - acknowledged. - 0005106: [OCaml general] Two channels sharing a file descriptor fail to seek properly due to buffering - acknowledged. - 0004950: [OCaml general] Array.init raises the wrong exception for invalid argument - acknowledged. - 0004164: [OCaml general] caml C headers may clash with other C libraries (doligez) - acknowledged. - 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - acknowledged. - 0001956: [OCaml general] Name clashes (doligez) - acknowledged. - 0004827: [OCaml general] Module typing weirdness - acknowledged. - 0004698: [OCaml general] ocamlyacc is built ignoring user set LDFLAGS - acknowledged. - 0004799: [OCaml general] Printf ignores width on %b %c %a %% (and maybe other) - acknowledged. - 0004791: [OCaml general] ocamlc -i produces incorrect result - acknowledged. - 0004748: [OCaml standard library] Complex +-0. - acknowledged. - 0004545: [Camlp4] Camlp4 preprocessing messes up the documentation. - acknowledged. - 0004596: [Camlp4] pa_macro does not work for patterns - acknowledged. - 0004539: [OCaml general] please change exception string raised when comparing functional values - acknowledged. - 0004346: [Camlp4] Camlp4 messes up comments within and after records. - acknowledged. - 0004341: [Camlp4] Document meaning and use of SYMBOL token - acknowledged. - 0004329: [Camlp4] Gramlib syntax error messages are less precise, sometimes wrong - acknowledged. - 0004272: [Misc] Mantis bug tracker: silent failure when cookies not supported - acknowledged. - 0004254: [OCaml general] Ne pas ignorer les -dllib implicites en cas de -use-runtime - acknowledged. - 0004243: [OCaml general] Dependencies are missing in Makefiles (doligez) - acknowledged. - 0004166: [OCaml general] Incorrect module initialisation order with "external" declarations - acknowledged. - 0004159: [OCaml general] MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux - acknowledged. - 0005429: [OCaml general] Unix.stat behaves differently on win32 and linux - acknowledged. - 0003984: [OCaml general] Compiler ignores types in .cmi file [problems with #trace] - acknowledged. - 0004230: [OCaml general] value name conflict (doligez) - acknowledged. - 0003019: [OCaml general] POSIX-threads & segfaults - acknowledged. - 0005254: [OCaml general] Compilation of generated .c files with g++ - acknowledged. - 0004615: [OCaml general] Typing recursive modules, maybe related to 4470? - acknowledged. - 0005006: [OCaml typing] Typing problem with recursive modules - acknowledged. - 0005568: [OCaml otherlibs] Unix.open_flag lacks O_CLOEXEC - acknowledged. - 0004208: [OCaml general] Dynlink.crc_interfaces n'est pas bien backtrackée - acknowledged. - 0004559: [OCaml general] Object inheritance in recursive modules - acknowledged. - 0004570: [OCaml general] Confusing type error message with recursive modules - acknowledged. - 0004709: [OCaml general] Typing of recursive modules to permissive - acknowledged. - 0004829: [OCaml general] Recursive modules which do not type - acknowledged. - 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged. - 0004765: [OCaml general] Structural equality should treat exception specifically - acknowledged. - 0005985: [OCaml typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed. - 0005780: [OCaml typing] Strange type variable names in error messages (GADTs) (garrigue) - confirmed. - 0005996: [OCamlbuild (the tool)] ocamlbuild -build-dir dangerous behaviour - confirmed. - 0005626: [OCaml backend (code generation)] Stack overflow in ocamlopt.opt: Comballoc.combine - confirmed. - 0005819: [OCaml backend (code generation)] ocamlopt generates segfaulting code when using [with] on recursive record with 6+ fields. (doligez) - confirmed. - 0005704: [OCaml backend (code generation)] cmx magic numbers have not been changed for a while - confirmed. - 0005672: [Camlp4] Remove camlp4_import.ml - confirmed. - 0005693: [OCaml otherlibs] Missing '_environ' symbol used in libunix.a - confirmed. - 0005684: [OCaml internal build/install (Makefiles, configure)] no uninstall target in the Makefile - confirmed. - 0005473: [OCaml general] Double linking of native modules (with -pack) - confirmed. - 0005186: [OCaml general] Exception aliasing does not preserve abstraction - confirmed. - 0004677: [OCaml general] set_text_size doesn't work - confirmed. - 0004590: [Camlp4] Grouping several match cases in EXTEND statements - confirmed. - 0004369: [OCaml general] The emacs function "Show types at point" does not show the type of methods - confirmed. - 0005949: [OCaml typing] [patch] Weak format checking (weis) - assigned. - 0005143: [OCaml general] module types and type constraints (garrigue) - assigned. - 0005869: [OCamlbuild (the tool)] ocamlbuild should expose common interface as a library (meyer) - assigned. - 0005201: [OCamlbuild (the tool)] Performance issue for ocamlbuild on Windows (xclerc) - assigned. - 0005127: [Camlp4] wrong location after directive (dim) - assigned. - 0005663: [OCaml typing] program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere (garrigue) - assigned. - 0005612: [OCaml documentation] Rationalize spacing and parenteses use in the tutorial part of the manual (gasche) - assigned. - 0005564: [Camlp4] Unclear code in Camlp4/Struct/Lexer.mll (dim) - assigned. - 0005548: [OCamlbuild (the tool)] ocamlbuild's ocamlfind integration doesn't support syntax extensions (meyer) - assigned. - 0005545: [OCaml typing] Type annotations on methods cannot control the choice of abbreviation (garrigue) - assigned. - 0005523: [OCaml typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned. - 0005508: [Camlp4] camlp4o differs from ocamlc because it has quotations enabled (dim) - assigned. - 0005441: [OCaml general] order of -ccopt and -cclib wrt other arguments (meyer) - assigned. - 0005428: [OCaml general] Behaviour of flatten_fields and various functions in presence of object indexes. (garrigue) - assigned. - 0005406: [OCamlbuild (the tool)] tag does not expect a parameter, but is used with parameter ... (meyer) - assigned. - 0005067: [OCamldoc] ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces (guesdon) - assigned. - 0005282: [OCamlbuild (the tool)] .cmo files are generated even for native compilation (xclerc) - assigned. - 0005271: [OCaml general] parsing/Location.prerr_warning is hard-coded to use Format.err_formatter - assigned. - 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances (xclerc) - assigned. - 0005239: [Camlp4] Wrong stop location in AST (xclerc) - assigned. - 0005116: [Camlp4] camlp4 relaxes syntax for records update : { expr with ... } (xclerc) - assigned. - 0004797: [OCaml general] insecure temp file handling in yacc (meyer) - assigned. - 0004502: [OCaml general] Ocamlbuild finds erroneous sanitization errors when using the -build-dir option (xclerc) - assigned. - 0004356: [OCaml documentation] Ocamlbuild manual lacks examples (xclerc) - assigned. - 0004304: [OCaml general] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned. - 0005759: [OCaml typing] Using well-disciplined type-propagation to disambiguate label and constructor names (garrigue) - resolved. - 0005953: [OCaml otherlibs] Unix.system does not handle EINTR (dim) - resolved. - 0005653: [OCamlbuild (the tool)] unnecessary rebuild for some rules (meyer) - resolved. - 0005782: [OCaml general] Confusing/incorrect error message for unexpected record literal - resolved. - 0005119: [Camlp4] camlp4 raises Not_found exception when DELETE_RULE fails (xclerc) - resolved. - 0005768: [OCaml general] [patch] On "unbound identifier" errors, use spell-checking to suggest names present in the environment (frisch) - resolved. - 0005787: [OCaml typing] Bad behavior of 'Unused ...' warnings in the toplevel (frisch) - resolved. - 0005102: [OCamlbuild (the tool)] ocamlbuild, problems with %(name) syntax in the rules ~prod argument (xclerc) - resolved. - 0005766: [OCaml windows] MSVC port broken following switch to winsock2 (frisch) - resolved. - 0005676: [OCaml windows] IPv6 support under Windows (protz) - resolved. - 0005398: [OCaml windows] Inadequate exception thrown when creating IPv6 socket on win32/msvc (protz) - resolved. - 0005734: [OCaml windows] Unix.gettimeofday correct resolution under Windows - resolved. - 0005611: [OCaml general] Fatal error: exception End_of_file when using -o file.cmo (meyer) - resolved. - 0005155: [OCaml general] Toplevel doesn't accept the type info it writes itself. (garrigue) - resolved. - 0004994: [OCaml general] ocaml-mode doesn't work with xemacs21 - resolved. - 0004081: [OCaml general] ocamldep reports incorrect dependency (frisch) - resolved. - 0004618: [OCaml general] ocamldep generates circular dependencies which don't exist (frisch) - resolved. - 0004659: [OCaml general] wrong error message (parser seems to interpret many lines as one line) (3.10.2 and 3.10.0) (frisch) - resolved. - 0005077: [OCaml general] ocaml 3.12.0+beta1, mingw: trying to compile ocamlbuild/discard_printf.ml without -rectypes - resolved. - 0005651: [Camlp4] printer for abstract data type (xclerc) - resolved. - 0005710: [OCaml general] test suite cannot be ran without installing first (doligez) - closed. - 0005689: [OCaml typing] Problem with GADTs and polymorphic variants (garrigue) - closed. - 0005181: [OCaml general] Merge common floating point constants in ocamlopt (meurer) - closed. - 0002866: [OCaml general] camlp4 documentation update - closed. - 0003056: [OCaml documentation] Please update camlp4 documentation to 3.08 (frisch) - closed. - 0001196: [OCaml general] with type t = 'a constraint 'a = ... (garrigue) - closed. - 0003331: [OCaml otherlibs] Ocaml Browser (garrigue) - closed. - 0005233: [OCaml general] Finaliser on weak pointers allows to acces invalid address (doligez) - closed. 28 of 133 issue(s) resolved. Progress (21%).