Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.02.1+dev (Scheduled For Release 2014-08-30) View Issues ]
=====================================================

This is to be used as a target release. It represents the next release after the pending one. It may be a bugfix or a major release, we don't know yet, so we don't know its number.

3%
- 0006525: [OCaml standard library] add a UChar module to the standard library - new.
- 0006522: [OCaml general] double warning on (&) and (or) - new.
- 0006504: [OCaml documentation] document CAML_DEBUG_SOCKET - new.
- 0004545: [Camlp4] Camlp4 preprocessing messes up the documentation. (hongboz) - feedback.
- 0004885: [Camlp4] Incorrect/unwanted behavior on invalid string inputs (hongboz) - feedback.
- 0004886: [Camlp4] Desugaring of camlp4 quotations of labeled patterns duplicates variables (garrigue) - feedback.
- 0006500: [OCaml standard library] New functions for bytes/strings - feedback.
- 0005536: [OCamldoc] warning for inherited library classes (guesdon) - 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.
- 0006189: [OCaml documentation] some problems in the 4.01 documentation (doligez) - feedback.
- 0005256: [OCaml general] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - feedback.
- 0005346: [OCaml general] Improve Cmm code generator for "for" loops. - feedback.
- 0006342: [OCaml typing] compiler wrongly reports "The types for field x are not equal." (lefessan) - feedback.
- 0006188: [OCaml internal build/install (Makefiles, configure)] make: Fatal error: Command failed for target `utils/config.ml' - feedback.
- 0006292: [OCamlbuild (the tool)] ocamlbuild -I does not understand paths that aren't relative descendants - feedback.
- 0006381: [OCaml general] Report unbound variables before other errors - feedback.
- 0006511: [Ocaml optimization] avoid loading global variables more than necessary - acknowledged.
- 0006518: [OCaml general] Consider supporting GNU-style error messages - acknowledged.
- 0006521: [OCaml runtime system] String.escaped returns strange results in Mac OS X + LANG=ja_JP.UTF-8 - acknowledged.
- 0004590: [Camlp4] Grouping several match cases in EXTEND statements - acknowledged.
- 0003688: [Camlp4] 3 documentation suggestions and 5 camlp4 problems - acknowledged.
- 0004341: [Camlp4] Document meaning and use of SYMBOL token - acknowledged.
- 0004329: [Camlp4] Gramlib syntax error messages are less precise, sometimes wrong - acknowledged.
- 0005846: [Camlp4] OCaml parses let (!*) but not camlp4o doesn't - acknowledged.
- 0005642: [Camlp4] module_type application - acknowledged.
- 0005716: [Camlp4] directive 'remove_directory' was not supported in camlp4 - acknowledged.
- 0004846: [Camlp4] move_start_p is partially used in Struct/Lexer.mll (hongboz) - acknowledged.
- 0005837: [Camlp4] Strange camlp4 rewrite - acknowledged.
- 0005685: [Camlp4] Antiquotation bug (quotation expr, with antiquotation list) - acknowledged.
- 0004164: [OCaml general] caml C headers may clash with other C libraries (doligez) - acknowledged.
- 0005943: [OCamlbuild (the tool)] ocamlmklib always adds -L (absolute) directories also the run-time linker path. - acknowledged.
- 0006118: [OCamlbuild (the tool)] ocamlbuild non backward compatible change found - acknowledged.
- 0004539: [OCaml general] please change exception string raised when comparing functional values - acknowledged.
- 0004832: [OCaml otherlibs] Filling bigarrays may block out runtime - acknowledged.
- 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged.
- 0003236: [OCaml general] Queue+Threads+Cygwin native causes crash - acknowledged.
- 0003468: [OCaml documentation] Sys_error documentation - acknowledged.
- 0003805: [OCaml general] misc. camlp4 + doc - acknowledged.
- 0003947: [OCamldoc] Bad link (guesdon) - 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.
- 0004159: [OCaml general] MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux - acknowledged.
- 0004166: [OCaml general] Incorrect module initialisation order with "external" declarations - acknowledged.
- 0004208: [OCaml general] Dynlink.crc_interfaces n'est pas bien backtrackée - acknowledged.
- 0006508: [OCaml otherlibs] Tkvars.version() call gives Fatal error - acknowledged.
- 0006506: [OCaml general] -for-pack seems to be broken in some cases - acknowledged.
- 0006139: [OCaml otherlibs] reversing the Unix and Bigarray dependency - acknowledged.
- 0005917: [OCaml backend (code generation)] [patch] Generate direct call inside inlined function - acknowledged.
- 0006491: [OCaml typing] Recursive modules do not correctly handle class inheritance - acknowledged.
- 0004229: [OCaml documentation] Casser le typage avec Dynlink - acknowledged.
- 0004466: [OCaml windows] Unix.select on Windows not handling reads and writes to same socket - acknowledged.
- 0004829: [OCaml general] Recursive modules which do not type - acknowledged.
- 0004850: [OCaml typing] Bad interaction between subtyping and recursive modules - acknowledged.
- 0004957: [OCaml general] ocamlc -where, camlp4 -where, etc. add \r\n on mingw - acknowledged.
- 0005074: [OCaml general] wrong backtrace printed when mixing modules with and without debug info - acknowledged.
- 0005106: [OCaml general] Two channels sharing a file descriptor fail to seek properly due to buffering - acknowledged.
- 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances - 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.
- 0005812: [OCaml general] Adapt emacs mode to generate .annot from .cmt files - acknowledged.
- 0004978: [OCaml general] exceptions lose identity after marshalling - acknowledged.
- 0005254: [OCaml general] Compilation of generated .c files with g++ - acknowledged.
- 0005266: [OCaml general] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged.
- 0005752: [OCamlbuild (the tool)] missing dependencies at byte-code link with mlpack - acknowledged.
- 0005822: [OCamlbuild (the tool)] wrong value of Options.ext_dll on windows - acknowledged.
- 0004499: [OCaml windows] Changes to the environment are invisible to Sys.getenv - acknowledged.
- 0004799: [OCaml general] Printf ignores width on %b %c %a %% (and maybe other) - 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.
- 0005783: [OCaml windows] Unix.select returns immediately when waiting for the completion of a non-blocking socket connection - acknowledged.
- 0006499: [OCaml general] Parsetree.row_field.Rtag should have constructor location - acknowledged.
- 0006492: [OCaml typing] Recursive modules do not correctly handle variance - acknowledged.
- 0006217: [OCaml backend (code generation)] Compilation of record functional modification is costly - acknowledged.
- 0005860: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug documentation issues - acknowledged.
- 0005975: [OCaml general] Pushing the evaluation of default expression for optional arguments is not specified - acknowledged.
- 0005991: [OCaml internal build/install (Makefiles, configure)] Syntax error in tools/Makefile.shared - acknowledged.
- 0006085: [OCamlbuild (the tool)] Error reporting for .mlypack - acknowledged.
- 0006081: [OCaml general] ocaml should add script's directory to search path, not current directory - acknowledged.
- 0006120: [OCaml otherlibs] Windows links - acknowledged.
- 0006124: [OCaml typing] Odd behaviour of type expressions in polymorphic variant tag specifications - acknowledged.
- 0006125: [OCaml backend (code generation)] Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic - acknowledged.
- 0006144: [OCamlbuild (the tool)] Ocamlbuild try to rebuild plugin which is just built - acknowledged.
- 0004173: [OCaml otherlibs] Bad memory cleanup of DLL using Thread module - acknowledged.
- 0003771: [OCaml windows] Reading Unicode filenames fails on Windows - acknowledged.
 - 0003789: [OCaml windows] Addition to bug 0003771 - acknowledged.
 - 0003786: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0006181: [OCamlbuild (the tool)] Improve MSVC build (doligez) - acknowledged.
- 0005895: [OCamlbuild (the tool)] Sometimes ocamlbuild does not create symlinks - acknowledged.
- 0006207: [OCaml internal build/install (Makefiles, configure)] Configure doesn't detect features correctly on Haiku - acknowledged.
- 0003612: [OCaml otherlibs] memory leak in bigarray read from file - acknowledged.
- 0006092: [OCamlbuild (the tool)] Broken logic of finding tools on PATH in ocamlbuild - acknowledged.
- 0003829: [OCaml general] Nom de module = nom d'exception - acknowledged.
- 0004070: [OCaml general] Small tweak for some numeric functions in Pervasives - acknowledged.
- 0004077: [OCaml general] Specialisation des primitives - acknowledged.
- 0005888: [OCaml typing] Better type errors for polymorphic variants and module signatures (garrigue) - acknowledged.
- 0005903: [OCaml typing] integrate unused-variable (and other unused-*) warnings with ordinary type-error messages - acknowledged.
- 0005999: [OCaml backend (code generation)] "for" loop not entirely optimal? - acknowledged.
- 0006122: [OCaml typing] A polymorphic variant type is not recognized as a polymorphic variant - acknowledged.
- 0005253: [OCaml documentation] Unix: the API doc should say how functions behave under windows. - acknowledged.
- 0005607: [Caml web site] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (gasche) - acknowledged.
- 0006162: [OCaml general] Confusing error message when the user name a variable as an existing alphabetic infix operator - acknowledged.
- 0005079: [OCaml general] msvc: ocaml compilers should call cl.exe with /W3 - acknowledged.
- 0005418: [OCaml general] Configure script does not honour honor CC environement variable - acknowledged.
- 0004839: [OCaml general] natdynlink reproducible segfault - acknowledged.
- 0006171: [OCaml typing] Error message confusing for the beginner when a type escapes its scope. (garrigue) - acknowledged.
- 0006330: [OCaml typing] Wrong location for error with polymorphic variant patterns - acknowledged.
- 0006433: [OCaml typing] Wrong module type signature grabbed when using packed libraries (garrigue) - acknowledged.
- 0006400: [OCaml general] Error message for _ in expression is incomprehensible - acknowledged.
- 0006323: [OCaml typing] ocamlc -i can generate a wrong signature - acknowledged.
- 0006192: [OCaml otherlibs] Builtin pathname for Graphics library wrong - acknowledged.
- 0006225: [OCaml documentation] weak variables '_a should be documented in the manual - acknowledged.
- 0006462: [OCaml runtime system] Dynlinking duplicate module clobbers host program state - acknowledged.
- 0006490: [OCaml backend (code generation)] Stack traces in arm64 code are not displayed in gdb (shinwell) - acknowledged.
- 0006290: [OCaml otherlibs] Unable to get mentioned in documentation Num elements infinity and undefined - acknowledged.
- 0006296: [OCaml documentation] inconsistent behavior of float_of_string (compare to "ints"_of_string) - acknowledged.
- 0006301: [OCaml runtime system] Improve the printing of exceptions (pp registered) - acknowledged.
- 0006281: [OCaml otherlibs] Graphics window does not acknowledge second click (double click) (fix included) - acknowledged.
- 0006258: [OCaml general] Insert debug info for %revapply and %apply primitives - acknowledged.
- 0006316: [OCaml standard library] Scanf cannot parse large unsigned int64s - acknowledged.
- 0006464: [OCaml general] -dsource prints uninterpreted syntax extensions incorrectly - acknowledged.
- 0006466: [OCaml general] Non-exhaustive matching warning message for open types is confusing - acknowledged.
- 0006452: [OCaml standard library] custom format - acknowledged.
- 0005705: [Camlp4] Camlp4 accepts bad syntax and may also bomb on it - confirmed.
- 0005896: [Camlp4] camlp4.macro fails to undefine a macro with an expression - confirmed.
- 0006367: [OCaml typing] [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations) - confirmed.
- 0005441: [OCaml general] order of -ccopt and -cclib wrt other arguments - confirmed.
- 0004175: [OCaml general] runtime header file io.h conflicts with a system header file - confirmed.
- 0005887: [OCaml runtime system] Name clash with memory.h header file with the Android NDK - confirmed.
- 0006195: [OCaml internal build/install (Makefiles, configure)] Use compilerlibs instead of explicit lists of modules from the compiler - confirmed.
- 0006429: [OCaml standard library] A format specifier for bytes - confirmed.
- 0004369: [OCaml general] The emacs function "Show types at point" does not show the type of methods - confirmed.
- 0005995: [OCaml general] Uncaught exceptions & packing - confirmed.
- 0003959: [OCaml general] no exit on bad #use in ocaml scripts - confirmed.
- 0006498: [OCamlbuild (the tool)] Some relative symlinks seem not to be followed - confirmed.
- 0006494: [OCaml standard library] Expose caml_string_equal &c to OCaml - confirmed.
- 0004686: [OCamldoc] Wrong module signature in generated doc - 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.
- 0005371: [OCamlbuild (the tool)] questionable reasoning in job control code - confirmed.
- 0005461: [OCaml general] Double linking of bytecode modules (lefessan) - confirmed.
- 0005473: [OCaml general] Double linking of native modules (with -pack) - confirmed.
- 0005829: [OCaml standard library] int_of_string failure - confirmed.
- 0005984: [OCaml typing] Variance information is not properly propagated through functor applications (garrigue) - confirmed.
- 0006136: [OCaml documentation] Function call evaluation order varies more than manual allows - confirmed.
- 0005987: [OCaml documentation] Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr" - confirmed.
- 0006289: [OCaml standard library] Unix.utimes with 0.0 - confirmed.
- 0005996: [OCamlbuild (the tool)] ocamlbuild -build-dir dangerous behaviour - confirmed.
- 0006013: [OCaml general] duplicate locations cause 'unused warnings' to be lost - confirmed.
- 0006108: [OCaml general] Crash toplevel by using compiler-libs - confirmed.
- 0006149: [OCaml general] -annot option causes segfault - confirmed.
- 0003984: [OCaml general] Compiler ignores types in .cmi file [problems with #trace] - confirmed.
- 0006080: [OCaml general] Some error and warning messages are not in the standard format. - confirmed.
- 0005942: [OCaml runtime system] Weak hash of serialized closures - confirmed.
- 0004108: [OCaml general] Memory-mapping of bigarrays may exhaust address space - confirmed.
- 0005325: [OCaml general] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - confirmed.
- 0005813: [OCaml runtime system] Out of memory when using the Marshal module - confirmed.
- 0005201: [OCamlbuild (the tool)] Performance issue for ocamlbuild on Windows - confirmed.
- 0005874: [OCaml typing] Improve error message for polymorphic variant - confirmed.
- 0006029: [OCaml backend (code generation)] lazy should be primitive - confirmed.
- 0006112: [OCaml general] Error messages default to "line 1" - confirmed.
- 0004677: [OCaml general] set_text_size doesn't work - confirmed.
- 0003488: [OCaml general] -pack and cmx dependancies - confirmed.
- 0005889: [OCaml typing] polymorphic variant typing error message not meaningful - confirmed.
- 0005780: [OCaml typing] Strange type variable names in error messages (GADTs) (garrigue) - confirmed.
- 0006470: [OCaml windows] ocamlopt -shared fails on cygwin 64bit - confirmed.
- 0006178: [OCamlbuild (the tool)] pack and bin_annot - confirmed.
- 0006186: [OCamlbuild (the tool)] parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules (gasche) - confirmed.
- 0006360: [OCaml typing] Relaxing the coherence check for with-constraint re-exports (garrigue) - confirmed.
- 0006478: [OCaml typing] approx_type ignores structural types (garrigue) - confirmed.
- 0004598: [Camlp4] Loc.to_string: bad support for multiple lines (doligez) - assigned.
- 0005127: [Camlp4] wrong location after directive (dim) - assigned.
- 0005048: [Camlp4] Labeled arguments parsed differently on camlp4 versus regular compiler (xclerc) - assigned.
- 0006135: [OCaml documentation] Please document -ppx option (gasche) - assigned.
- 0005395: [OCamlbuild (the tool)] OCamlbuild ignores relative-symlinked subdirectories or subdirectories with a trailing slash. (xclerc) - assigned.
- 0005015: [OCamlbuild (the tool)] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct (xclerc) - assigned.
- 0004574: [OCamlbuild (the tool)] Profiling (xclerc) - assigned.
- 0006093: [OCamlbuild (the tool)] Loading rules from ocamlfind package - assigned.
- 0005114: [Camlp4] wrong location inside alias patterns (xclerc) - assigned.
- 0005754: [OCamlbuild (the tool)] Not optimal parallel build of dependencies - assigned.
- 0005663: [OCaml typing] program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere (garrigue) - assigned.
- 0005428: [OCaml general] Behaviour of flatten_fields and various functions in presence of object indexes. (garrigue) - assigned.
- 0005401: [OCaml general] OCamlbrowser ignores command line arguments on win32/msvc (garrigue) - assigned.
- 0005271: [OCaml general] parsing/Location.prerr_warning is hard-coded to use Format.err_formatter - assigned.
- 0004848: [OCaml general] ocamlc is being noisy when running with g++-4.4 (doligez) - assigned.
- 0004269: [OCaml documentation] man page for labltk (garrigue) - assigned.
- 0002187: [OCaml general] Re: wowcamldebug exit issue (xclerc) - assigned.
- 0005523: [OCaml typing] Improve "this ground coercion is not principal" warning message (garrigue) - assigned.
- 0005613: [OCaml windows] Flexdll's dll produced from several object files fails to load (frisch) - assigned.
- 0005836: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Printing forced lazy value in ocamldebug (xclerc) - assigned.
- 0006023: [OCaml typing] Type-based selection of GADT constructors (garrigue) - assigned.
- 0006078: [OCaml runtime system] Release the runtime system when calling caml_dlopen (dim) - assigned.
- 0006465: [OCaml typing] Incremental weakening of module aliases is not allowed (garrigue) - assigned.
- 0004747: [OCaml standard library] Hashtbl.resize is not tail recursive (gasche) - assigned.
- 0004934: [OCamlbuild (the tool)] ocamlbuild takes up to one minute to scan already done parts of Coq sources - assigned.
- 0005921: [OCaml general] 4.01.0dev emits compact unwind warnings since switch to clang (shinwell) - assigned.
- 0005002: [OCamldoc] ocamldoc lost "with type" in "include ... with type ..." (guesdon) - assigned.
- 0005067: [OCamldoc] ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces (guesdon) - assigned.
- 0005898: [OCamldoc] Ocamldoc does not generate links to nested module types (guesdon) - assigned.
- 0006477: [OCamldoc] Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc (doligez) - assigned.
- 0006202: [OCaml general] Controlling warnings locally (frisch) - assigned.
- 0005138: [OCamlbuild (the tool)] option "-j" doesn't parallelize processes on windows (xclerc) - assigned.
- 0005959: [OCaml windows] Crash in Unix.select (doligez) - assigned.
- 0005545: [OCaml typing] Type annotations on methods cannot control the choice of abbreviation (garrigue) - assigned.
- 0005756: [OCamlbuild (the tool)] ocamlbuild spends a lot of time logging - assigned.
- 0006340: [OCamldoc] Incorrect handling of \r when processing "Windows" source files (guesdon) - assigned.
- 0006341: [OCamldoc] -colorize-code causes unnecessary < br> tags to be added to < pre> blocks (guesdon) - assigned.
- 0006467: [OCaml typing] include of sub-module in recursively-defined module causes loss of type equality (garrigue) - assigned.
- 0006485: [OCaml typing] private lost after rebinding module (garrigue) - assigned.
- 0006471: [OCamldoc] ocamldoc doesn't support module aliases (guesdon) - assigned.
- 0006473: [OCaml standard library] Leak in fscanf (weis) - assigned.
- 0006294: [OCaml runtime system] Poor tracking of extra heap resources (garrigue) - assigned.
- 0006513: [OCaml typing] Fatal error: exception Ctype.Unify(_) (garrigue) - resolved.
- 0006496: [OCaml typing] Assertion triggered by recursive class type (garrigue) - resolved.
- 0006300: [OCamlbuild (the tool)] ocamlbuild -use-ocamlfind does not work together with -ocamlc switch (gasche) - resolved.
- 0006501: [OCaml backend (code generation)] Implementing Z.of_int as %identity in Zarith (was: zarith sample code segfaults) - resolved.
- 0006502: [OCamlbuild (the tool)] spurious warning on "use_menhir" tag (gasche) - resolved.
- 0006482: [OCamlbuild (the tool)] ocamlbuild fails with Sys_error if there is a _tags file anywhere inside an ignored (unhygienic) directory (gasche) - resolved.
- 0006488: [OCaml general] Sys.command: cannot allocate memory - closed.

7 of 219 issue(s) resolved. Progress (3%).

OCaml - 4.03.0+dev (Scheduled For Release 2015-05-01) View Issues ]
=====================================================
5%
- 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.
- 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.
- 0006403: [OCaml typing] another broken GADT exhaustiveness check (garrigue) - 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.
- 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.
- 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.
- 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - resolved.
- 0006517: [OCaml runtime system] It would be nice if <caml/*.h> didn't define types like "int64" - resolved.
- 0005672: [Camlp4] Remove camlp4_import.ml (dim) - resolved.

3 of 56 issue(s) resolved. Progress (5%).

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%
- 0006169: [Caml web site] Enable checkout view in ViewVC (doligez) - 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.
- 0005703: [OCaml typing] Class members hidden by recursive modules - 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.
- 0005058: [OCaml general] improve type checking of applicative functors - acknowledged.
- 0005090: [Camlp4] 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.
- 0005068: [OCaml general] ocamlc/camlp4 should give better error messages for syntax errors - 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) - resolved.
- 0005667: [OCaml typing] Autofocusing pattern on record field to simplify matching trees with meta-data - acknowledged.
- 0006016: [OCaml typing] non-recursive type declarations - 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: [Camlp4] 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.
- 0005624: [OCaml typing] Some dependencies cannot be detected by ocamldep - 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.
- 0003674: [OCaml typing] unterminating type checking for recursive modules - acknowledged.
- 0004538: [OCaml general] Remotely debugging multi-threaded bytecode program causes segmentation fault. - acknowledged.
- 0006106: [Camlp4] "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.
- 0005985: [OCaml typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed.
- 0006014: [OCaml typing] Existentials not allowed with 'let and' (garrigue) - confirmed.
- 0004127: [OCaml general] Thread.sigmask not working under pthreads - confirmed.
- 0005748: [OCaml typing] anonymous functions with optional arguments (garrigue) - assigned.
- 0006212: [Camlp4] camlp4 sometimes triggers Stack_overflow in top-level when previous expression got interrupted (hongboz) - assigned.
- 0006177: [Camlp4] Identifier location inside anti-quotes is wrong. (hongboz) - assigned.
- 0004493: [Caml light] graphique sur 0.8 (doligez) - assigned.
- 0005564: [Camlp4] Unclear code in Camlp4/Struct/Lexer.mll (dim) - assigned.
- 0005150: [Camlp4] MinGW/msys: Camlp4 crashes (xclerc) - assigned.
- 0005508: [Camlp4] camlp4o differs from ocamlc because it has quotations enabled (dim) - assigned.
- 0005143: [OCaml general] module types and type constraints (garrigue) - assigned.
- 0005751: [Caml web site] Please provide official _O_Caml logos. - resolved.
- 0006221: [Camlp4] Spurious (?) camlp4 error (yallop) - resolved.
- 0005778: [Camlp4] Cannot re-bind "exception False" (dim) - resolved.

4 of 50 issue(s) resolved. Progress (8%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker