Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.01.0+dev (Released 2012-10-06) View Issues ]
========================================
- 0005759: [typing] Using well-disciplined type-propagation to disambiguate label and constructor names (garrigue) - resolved.
 - 0005525: [typing] Resolving record fields using all specified fields (garrigue) - closed.
 - 0005848: [typing] Assertion failure in type checker (garrigue) - closed.
- 0005546: [back end (clambda to assembly)] moving a function into an internal module slows down its use (frisch) - closed.
- 0005343: [~DO NOT USE (was: OCaml general)] ocaml -rectypes is unsound wrt module subtyping (garrigue) - closed.
- 0006163: [typing] Fatal error: exception Assert_failure("typing/ctype.ml", 1891, 19) (garrigue) - closed.
- 0005886: [runtime system and C interface] Small changes to compile for Android (meurer) - closed.
- 0005957: [back end (clambda to assembly)] linking -big- files causes failure in ocamlc (gasche) - closed.
- 0006158: [typing] "Fatal error: types should not include variables" (garrigue) - closed.
- 0006005: [typing] Obj.magic with recursive modules (garrigue) - closed.
- 0005612: [documentation] Rationalize spacing and parenteses use in the tutorial part of the manual (doligez) - closed.
- 0006084: [runtime system and C interface] Wish: configure ocaml so that old caml_modify is used - closed.
- 0006123: [typing] Assert_failure("typing/ctype.ml", 359, 6) (garrigue) - closed.
- 0006131: [back end (clambda to assembly)] Ref: ID 0005910 - same error at different location in code for haxe compile (meurer) - closed.
- 0005565: [documentation] Typing errors in the examples of the "Format mini-guide" on the website - closed.
- 0005721: [back end (clambda to assembly)] patch to use frame pointer to profile code with Linux perf tools (lefessan) - closed.
- 0004920: [documentation] example of linking C main with OCaml runtime needs additional libraries - closed.
- 0005149: [ocamldoc] various problems in the ocaml documentation (guesdon) - closed.
- 0006058: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] 'ocamlbuild -use-ocamlfind -tag thread -package threads t.cma' fails (gasche) - closed.
- 0005568: [otherlibs] Unix.open_flag lacks O_CLOEXEC - closed.
- 0006117: [typing] Confusing wording in error message - closed.
- 0004788: [~DO NOT USE (was: OCaml general)] Highly misleading error message - closed.
- 0004743: [documentation] About generational global roots in the manual - closed.
- 0005350: [~DO NOT USE (was: OCaml general)] Check return codes everywhere - closed.
- 0006090: [typing] Module constraint + private type seems brocken in ocaml 4.01.0 (garrigue) - closed.
- 0006104: [~DO NOT USE (was: OCaml general)] wrong warning 37 with private types (gasche) - closed.
- 0003121: [~DO NOT USE (was: OCaml general)] toplevel to provide #use like command with #load semantics (gasche) - closed.
- 0005825: [~DO NOT USE (was: OCaml general)] Toplevel: please add a primitive to compile a file test.ml as a module Test. (meyer) - closed.
- 0005723: [~DO NOT USE (was: OCaml general)] add environment variables to control compiler options (meyer) - closed.
- 0005802: [typing] Avoiding "let" as a value name (garrigue) - closed.
- 0005739: [standard library] Printf.printf "%F" (-.nan) returns -nan - closed.
- 0006073: [~DO NOT USE (was: OCaml general)] Add signature to Tstr_include (frisch) - closed.
- 0006072: [configure and build/install] configure does not handle FreeBSD current (i.e. 10) correctly, leading to build failures - closed.
- 0006021: [ocamldoc] [patch] document the "const:" and "recfield:" cross-reference syntaxes (guesdon) - closed.
- 0005815: [typing] Multiple exceptions in signatures gives an error (garrigue) - closed.
- 0005872: [standard library] Performance: Buffer.add_char is not inlined - closed.
- 0005803: [standard library] Format.fprintf does not support string substitution - closed.
- 0004595: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Characters location of @here are not correct - closed.
- 0005571: [~DO NOT USE (was: OCaml general)] Incorrect ordinal number in error message (frisch) - closed.
- 0004363: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] map and fold filters don't handle polymorphic variant extension - closed.
- 0005770: [~DO NOT USE (was: OCaml general)] Syntax error messages involving unclosed parens are sometimes incorrect (frisch) - closed.
- 0006056: [typing] [non-expansivity issue] Using 'match' prevents generalization [of values], even though using 'if' allows it (garrigue) - closed.
- 0005771: [back end (clambda to assembly)] [patch] add primitives for directly reading 2, 4 or 8 bytes in strings and char bigarrays (lefessan) - closed.
- 0005914: [typing] Functor breaks with an equivalent argument signature (garrigue) - closed.
- 0006044: [~DO NOT USE (was: OCaml general)] enabling frame pointers breaks build on MacOS X (lefessan) - closed.
- 0005861: [-for Camlp4 use https://github.com/ocaml/camlp4/issues] Camlp4 accepts multiple private keywords (hongboz) - closed.
- 0005811: [misc] Untypeast produces singleton tuples for constructor patterns with only one argument (frisch) - closed.
- 0005178: [~DO NOT USE (was: OCaml general)] Compile a 32-bit version of OCaml on a 64-bit linux OS - closed.
- 0006035: [typing] Multiple declarations of the same method in the same object should be rejected (frisch) - closed.
- 0005885: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Incorrect rule for compiling C stubs when shared libraries are not supported (meyer) - closed.
- 0005686: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .itarget does not work (meyer) - closed.
- 0005755: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Implement a test suite for ocamlbuild (meyer) - closed.
- 0005653: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] unnecessary rebuild for some rules (meyer) - closed.
- 0004592: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] .mlpack dependencies not considered while building? (meyer) - closed.
- 0003679: [~DO NOT USE (was: OCaml general)] Warning display problems (lefessan) - closed.
- 0006031: [~DO NOT USE (was: OCaml general)] segfault in camomile with frame pointers enabled (lefessan) - closed.
- 0006033: [back end (clambda to assembly)] [patch] Matching.inline_lazy_force need eta expansion - closed.
- 0005795: [back end (clambda to assembly)] [patch] Generate sqrtsd opcode instead of external call to sqrt on amd64 (lefessan) - closed.
- 0005976: [runtime system and C interface] Illegal recovery of 2 stack overflows with ocamlopt in Mac OS (xleroy) - closed.
- 0005580: [back end (clambda to assembly)] Inlining misses some simple simplifications (xleroy) - closed.
- 0006030: [typing] Dramatic performance increase when compiling with annotations (frisch) - closed.
- 0005982: [runtime system and C interface] caml_leave_blocking section and errno corruption (dim) - closed.
- 0006004: [typing] Type information does not flow to "inherit" parameters (garrigue) - closed.
- 0005965: [typing] Strange auto-reference in recursive modules in case of name conflict with a functor parameter (frisch) - closed.
- 0005832: [misc] patch to improve "wrong file naming" error messages (frisch) - closed.
- 0005848: [typing] Assertion failure in type checker (garrigue) - closed.
- 0005724: [~DO NOT USE (was: OCaml general)] Interaction between GADTs and polymorphic variants (garrigue) - closed.
- 0005981: [typing] Incompatibility check assumes abstracted type constructors are injective (garrigue) - closed.
- 0005964: [back end (clambda to assembly)] ocamlopt option "-dclambda" doesn't work (frisch) - closed.
- 0005784: [back end (clambda to assembly)] -dclambda option is ignored (frisch) - closed.
- 0005926: [documentation] tag-spec-full documentation seems to be incorrect (garrigue) - closed.
- 0004887: [~DO NOT USE (was: OCaml general)] input_char after close_in crashes ocaml (msvc runtime) (frisch) - closed.
- 0005864: [standard library] No find operation in Set (frisch) - closed.
- 0005876: [typing] Uncaught exception with a typing error. (gasche) - closed.
- 0005673: [typing] type equality a in polymorphic field (garrigue) - closed.
- 0005824: [back end (clambda to assembly)] [patch] avoid tagging integers before right shifting it - closed.
- 0005821: [typing] Wrong record field is reported as duplicate (frisch) - closed.
- 0005814: [~DO NOT USE (was: OCaml general)] read_cmt -annot does not report internal references (frisch) - closed.
- 0005809: [~DO NOT USE (was: OCaml general)] Generating .cmt files takes a long time, in case of type error (frisch) - closed.
- 0005762: [back end (clambda to assembly)] Add primitives for fast access to bigarray dimensions (lefessan) - closed.
- 0005768: [~DO NOT USE (was: OCaml general)] [patch] On "unbound identifier" errors, use spell-checking to suggest names present in the environment (frisch) - closed.
- 0005676: [platform support (windows, cross-compilation, etc)] IPv6 support under Windows (protz) - closed.
- 0005734: [platform support (windows, cross-compilation, etc)] Unix.gettimeofday correct resolution under Windows - closed.
- 0005611: [~DO NOT USE (was: OCaml general)] Fatal error: exception End_of_file when using -o file.cmo (meyer) - closed.
- 0005747: [~DO NOT USE (was: OCaml general)] 'unused open' warning not given when compiling with -annot (frisch) - closed.
- 0004994: [~DO NOT USE (was: OCaml general)] ocaml-mode doesn't work with xemacs21 - closed.
- 0005722: [~DO NOT USE (was: OCaml general)] toplevel: do not print full module path for record fields except the first one (garrigue) - closed.
- 0005711: [~DO NOT USE (was: OCaml general)] Envaux.env_from_summary should be available in compiler-libs (lefessan) - closed.
- 0005708: [~DO NOT USE (was: OCaml general)] OCamldebugger crashs on set print_depth/print_length (lefessan) - closed.
- 0005702: [~DO NOT USE (was: OCaml general)] bytecomp/bytelibrarian lib_sharedobjs was defined but never used (lefessan) - closed.
- 0005698: [back end (clambda to assembly)] Assembler source reuses labels (lefessan) - closed.
- 0005695: [~DO NOT USE (was: OCaml general)] error during "make opt" for svn trunk on sparc (lefessan) - closed.
- 0005662: [runtime system and C interface] typo in md5.c (lefessan) - closed.
- 0005618: [~DO NOT USE (was: OCaml general)] enrich "not a function" compile error with type information (frisch) - closed.
- 0006157: [~DO NOT USE (was: OCaml general)] open! M is not documented in Changes - closed.
- 0005435: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] ocamlbuild does not find .opt executables on Windows (protz) - closed.
- 0005392: [platform support (windows, cross-compilation, etc)] Windows Start menu shortcuts are invisible to limited users. (protz) - closed.
- 0005499: [platform support (windows, cross-compilation, etc)] Problem including <caml/socketaddr.h> (protz) - closed.
- 0005833: [documentation] README.win32 can leave the wrong flexlink in the path (doligez) - closed.
- 0006109: [-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues] Typos in ocamlbuild error messages (meyer) - closed.
- 0006026: [ocamldoc] ocamldoc syntax error on <code> (guesdon) - closed.
- 0004812: [~DO NOT USE (was: OCaml general)] Add extern int code_of_unix_error (value error); - closed.
- 0004138: [documentation] Documentation for Unix.mkdir - closed.
- 0004013: [~DO NOT USE (was: OCaml general)] feature wish: define CAML_NAME_SPACE per default - closed.
- 0006074: [runtime system and C interface] Wrong error message for failing Condition.broadcast - closed.
- 0005945: [runtime system and C interface] Mix-up of Minor_heap_min and Minor_heap_max units (doligez) - closed.
- 0006008: [ocamldoc] Document the behaviour of 0004915 (guesdon) - closed.
- 0005988: [documentation] -impl is a valid flag for ocamlopt - closed.
- 0005765: [tools (ocaml{lex,yacc,dep,debug,...})] ocamllex doesn't preserve line directives - closed.
- 0004485: [~DO NOT USE (was: OCaml general)] Keyboard events incorrectly delivered to Graphics module's polling routines when compiled natively - closed.
- 0004469: [~DO NOT USE (was: OCaml general)] emacs mode : caml-set-compile-command is annoying (doligez) - closed.
- 0005704: [back end (clambda to assembly)] cmx magic numbers have not been changed for a while - closed.
- 0004096: [~DO NOT USE (was: OCaml general)] "step 0 Load the program and stop on the first event" semble faux - closed.
- 0005974: [documentation] str regexp documentation - closed.
- 0005827: [standard library] provide a dynamic command line parsing mechanism (doligez) - closed.
- 0003963: [~DO NOT USE (was: OCaml general)] Graphics.wait_next_event in Win32 hangs if window closed. - closed.
- 0005098: [~DO NOT USE (was: OCaml general)] creating module values may lead to memory leaks - closed.
- 0006024: [standard library] Syntax for printing @ using Format is completely incompatible between OCaml 3.12.1 and OCaml 4.00.1+dev - closed.
- 0005710: [~DO NOT USE (was: OCaml general)] test suite cannot be ran without installing first (doligez) - closed.
- 0005972: [documentation] Missing case in GADT syntax (doligez) - closed.
- 0005805: [typing] Assert failure with warning 34 on pre-processed file (frisch) - closed.
- 0005928: [documentation] Missing space between words in manual page for ocamlmktop - closed.
- 0005875: [documentation] Missing production in BNF for constr-decl - closed.
- 0005835: [~DO NOT USE (was: OCaml general)] Nonoptional labeled arguments can be passed with '?'. This is confusing (garrigue) - closed.
- 0005883: [documentation] BNF insufficient for S (3, 4) (garrigue) - closed.
- 0005884: [tools (ocaml{lex,yacc,dep,debug,...})] Misc minor fixes and cleanup for caml-help.el (garrigue) - closed.
- 0005865: [typing] assert failure in type checker when printing type for valid error (garrigue) - closed.
- 0005181: [~DO NOT USE (was: OCaml general)] Merge common floating point constants in ocamlopt (meurer) - closed.
[128 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker