Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.03.0+dev (Scheduled For Release 2016-01-01) View Issues ]
=====================================================
39%
- 0007094: [OCaml documentation] We need a documentation for compiler warnings and errors - new.
- 0006500: [OCaml standard library] New functions for bytes/strings - 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.
- 0006916: [OCaml general] warning 50 (documentation comments) too strict - feedback.
- 0006649: [OCaml standard library] int_of_string fails on integers starting with a + - feedback.
- 0005536: [OCamldoc] warning for inherited library classes (guesdon) - feedback.
- 0006189: [OCaml documentation] some problems in the 4.01 documentation (doligez) - feedback.
- 0005254: [OCaml general] Compilation of generated .c files with g++ - feedback.
- 0006381: [OCaml general] Report unbound variables before other errors - feedback.
- 0006638: [OCaml documentation] docs should mention that open! also suppresses warning 33 - feedback.
- 0007133: [OCaml backend (code generation)] Jump labels in assembly code end up as symbols in the executable on OS X - acknowledged.
- 0007069: [OCaml standard library] Scanf "%F" or "%H" and float_of_string are broken for "nan" on Windows - acknowledged.
- 0007120: [OCaml backend (code generation)] Extra .cfi_adjust_cfa_offset directive between ret and .cfi_endproc leads to incorrect unwind behavior on OS X - acknowledged.
- 0003789: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0003786: [OCaml windows] Addition to bug 0003771 - acknowledged.
- 0006754: [OCaml standard library] topdirs.cmi multiple locations - acknowledged.
- 0006567: [OCaml otherlibs] Cannot close properly a file with memory mapped blocks (Bigarray.map_file) - acknowledged.
- 0005253: [OCaml documentation] Unix: the API doc should say how functions behave under windows. - acknowledged.
- 0004957: [OCaml general] ocamlc -where, camlp4 -where, etc. add \r\n on mingw - acknowledged.
- 0006279: [OCaml standard library] Set.map - acknowledged.
- 0006568: [OCaml standard library] Reveal the type of Unix.inet_addr - acknowledged.
- 0006550: [OCaml general] Making an empty .cmxa fails on MacOS - acknowledged.
- 0006217: [OCaml backend (code generation)] Compilation of record functional modification is costly - acknowledged.
- 0006888: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] The list command of ocamldebug uses the wrong file - 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.
- 0004173: [OCaml otherlibs] Bad memory cleanup of DLL using Thread module - acknowledged.
- 0007048: [OCamldoc] Support for other inputenc than latin1 in ocamldoc -latex - acknowledged.
- 0006978: [OCaml windows] Unix.create_process fails to call programs with spaces in path given arguments with spaces - acknowledged.
- 0006900: [OCaml internal build/install (Makefiles, configure)] Native code compiler for 32-bit OS X - acknowledged.
- 0006634: [OCaml typing] Type $t is not included in type $t - acknowledged.
- 0006955: [OCaml documentation] "opaque" option is not in OCAMLPARAM nor man pages - acknowledged.
- 0006921: [OCaml otherlibs] Behaviour of Unix.{gmtime,localtime} on negative timestamps. - acknowledged.
- 0006934: [OCaml typing] nonrec misbehaves with GADTs - acknowledged.
- 0006932: [Ocaml optimization] Superfluous dereferencing when accessing entries in functor arguments - acknowledged.
- 0005607: [Caml web site] FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations (gasche) - acknowledged.
- 0006556: [OCaml backend (code generation)] Backtraces truncated with 4.02 - acknowledged.
- 0004208: [OCaml general] Dynlink.crc_interfaces n'est pas bien backtrackée - acknowledged.
- 0006122: [OCaml typing] A polymorphic variant type is not recognized as a polymorphic variant - acknowledged.
- 0006238: [OCaml backend (code generation)] please add an option to enable debug symbols only (shinwell) - acknowledged.
- 0006330: [OCaml typing] Wrong location for error with polymorphic variant patterns - acknowledged.
- 0006704: [OCaml general] Expose more compiler-libs internals in Toploop - acknowledged.
- 0006732: [OCaml standard library] Buffer.add_substitute is not surjective and its documentation is incomplete. - acknowledged.
- 0006777: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldebug fails to use installed printer on types defined in the module being stepped - acknowledged.
- 0006786: [OCaml typing] type error involving 'include' and applicative functors - acknowledged.
- 0006789: [OCaml documentation] Debugging byte code and profiling native code documentation - acknowledged.
- 0006807: [OCaml general] Check that loaded dll*.so have matching ABI - acknowledged.
- 0006860: [OCaml internal build/install (Makefiles, configure)] Get rid of #ml from config/Makefile - acknowledged.
- 0006906: [OCaml general] error message not good for unmatched paren when using #use in toplevel - acknowledged.
- 0006904: [OCaml standard library] Type of Printf.ifprintf and ikfprintf could be more general - acknowledged.
- 0006898: [OCaml otherlibs] Update win32 support documentation of the Unix library - acknowledged.
- 0006881: [OCaml general] no warning when ignoring a partially applied function in a match with expression - acknowledged.
- 0006528: [OCaml typing] type constraints alter signatures in unusual ways - acknowledged.
- 0006673: [OCaml typing] Redundant type annotation on argument causes polymorphic-recursive definition to be rejected (garrigue) - acknowledged.
- 0006773: [OCaml internal build/install (Makefiles, configure)] Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler - acknowledged.
- 0006761: [OCaml documentation] add Table with filename-extensions - acknowledged.
- 0006756: [OCaml typing] add support for type expressions on the right-hand side of type substitutions in signatures - acknowledged.
- 0006586: [OCaml general] Short-hand version of attributes on structure items and class fields - acknowledged.
- 0006769: [OCaml standard library] Formatting tags are lost on a flush - acknowledged.
- 0004254: [OCaml general] -dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims - acknowledged.
- 0005888: [OCaml typing] Better type errors for polymorphic variants and module signatures (garrigue) - acknowledged.
- 0006433: [OCaml typing] Wrong module type signature grabbed when using packed libraries (garrigue) - acknowledged.
- 0006301: [OCaml runtime system] Improve the printing of exceptions (pp registered) - 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.
- 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.
- 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.
- 0005514: [OCaml typing] "with module" semantics seem broken - acknowledged.
- 0006597: [OCaml documentation] the new quoted string literal syntax is not documented - 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.
- 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.
- 0006730: [OCaml general] Wish: -dsource/-dparsetree for ocamldep - 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.
- 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.
- 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.
- 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.
- 0003829: [OCaml general] Nom de module = nom d'exception - acknowledged.
- 0005999: [OCaml backend (code generation)] "for" loop not entirely optimal? - 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.
- 0006225: [OCaml documentation] weak variables '_a should be documented in the manual - acknowledged.
- 0006323: [OCaml typing] ocamlc -i can generate a wrong signature - 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.
- 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.
- 0005818: [OCaml typing] Function signatures be dropped out from recursive modules within higher order functor - acknowledged.
- 0006395: [OCaml typing] Incorrect exhaustiveness warning with GADTs (garrigue) - 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.
- 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.
- 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.
- 0001956: [OCaml general] Name clashes (doligez) - acknowledged.
- 0006968: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] ocamldep -one-line doesn't work with -sort - confirmed.
- 0007092: [OCaml documentation] Document new features in 4.03 - confirmed.
- 0006475: [OCaml general] -o is ignored for C files (whitequark) - confirmed.
- 0004080: [OCaml general] segfault avec ocamlopt -pack (frisch) - confirmed.
- 0006120: [OCaml otherlibs] Windows links - confirmed.
- 0006606: [Ocaml optimization] Allocating intermediate floats when ignoring floats. - confirmed.
- 0006792: [OCaml general] Dynlink support for ocamldebug (whitequark) - confirmed.
- 0006429: [OCaml standard library] A format specifier for bytes - confirmed.
- 0005473: [OCaml general] Double linking of native modules (with -pack) - confirmed.
- 0006604: [OCaml general] Expressions like 3#0;; are ignored by the toplevel and the compiler - confirmed.
- 0006800: [OCaml typing] simplify using gadt with lambda - confirmed.
- 0006990: [OCaml runtime system] Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory - confirmed.
- 0006452: [OCaml standard library] custom format - confirmed.
- 0005936: [OCaml general] Weird syntax accepted by OCaml - confirmed.
- 0005829: [OCaml standard library] int_of_string failure - confirmed.
- 0006080: [OCaml general] Some error and warning messages are not in the standard format. - confirmed.
- 0006587: [OCaml general] #show_module prints types incorrectly (garrigue) - confirmed.
- 0006654: [OCaml typing] Destructive substitution on classes produces unrepresentable module type - confirmed.
- 0006709: [OCaml documentation] Document the associativity of operators declared in Pervasives in Pervasives itself. - confirmed.
- 0006859: [OCaml general] Do not require bitness of compiler host and target to match - confirmed.
- 0006808: [OCaml runtime system] the parsing of OCAMLRUNPARAM is too lax (doligez) - confirmed.
- 0006478: [OCaml typing] approx_type ignores structural types (garrigue) - confirmed.
- 0006504: [OCaml documentation] document CAML_DEBUG_SOCKET - confirmed.
- 0006360: [OCaml typing] Relaxing the coherence check for with-constraint re-exports (garrigue) - confirmed.
- 0006535: [OCaml general] format "%0.2f" rejected as legacy format, contrary to documentation - confirmed.
- 0006112: [OCaml general] Error messages default to "line 1" - confirmed.
- 0006029: [Ocaml optimization] lazy should be primitive - confirmed.
- 0005874: [OCaml typing] Improve error message for polymorphic variant - confirmed.
- 0006013: [OCaml general] duplicate locations cause 'unused warnings' to be lost - confirmed.
- 0004369: [OCaml general] The emacs function "Show types at point" does not show the type of methods - confirmed.
- 0004686: [OCamldoc] Wrong module signature in generated doc - confirmed.
- 0005693: [OCaml otherlibs] Missing '_environ' symbol used in libunix.a - 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.
- 0006545: [OCaml windows] Update README.win32 - confirmed.
- 0006548: [OCaml documentation] Misleading comment on private type abbreviations - confirmed.
- 0006011: [OCaml typing] Signatures with private types can make modules less constrained - confirmed.
- 0005712: [OCaml documentation] some documentation problems - confirmed.
- 0006380: [OCaml typing] -short-paths sometimes does not shorten paths - confirmed.
- 0006373: [OCaml backend (code generation)] Warning about trigraph on generated assembly code - 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.
- 0006049: [OCaml internal build/install (Makefiles, configure)] fix support for OpenBSD/macppc (32-bit powerpc) (meurer) - confirmed.
- 0007056: [OCaml typing] "include" with module aliases (garrigue) - assigned.
- 0006970: [OCaml typing] equality, moregen and unification force expansion of large, non-recursive type constructors (garrigue) - assigned.
- 0007112: [OCaml typing] Aliased arguments ignored for equality of module types (garrigue) - assigned.
- 0007104: [OCaml internal build/install (Makefiles, configure)] Some Cygwin version do not support -lpthread which configures OCaml without native threads (doligez) - assigned.
- 0006473: [OCaml standard library] Leak in fscanf (weis) - assigned.
- 0006745: [OCaml typing] `as` ignored on types containing universal variables (garrigue) - assigned.
- 0007050: [OCaml general] An "-args <path>" option to pass command-line flags in a file (gasche) - assigned.
- 0006922: [OCaml typing] Regression with -principal type inference (garrigue) - assigned.
- 0006928: [OCamldoc] remove <h1>title</h1> when an -intro is provided (guesdon) - assigned.
- 0005002: [OCamldoc] ocamldoc lost "with type" in "include ... with type ..." (guesdon) - assigned.
- 0005898: [OCamldoc] Ocamldoc does not generate links to nested module types (guesdon) - assigned.
- 0006467: [OCaml typing] include of sub-module in recursively-defined module causes loss of type equality (garrigue) - assigned.
- 0006813: [OCaml otherlibs] Uncaught exceptions inside threads don't trigger handler set via Printexc.set_uncaught_exception_handler (dim) - assigned.
- 0006882: [OCaml typing] Apparently valid program rejected by the typer (garrigue) - assigned.
- 0006485: [OCaml typing] private lost after rebinding module (garrigue) - assigned.
- 0006864: [OCaml windows] linking with flexlink fails when passing arguments by response file (doligez) - assigned.
- 0006861: [OCaml internal build/install (Makefiles, configure)] Do not install native-code executables when cross-compiling (doligez) - assigned.
- 0003947: [OCamldoc] Bad link (guesdon) - assigned.
- 0005067: [OCamldoc] ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces (guesdon) - assigned.
- 0005070: [OCaml general] Error location output not supported by emacs (doligez) - assigned.
- 0006477: [OCamldoc] Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc (doligez) - assigned.
- 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.
- 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.
- 0007111: [OCaml general] -dsource output of ppx-deriving show has errant "in" - resolved.
- 0007002: [OCaml general] Empty let-bindings accepted by Ast_helper / pretty printer - resolved.
- 0006449: [OCaml standard library] Map.union (frisch) - resolved.
- 0006258: [OCaml general] Insert debug info for %revapply and %apply primitives (dim) - resolved.
- 0006795: [OCaml general] ocamldep should error out if a rewriter returns an error (dim) - resolved.
- 0007082: [OCaml typing] Object type in recursive module's `with` annotation raises Ctype.Unify(_) (garrigue) - resolved.
- 0007037: [OCaml backend (code generation)] Binaries are not reproducible (temporary filenames are in the object files) - resolved.
- 0007083: [OCaml typing] Typing crash when pattern matching with polymorphic variants + exception cases (frisch) - resolved.
- 0007085: [OCaml typing] Erroneous refutation warning 56 with GADTs (garrigue) - resolved.
- 0007013: [OCaml otherlibs] Condition.wait inside Event is not protected against spurious wakeups - resolved.
- 0006321: [OCaml standard library] Infinity vs. NaN in hypot - resolved.
- 0007062: [OCaml documentation] Document the command-line options of `ocamldep` (frisch) - resolved.
- 0005916: [OCaml typing] Compile time performance of opens - resolved.
- 0005995: [OCaml general] Uncaught exceptions & packing (frisch) - resolved.
- 0007059: [OCaml general] Warning 8 suppresses warning 25 (frisch) - resolved.
- 0006771: [OCaml windows] Thread lock up (xleroy) - resolved.
- 0006681: [OCaml general] Signatures as ppx payload (frisch) - resolved.
- 0003019: [OCaml documentation] Document "noalloc" annotation on primitive declarations (frisch) - resolved.
- 0005325: [OCaml general] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - resolved.
- 0006939: [OCaml general] Segfault with improper use of let-rec - resolved.
- 0007068: [OCaml general] Wrong Lazy assumption - resolved.
- 0004466: [OCaml windows] Unix.select on Windows not handling reads and writes to same socket - resolved.
- 0006542: [OCaml general] Class compilation shows non-linear runtime behaviour. (garrigue) - resolved.
- 0007067: [OCaml general] Performance regression in the compiler between 4.02.3 and 4.01.0 (frisch) - resolved.
- 0007026: [Ocaml optimization] Polymorphic variant with no arguments aren't treated as immediate in record field assignment (gasche) - resolved.
- 0004950: [OCaml general] Array.init raises the wrong exception for invalid argument - resolved.
- 0006854: [OCaml documentation] Manual example does not initialize compare_ext field - resolved.
- 0006858: [OCaml windows] Compile Warnings with MSVC - resolved.
- 0006289: [OCaml standard library] Unix.utimes with 0.0 - resolved.
- 0006657: [OCaml otherlibs] Unix.in_channel_of_descr causes the underlying Unix FD to be closed when the channel is GC'd - resolved.
- 0006780: [OCaml general] The -ffpu ocamlopt option does not actually work - resolved.
- 0006108: [OCaml general] Crash toplevel by using compiler-libs - resolved.
- 0006802: [OCaml runtime system] unix and nums can not be Dynlinked together (Assert_failure in bytecomp/dll.ml) - resolved.
- 0006989: [OCaml otherlibs] Silent max number of 32 capturing groups in Str regexps - resolved.
- 0006296: [OCaml documentation] inconsistent behavior of float_of_string (compare to "ints"_of_string) - resolved.
- 0006396: [OCaml typing] Warnings-as-errors not properly flushed in the toplevel (frisch) - resolved.
- 0005975: [OCaml general] Pushing the evaluation of default expression for optional arguments is not specified (frisch) - resolved.
- 0006400: [OCaml general] Error message for _ in expression is incomprehensible (frisch) - resolved.
- 0006832: [OCaml internal build/install (Makefiles, configure)] utils/config.mlbuild is not used anymore? (frisch) - resolved.
- 0006894: [OCaml documentation] Refman 7.22.1: struct [@@warning "+9"] .. end is wrong (frisch) - resolved.
- 0006865: [OCaml backend (code generation)] Incorrect parsing of toplevel "let%foo _ = expr" (frisch) - resolved.
- 0006464: [OCaml general] -dsource prints uninterpreted syntax extensions incorrectly (frisch) - resolved.
- 0006342: [OCaml typing] compiler wrongly reports "The types for field x are not equal." (frisch) - resolved.
- 0006845: [OCaml general] New mode where ocamlc doesn't check list of primitives (doligez) - resolved.
- 0006803: [OCaml general] Code in the distribution relies on the ordering of let bindings (frisch) - resolved.
- 0006401: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [patch] use proper error reporting for toplevel's environment initialization (frisch) - resolved.
- 0006512: [Ocaml optimization] intermediate float boxing with inlined functions that contain a branch (frisch) - resolved.
- 0006762: [OCaml general] warning 45 doesn't play well with re-exported type definitions (frisch) - resolved.
- 0006920: [OCaml general] Use of @@ seems to trip backtrace line reports (dim) - resolved.
- 0006981: [OCaml typing] Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type. (garrigue) - resolved.
- 0006980: [OCaml typing] Assert failure from polymorphic variants and existentials (garrigue) - resolved.
- 0006880: [OCaml typing] wrong type error with -no-alias-deps when a cmi is missing (garrigue) - resolved.
- 0006910: [OCaml standard library] Improving marshaling of big values on 64 bit platforms. - resolved.
- 0006940: [OCaml backend (code generation)] Compilation failure related to unboxing Int64 on 32-bit machines - resolved.
- 0007024: [OCaml otherlibs] Str library: $ inconsistency - resolved.
- 0006437: [OCaml typing] GADT exhaustiveness check incompleteness (garrigue) - resolved.
 - 0006220: [OCaml typing] GADT type information is not used to detect unused match cases (garrigue) - closed.
- 0005984: [OCaml typing] Variance information is not properly propagated through functor applications (garrigue) - resolved.
- 0006188: [OCaml internal build/install (Makefiles, configure)] make: Fatal error: Command failed for target `utils/config.ml' - resolved.
- 0006192: [OCaml otherlibs] Builtin pathname for Graphics library wrong - resolved.
- 0004166: [OCaml general] Incorrect module initialisation order with "external" declarations - resolved.
- 0006883: [OCaml typing] Performance bottleneck in parmatch.ml - resolved.
- 0007042: [OCaml backend (code generation)] CSE optimization confuses -0.0 with 0.0 (xleroy) - resolved.
- 0007039: [OCaml otherlibs] Unix.getsockname and unnamed PF_UNIX sockets - resolved.
- 0006972: [OCaml general] ocamldoc comments no longer in the cmt_comments field of .cmt files (lpw25) - resolved.
- 0007030: [OCaml internal build/install (Makefiles, configure)] libasmrun_shared.so fails to build - resolved.
- 0006938: [OCaml standard library] wrong Printf.printf output for integers with '0' flag - resolved.
- 0006776: [OCaml runtime system] The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime - resolved.
- 0006801: [OCaml typing] Exhaustiveness messages for GADTs suggest patterns that will not type check (garrigue) - resolved.
- 0006598: [OCaml general] lack of syntax for pattern-matching with no branches (garrigue) - resolved.
- 0006403: [OCaml typing] another broken GADT exhaustiveness check (garrigue) - resolved.
- 0006907: [OCaml typing] compiler fails with Stack overflow (garrigue) - resolved.
- 0003984: [OCaml general] Compiler ignores types in .cmi file [problems with #trace] (garrigue) - resolved.
- 0006931: [OCaml typing] Incorrect error message (garrigue) - resolved.
- 0003612: [OCaml otherlibs] memory leak in bigarray read from file (gasche) - resolved.
- 0006924: [Ocaml optimization] Tiny optim to avoid some spilling of floats in x87 (gasche) - resolved.
- 0006866: [Ocaml optimization] Simple missing case of float unboxing (frisch) - resolved.
- 0006896: [OCaml documentation] Num.float_of_num depends on Arith_status.set_floating_precision - resolved.
- 0006902: [OCaml runtime system] What to do with when finalizing channels? (frisch) - resolved.
- 0006722: [OCaml backend (code generation)] support for the x32 architecture - resolved.
- 0006316: [OCaml standard library] Scanf cannot parse large unsigned int64s (gasche) - resolved.
- 0006809: [OCamlbuild (the tool)] ocamlbuild pass too many (or not enough) arguments to ocamlfind for compiling C sources (gasche) - resolved.
- 0006899: [OCaml typing] optional parameters and non generalizable type variables (garrigue) - resolved.
- 0006653: [OCaml typing] GADT and subtyping (gasche) - resolved.
- 0006871: [OCaml standard library] result type too generic in pervasives (OCaml 4.03) (gasche) - resolved.
 - 0006872: [OCaml typing] Type-directed propagation fails to disambiguate variants that are also exception constructors (garrigue) - resolved.
- 0006874: [Ocaml optimization] Inefficient code generated for module function arguments (garrigue) - resolved.
- 0006341: [OCamldoc] -colorize-code causes unnecessary < br> tags to be added to < pre> blocks (guesdon) - resolved.
- 0002187: [OCaml general] Re: wowcamldebug exit issue (xclerc) - resolved.
- 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.
- 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.
- 0007075: [OCaml documentation] Ocamldoc in trunk produces multiple copies of a title (lpw25) - closed.
- 0006964: [OCamldoc] ocamldoc still loosing documentation - closed.
- 0006977: [OCaml general] String literals in comments interpret escape sequences - closed.
- 0007106: [OCaml windows] Warnings emitted by the compiler may contain \r\r\n on Windows - closed.
- 0006983: [OCaml backend (code generation)] compiler crash when compiling objects with -nopervasives -nostdlib - closed.
- 0007053: [OCaml general] Extend -opaque to .cmi and warn on missing .cmx files (lpw25) - closed.
- 0007051: [OCaml general] Timings for the various passes of the compiler (chambart) - closed.
- 0006856: [OCaml general] "{c| |c}" does not supported nested use case - closed.
- 0006353: [OCaml runtime system] [github patch] Ephemerons - closed.
- 0006525: [OCaml standard library] add a UChar module to the standard library - closed.
- 0006574: [OCaml general] Meaningfull compiler backtraces - closed.
- 0006912: [OCaml documentation] Undocumented features in 4.02.2 - closed.
- 0006629: [OCaml general] Cryptic syntax error message: operator expected - closed.
- 0006805: [OCaml backend (code generation)] Duplicated expression when compiling with -g - closed.
- 0004077: [OCaml general] Specialisation des primitives - closed.
- 0007047: [OCaml documentation] Integrate the OCaml manual inside the git repository - closed.
- 0007003: [OCaml standard library] Buffer.contents causes Segmentation fault (doligez) - closed.
- 0006811: [OCaml general] Support docstrings in the OCaml parser (frisch) - closed.
- 0006838: [OCaml otherlibs] Invalid memory in C thread bindings (doligez) - closed.
- 0004832: [OCaml otherlibs] Filling bigarrays may block out runtime - closed.
- 0006521: [OCaml runtime system] String.escaped returns strange results in Mac OS X + LANG=ja_JP.UTF-8 - closed.
- 0006664: [OCaml runtime system] Crash when finalising lazy values of the wrong type. (doligez) - closed.
- 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.

123 of 314 issue(s) resolved. Progress (39%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker