- 0004616: [OCaml general] Repeated custom block allocations lead to space leaks (doligez) - feedback. - 0004886: [Camlp4] Desugaring of camlp4 quotations of labeled patterns duplicates variables (garrigue) - feedback. - 0004422: [OCamlbuild (the tool)] ocamlbuild doesn't rebuild some targets even though dependencies are rebuilt (xclerc) - feedback. - 0004832: [OCaml otherlibs] Filling bigarrays may block out runtime - acknowledged. - 0005149: [OCaml documentation] various problems in the ocaml documentation - acknowledged. - 0004175: [OCaml general] runtime header file io.h conflicts with a system header file - acknowledged. - 0005783: [OCaml windows] Unix.select returns immediately when waiting for the completion of a non-blocking socket connection - acknowledged. - 0005418: [OCaml general] Configure script does not honour honor CC environement variable - acknowledged. - 0005685: [Camlp4] Antiquotation bug (quotation expr, with antiquotation list) - acknowledged. - 0005565: [OCaml documentation] Typing errors in the examples of the "Format mini-guide" on the website - 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. - 0005253: [OCaml documentation] Unix: the API doc should say how functions behave under windows. - acknowledged. - 0005079: [OCaml general] msvc: ocaml compilers should call cl.exe with /W3 - acknowledged. - 0005074: [OCaml general] wrong backtrace printed when mixing modules with and without debug info - acknowledged. - 0005044: [OCaml general] Emacs doesn't recognize the backtrace error location format - acknowledged. - 0004920: [OCaml documentation] example of linking C main with OCaml runtime needs additional libraries - acknowledged. - 0004906: [OCaml general] $PWD not set in Sys.command after Sys.chdir on Solaris - acknowledged. - 0004885: [Camlp4] Incorrect/unwanted behavior on invalid string inputs - acknowledged. - 0004788: [OCaml general] Highly misleading error message - acknowledged. - 0004743: [OCaml documentation] About generational global roots in the manual - acknowledged. - 0004595: [Camlp4] Characters location of @here are not correct - acknowledged. - 0004812: [OCaml general] Add extern int code_of_unix_error (value error); - acknowledged. - 0004771: [OCaml general] Dynlink.allow_only should call default_available_units or docs should be updated - acknowledged. - 0004499: [OCaml windows] Changes to the environment are invisible to Sys.getenv - acknowledged. - 0004466: [OCaml general] Unix.select on Windows not handling reads and writes to same socket - acknowledged. - 0004363: [Camlp4] map and fold filters don't handle polymorphic variant extension - acknowledged. - 0004229: [OCaml documentation] Casser le typage avec Dynlink - acknowledged. - 0004148: [OCaml documentation] Description de -pack dans le manuel - acknowledged. - 0004138: [OCaml documentation] Documentation for Unix.mkdir - acknowledged. - 0004099: [OCaml windows] Bug in Makefile.nt: won't stop on error - acknowledged. - 0004096: [OCaml general] "step 0 Load the program and stop on the first event" semble faux - acknowledged. - 0004080: [OCaml general] segfault avec ocamlopt -pack - acknowledged. - 0004070: [OCaml general] Small tweak for some numeric functions in Pervasives - acknowledged. - 0004013: [OCaml general] feature wish: define CAML_NAME_SPACE per default - acknowledged. - 0004077: [OCaml general] Specialisation des primitives (xleroy) - acknowledged. - 0003922: [OCaml general] Detecter inclusions multiples de .cmx - acknowledged. - 0003959: [OCaml general] no exit on bad #use in ocaml scripts - acknowledged. - 0003957: [OCaml general] [> {typexpr} as 't ] yields a syntax error with yacc syntax - acknowledged. - 0003947: [OCamldoc] Bad link (guesdon) - acknowledged. - 0003805: [OCaml general] misc. camlp4 + doc - 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. - 0003488: [OCaml general] -pack and cmx dependancies - acknowledged. - 0003468: [OCaml documentation] Sys_error documentation - acknowledged. - 0003236: [OCaml general] Queue+Threads+Cygwin native causes crash - acknowledged. - 0005540: [OCaml general] Installing more modules + separate Dynlink from Toplevellib - acknowledged. - 0005896: [Camlp4] camlp4.macro fails to undefine a macro with an expression - confirmed. - 0005803: [OCaml standard library] Format.fprintf does not support string substitution - confirmed. - 0005712: [OCaml documentation] some documentation problems - confirmed. - 0005765: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamllex doesn't preserve line directives - confirmed. - 0005739: [OCaml standard library] Printf.printf "%F" (-.nan) returns -nan - confirmed. - 0004430: [OCamldoc] ocamldoc -css-style doesn't seem to work. (guesdon) - confirmed. - 0005705: [Camlp4] Camlp4 accepts bad syntax and may also bomb on it - confirmed. - 0004855: [Camlp4] camlp4 doesn't handle "-I +directory" notation for include directories - confirmed. - 0004686: [OCamldoc] Wrong module signature in generated doc - confirmed. - 0004846: [Camlp4] move_start_p is partially used in Struct/Lexer.mll - confirmed. - 0004485: [OCaml general] Keyboard events incorrectly delivered to Graphics module's polling routines when compiled natively - confirmed. - 0005756: [OCamlbuild (the tool)] ocamlbuild spends a lot of time logging (meyer) - assigned. - 0004747: [OCaml standard library] Hashtbl.resize is not tail recursive (gasche) - assigned. - 0005895: [OCamlbuild (the tool)] Sometimes ocamlbuild does not create symlinks (meyer) - assigned. - 0005751: [Caml web site] Please provide official _O_Caml logos. (meyer) - assigned. - 0005401: [OCaml general] OCamlbrowser ignores command line arguments on win32/msvc (garrigue) - assigned. - 0005395: [OCamlbuild (the tool)] OCamlbuild ignores relative-symlinked subdirectories or subdirectories with a trailing slash. (xclerc) - assigned. - 0002187: [OCaml general] Re: wowcamldebug exit issue (xclerc) - assigned. - 0005048: [Camlp4] Labeled arguments parsed differently on camlp4 versus regular compiler (xclerc) - assigned. - 0005015: [OCamlbuild (the tool)] ocamlbuild doesn't compile files in subdirectory even if dependencies are correct (xclerc) - assigned. - 0005114: [Camlp4] wrong location inside alias patterns (xclerc) - assigned. - 0005002: [OCamldoc] ocamldoc lost "with type" in "include ... with type ..." (guesdon) - assigned. - 0004848: [OCaml general] ocamlc is being noisy when running with g++-4.4 (doligez) - assigned. - 0004598: [Camlp4] Loc.to_string: bad support for multiple lines (doligez) - assigned. - 0004469: [OCaml general] emacs mode : caml-set-compile-command is annoying (doligez) - assigned. - 0004269: [OCaml documentation] man page for labltk (garrigue) - assigned. - 0005658: [OCaml internal build/install (Makefiles, configure)] ocaml compiler lib asttypes - assigned. - 0005138: [OCamlbuild (the tool)] option "-j" doesn't parallelize processes on windows (xclerc) - assigned. - 0004573: [OCamlbuild (the tool)] Packing modules without _tag (gasche) - resolved. - 0005116: [Camlp4] camlp4 relaxes syntax for records update : { expr with ... } (xclerc) - resolved. - 0004079: [OCaml standard library] Queue.copy is not tail recursive ! (gasche) - resolved. - 0005178: [OCaml general] Compile a 32-bit version of OCaml on a 64-bit linux OS - resolved. - 0005755: [OCamlbuild (the tool)] Implement a test suite for ocamlbuild (meyer) - resolved. - 0005686: [OCamlbuild (the tool)] .itarget does not work (meyer) - resolved. - 0004592: [OCamlbuild (the tool)] .mlpack dependencies not considered while building? (meyer) - resolved. - 0003679: [OCaml general] Warning display problems (lefessan) - resolved. - 0005965: [OCaml typing] Strange auto-reference in recursive modules in case of name conflict with a functor parameter (frisch) - resolved. - 0005121: [OCaml general] %( %) in Format module seems to be broken (weis) - resolved. - 0005035: [OCaml documentation] expr.{expr} form not documented - resolved. - 0005673: [OCaml typing] type equality a in polymorphic field (garrigue) - resolved. - 0005717: [OCaml general] Fatal error: out of memory. (doligez) - resolved. - 0005546: [OCaml backend (code generation)] moving a function into an internal module slows down its use (frisch) - resolved. - 0005563: [OCaml otherlibs] Caml.Unix.select doesn't bounds-check file-descriptor integer - resolved. - 0005746: [Misc] caml-list, wrong link to subscribtion management and archives in footer. - closed.
16 of 91 issue(s) resolved. Progress (17%). OCaml - 4.01.0+dev (Scheduled For Release 2012-10-06) [ View Issues ] =====================================================
29%
- 0006000: [OCaml typing] Warning 40 ("Constructor or label name out of scope") should be an error - new. - 0005166: [OCaml runtime system] Segfaults in bytecode callbacks (doligez) - feedback. - 0005111: [OCamldoc] ocamldoc, heading tags inside spans tags is illegal in html (guesdon) - 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. - 0006038: [OCaml runtime system] segmentation fault in native function built by clang (misaligned stack) - acknowledged. - 0005959: [OCaml windows] Crash in Unix.select - acknowledged. - 0005350: [OCaml general] Check return codes everywhere (lefessan) - acknowledged. - 0005860: [OCaml tools (ocaml{lex,yacc,dep,browser})] ocamldebug documentation issues - 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. - 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. - 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. - 0004877: [OCaml general] Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64) - acknowledged. - 0004164: [OCaml general] caml C headers may clash with other C libraries (doligez) - 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. - 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. - 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. - 0005788: [OCaml general] Exception rebinding breaks pattern matching (maranget) - assigned. - 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. - 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. - 0005787: [OCaml typing] Bad behavior of 'Unused ...' warnings in the toplevel (frisch) - resolved. - 0004502: [OCaml general] Ocamlbuild finds erroneous sanitization errors when using the -build-dir option (gasche) - resolved. - 0004797: [OCaml general] insecure temp file handling in yacc (meyer) - resolved. - 0005815: [OCaml typing] Multiple exceptions in signatures gives an error (garrigue) - resolved. - 0005819: [OCaml backend (code generation)] ocamlopt generates segfaulting code when using [with] on recursive record with 6+ fields. (doligez) - resolved. - 0005653: [OCamlbuild (the tool)] unnecessary rebuild for some rules (meyer) - resolved. - 0005976: [OCaml runtime system] Illegal recovery of 2 stack overflows with ocamlopt in Mac OS (xleroy) - resolved. - 0005813: [OCaml runtime system] Out of memory when using the Marshal module - resolved. - 0005580: [OCaml backend (code generation)] Inlining misses some simple simplifications (xleroy) - resolved. - 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. - 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. - 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. - 0005827: [OCaml standard library] provide a dynamic command line parsing mechanism (doligez) - closed. - 0003963: [OCaml general] Graphics.wait_next_event in Win32 hangs if window closed. - closed. - 0005098: [OCaml general] creating module values may lead to memory leaks - closed. - 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.
38 of 129 issue(s) resolved. Progress (29%). OCaml - 4.02.0+dev (Scheduled For Release 2013-04-25) [ View Issues ] =====================================================
6%
- 0005752: [OCamlbuild (the tool)] missing dependencies at byte-code link with mlpack (meyer) - feedback. - 0005256: [OCaml general] Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets) - feedback. - 0005975: [OCaml general] Pushing the evaluation of default expression for optional arguments is not specified - acknowledged. - 0005185: [OCamlbuild (the tool)] creates incomplete cma under some circumstances - acknowledged. - 0003829: [OCaml general] Nom de module = nom d'exception - acknowledged. - 0002719: [OCaml general] Proble in the Mac OS X compiler [PPC code generator] - acknowledged. - 0003612: [OCaml otherlibs] memory leak in bigarray read from file - acknowledged. - 0005578: [OCaml windows] Windows: Exception raised when reading from a socket - acknowledged. - 0005999: [OCaml backend (code generation)] "for" loop not entirely optimal? - acknowledged. - 0005266: [OCaml general] Unix.{system,open_process_{in,out,full}} are not threadsafe - acknowledged. - 0004957: [OCaml general] ocamlc -where, camlp4 -where, etc. add \r\n on mingw - acknowledged. - 0005818: [OCaml typing] Function signatures be dropped out from recursive modules within higher order functor - acknowledged. - 0004839: [OCaml general] natdynlink reproducible segfault - acknowledged. - 0006011: [OCaml typing] Signatures with private types can make modules less constrained - confirmed. - 0005874: [OCaml typing] Improve error message for polymorphic variant - confirmed. - 0006013: [OCaml general] duplicate locations cause 'unused warnings' to be lost - confirmed. - 0005905: [OCaml typing] Allow to define explicit "impure" (i.e. generative) functors - confirmed. - 0006029: [OCaml backend (code generation)] lazy should be primitive - confirmed. - 0005461: [OCaml general] Double linking of bytecode modules (lefessan) - confirmed. - 0004108: [OCaml general] Memory-mapping of bigarrays may exhaust address space - confirmed. - 0005985: [OCaml typing] Unexpected interaction between variance and GADTs (garrigue) - confirmed. - 0005983: [OCaml typing] Bad error message "Unbound class" on deprecated syntax #c [> `A] - confirmed. - 0005939: [OCaml general] "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." (doligez) - confirmed. - 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. - 0004356: [OCaml documentation] Ocamlbuild manual lacks examples (xclerc) - assigned. - 0005243: [OCamlbuild (the tool)] Improve the API documentation (gasche) - assigned. - 0004304: [OCaml general] ocamlbuild -I does not add directories to the compiler search paths. (xclerc) - assigned. - 0005212: [OCamlbuild (the tool)] ocamlbuild does not warn for bad input (meyer) - assigned. - 0005754: [OCamlbuild (the tool)] Not optimal parallel build of dependencies (meyer) - assigned. - 0005548: [OCamlbuild (the tool)] ocamlbuild's ocamlfind integration doesn't support syntax extensions (gasche) - assigned. - 0004935: [OCamlbuild (the tool)] ocamlbuild -j does not compile in parallel a parallelizable development (xclerc) - assigned. - 0004574: [OCamlbuild (the tool)] Profiling (xclerc) - assigned. - 0004611: [OCamlbuild (the tool)] Dependencies not built despite matching tags (xclerc) - assigned. - 0004870: [OCamlbuild (the tool)] Ocamlbuild is too slow when using the "include" tag on many directories (xclerc) - assigned. - 0004934: [OCamlbuild (the tool)] ocamlbuild takes up to one minute to scan already done parts of Coq sources (meyer) - assigned. - 0005371: [OCamlbuild (the tool)] questionable reasoning in job control code (xclerc) - assigned. - 0004978: [OCaml general] exceptions lose identity after marshalling (meyer) - assigned. - 0005613: [OCaml windows] Flexdll's dll produced from several object files fails to load (frisch) - assigned. - 0005713: [OCaml typing] Opening GADTs to get more equations on local abstract types introduced by module unpacking (garrigue) - assigned. - 0004995: [OCaml general] calls to stat() don't release the runtime lock (shinwell) - assigned. - 0005239: [Camlp4] Wrong stop location in AST (hongboz) - resolved. - 0004613: [OCamlbuild (the tool)] Tries to build cmo files for native target(s) (gasche) - resolved. - 0005982: [OCaml runtime system] caml_leave_blocking section and errno corruption (dim) - resolved.
3 of 44 issue(s) resolved. Progress (6%). 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.
4%
- 0005624: [OCaml typing] Some dependencies cannot be detected by ocamldep - new. - 0005863: [OCaml typing] Allow contractibility annotation in abstract types interface - new. - 0005208: [OCamlbuild (the tool)] cmo -> cma rule brings too much dependencies in (xclerc) - feedback. - 0005753: [OCaml internal build/install (Makefiles, configure)] compiler-libs/ocamltoplevel.cmxa - acknowledged. - 0004173: [OCaml otherlibs] Bad memory cleanup of DLL using Thread module - acknowledged. - 0006016: [OCaml typing] non-recursive type declarations - acknowledged. - 0005667: [OCaml typing] Autofocusing pattern on record field to simplify matching trees with meta-data - acknowledged. - 0005068: [OCaml general] ocamlc/camlp4 should give better error messages for syntax errors - acknowledged. - 0005193: [OCaml otherlibs] Make unix.{localtime,gmtime} use non reentrant c calls - acknowledged. - 0005058: [OCaml general] improve type checking of applicative functors - 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. - 0003993: [OCaml general] recursive modules and type constructor scoping - 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. - 0006014: [OCaml typing] Existentials not allowed with 'let and' (garrigue) - confirmed. - 0004127: [OCaml general] Thread.sigmask not working under pthreads - confirmed. - 0005564: [Camlp4] Unclear code in Camlp4/Struct/Lexer.mll (dim) - assigned. - 0005150: [Camlp4] MinGW/msys: Camlp4 crashes (xclerc) - assigned. - 0005748: [OCaml typing] anonymous functions with optional arguments (garrigue) - assigned. - 0005770: [OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - resolved.
