Mantis Bug Tracker

OCaml - Roadmap

OCaml - 4.03.0+dev (Scheduled For Release 2015-05-01) View Issues ]
=====================================================
0%
- 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.
- 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.
- 0005672: [Camlp4] Remove camlp4_import.ml - 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.
- 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.

0 of 42 issue(s) resolved. Progress (0%).


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker