Mantis Bug Tracker

OCaml - Change Log

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker