Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.02.0+dev (Released 2014-06-25) View Issues ]
========================================
- 0006389: [OCaml backend (code generation)] [github patch] add an -opaque option to produce optimization-empty .cmx file for separate native compilation (gasche) - resolved.
- 0006064: [OCaml otherlibs] Expose a GADT representation for Bigarray.kind (gasche) - resolved.
- 0005851: [OCamlbuild (the tool)] Ocamlbuild cannot resolve dependencies when there are no _tags file (but can with an empty _tags file) (gasche) - resolved.
- 0006513: [OCaml typing] Fatal error: exception Ctype.Unify(_) (garrigue) - resolved.
- 0005949: [OCaml typing] [patch] Weak format checking (gasche) - resolved.
- 0006505: [OCaml typing] Missed Type-error leads to a segfault upon record access (garrigue) - resolved.
- 0006300: [OCamlbuild (the tool)] ocamlbuild -use-ocamlfind does not work together with -ocamlc switch (gasche) - resolved.
- 0005406: [OCamlbuild (the tool)] tag does not expect a parameter, but is used with parameter ... (gasche) - resolved.
- 0006484: [OCaml backend (code generation)] ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0 (shinwell) - resolved.
- 0006507: [OCaml backend (code generation)] arm64 crash when compiling coq (shinwell) - resolved.
- 0006510: [OCaml typing] Removal of shadowed constructors of extensible types can break the structure of definitions (lpw25) - resolved.
- 0006445: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] 4.02.0+dev: ocamlbuild fails to find ocamlfind.exe (doligez) - resolved.
- 0005939: [OCaml general] "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." (doligez) - resolved.
- 0006460: [OCaml runtime system] caml_make_array assumes small arrays (doligez) - resolved.
- 0006489: [OCaml backend (code generation)] caml_callback2 crashes on aarch64 (shinwell) - resolved.
- 0006476: [OCaml general] Attributes on class signatures (frisch) - resolved.
- 0006346: [OCaml internal build/install (Makefiles, configure)] Build failure with latest version of xcode on OSX (garrigue) - resolved.
- 0005412: [OCaml general] Combine subsequent Iconst_symbol instructions - resolved.
- 0006463: [OCaml general] No sane way to report invalid arguments from a ppx preprocessor (frisch) - resolved.
- 0006456: [OCaml standard library] [patch] Format parsing error when ending by '%' (frisch) - resolved.
- 0006418: [OCaml standard library] Conversion specifications and pretty-priinting indications (gasche) - resolved.
- 0006377: [OCaml general] -dsource assertion failure with attributes or extensions (lpw25) - resolved.
- 0006268: [OCaml internal build/install (Makefiles, configure)] -DMODEL_$(MODEL) not passed when building .p.o - resolved.
- 0006211: [OCaml backend (code generation)] An unexpected behavior in toplevel: combination of consecutive let bindings and exceptions - resolved.
- 0006319: [OCaml windows] Cygwin's chmod broken on Windows 8.1, breaks ``make world`` (shinwell) - resolved.
- 0006451: [OCaml general] untypeast.ml does not correctly untype ASTs. (frisch) - resolved.
- 0002719: [OCaml general] Problem in the Mac OS X compiler [PPC code generator] - resolved.
- 0006283: [OCaml backend (code generation)] [aarch64] ocamldoc fails to link with multiple errors: relocation truncated to fit: R_AARCH64_LDST64_ABS_LO12_NC - resolved.
- 0006388: [OCaml general] Error messages for 1-tuples are confusing (frisch) - resolved.
- 0005854: [OCaml general] Add a deprecated warning (frisch) - resolved.
- 0006038: [OCaml runtime system] segmentation fault in native function built by clang (misaligned stack) (xleroy) - resolved.
- 0006446: [OCaml typing] "Unused stuff" warnings broken in presence of multiple values with the same name (frisch) - resolved.
- 0006196: [OCaml internal build/install (Makefiles, configure)] 32-bit build on OS X fails (shinwell) - resolved.
- 0006232: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Enable mkstemp in yacc (shinwell) - resolved.
- 0006355: [OCaml documentation] Improve documentation of finalizers & multithreading (shinwell) - resolved.
- 0006439: [OCaml general] Warnings on OS X when compiling 4.02.0+beta1 (Xcode 5.1.1) (shinwell) - resolved.
- 0006443: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Ocaml segfault when List.fold_left is traced then executed (garrigue) - resolved.
- 0006417: [OCaml general] sprintf broken when local module named Pervasives is in scope (garrigue) - resolved.
- 0006442: [OCaml backend (code generation)] Incorrect propagation of -0. - resolved.
- 0006063: [OCaml typing] Simplify the typing of module aliases (garrigue) - resolved.
- 0006293: [OCaml typing] Assert_failure("typing/typecore.ml", 264, 4) (gasche) - resolved.
- 0006436: [OCaml documentation] Typos in @deprecated text in stdlib/arrayLabels.mli (doligez) - resolved.
- 0006435: [OCaml backend (code generation)] segfault with shadowing/include (garrigue) - resolved.
- 0006427: [OCaml typing] Soundness bug involving unpacking, functors and abstract module types (garrigue) - resolved.
- 0006333: [OCaml typing] Keep equation on module type while strengthening (garrigue) - resolved.
- 0006415: [OCaml standard library] 4.02.0dev+trunk: Format module doesn't understand @[<b 4>@] anymore (gasche) - resolved.
- 0006419: [OCaml typing] trunk/4.02 - Unexpected/incorrect "contains type variables that cannot be generalized" (gasche) - resolved.
- 0006318: [OCaml general] Extend try with "success" handling (frisch) - resolved.
- 0006420: [OCaml typing] Bad error message for non-exhaustive matching on extensible types (garrigue) - resolved.
- 0006413: [OCaml standard library] Ast_mapper should display a more helpful message on version mismatch (frisch) - resolved.
- 0006017: [OCaml standard library] A new format implementation based on GADTs (gasche) - resolved.
- 0006361: [OCaml standard library] Hashtbl.hash does not terminate on recursive lazy value - resolved.
- 0006405: [OCaml typing] unsound interaction of -rectypes and GADTs (garrigue) - resolved.
- 0006410: [OCaml general] Error message for an attempt to use a functor as a module is confusing (garrigue) - resolved.
- 0006302: [OCaml runtime system] Very slow backtraces in bytecode : debug infos read from the filesystem everytime (jacques-henri.jourdan) - resolved.
- 0006394: [OCaml typing] Assertion failed in Typecore.expand_path (garrigue) - resolved.
- 0006397: [OCaml general] Token += can no longer be used in expression (lpw25) - resolved.
- 0006219: [OCaml typing] Existential types for exceptions (yallop) - resolved.
- 0005584: [OCaml general] Open Extensible Types (garrigue) - resolved.
- 0006387: [OCaml general] Parsetree.row_field.Rtag should contain attributes (frisch) - resolved.
- 0006385: [OCaml runtime system] CLOSURE opcode tries to allocate large objects on the minor heap - resolved.
- 0006042: [OCaml backend (code generation)] Integer division by constants - resolved.
- 0006386: [OCaml general] Odd precedence of [%x] (frisch) - resolved.
- 0006384: [OCaml typing] Uncaught Not_found exception with a hidden .cmi file (garrigue) - resolved.
- 0006383: [OCaml typing] Uncaught exception Not_found when compiling a file. (garrigue) - resolved.
- 0006119: [OCaml general] wrong sharing of data between closures in bytecode (frisch) - resolved.
- 0006273: [OCaml standard library] Sys.file_exists returns false on large files (frisch) - resolved.
- 0006376: [OCaml typing] Destructive module substitution allows module aliases to extended paths (garrigue) - resolved.
- 0005040: [OCaml general] The default exception handler doesn't use functions registered with Printexc.register_printer (dim) - resolved.
- 0005941: [OCaml runtime system] OCaml handler for uncaught exception (dim) - resolved.
- 0005377: [OCaml general] toplevel should provide an option to limit recursion when printing nested modules (garrigue) - resolved.
- 0006371: [Camlp4] Unable to compile camlp4 39af3807183e on 4.02.0+dev4-2014-04-03 (garrigue) - resolved.
- 0006365: [OCaml typing] "with module" may introduce module alias in signature, this breaks Coq (garrigue) - resolved.
- 0006025: [OCaml typing] confusing error message for private row types without a row variable (garrigue) - resolved.
- 0006348: [OCaml typing] Consider replication definitions when refining types (garrigue) - resolved.
- 0006159: [OCaml typing] Non backward compatible change in type comparison (garrigue) - resolved.
- 0006352: [OCaml typing] Automatic removal of optional arguments and sequencing (garrigue) - resolved.
- 0006359: [OCaml backend (code generation)] not merged equal pattern matching branches (maranget) - resolved.
- 0006315: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] [github patch] extend ocamllex with actions before refilling (gasche) - resolved.
- 0006350: [OCaml typing] The compilation really takes time in some cases with ocaml trunk (4.02) (garrigue) - resolved.
- 0006260: [OCaml backend (code generation)] Unnecessary boxing in [let] (frisch) - resolved.
- 0006269: [OCaml backend (code generation)] [PATCH] Optimization of pattern-matching on strings (maranget) - resolved.
- 0006184: [OCamlbuild (the tool)] the tag predicate(…) isn't supposed to be used with ocamldep (gasche) - resolved.
- 0006187: [OCamlbuild (the tool)] Add a warning when using -plugin-tag(s) without myocamlbuild.ml (gasche) - resolved.
- 0006349: [OCaml typing] The library ocamlbuild launches the ocamlbuild program on trunk (gasche) - resolved.
- 0005779: [OCaml backend (code generation)] static data structures allocated on the GC heap (frisch) - resolved.
- 0006345: [OCaml backend (code generation)] Better compilation of optional arguments with default values (frisch) - resolved.
- 0006308: [OCaml typing] Error message not properly located (or phrased) with or-pattern (frisch) - resolved.
- 0005573: [OCaml backend (code generation)] Access to values in nested modules (frisch) - resolved.
- 0005537: [OCaml backend (code generation)] reducing repeated indirections to access variables in nested modules (frisch) - resolved.
- 0006343: [OCaml backend (code generation)] Making better use of extra slots in the symbol corresponding to the current unit (frisch) - resolved.
- 0006307: [OCaml typing] Behavior of 'module type of' w.r.t. module aliases (garrigue) - resolved.
- 0006337: [OCaml backend (code generation)] Constants emitted several times (frisch) - resolved.
- 0006331: [OCaml typing] `is_fixed_type` does not take account of nested aliases (garrigue) - resolved.
- 0006311: [OCaml typing] Improve signature mismatch error messages (frisch) - resolved.
- 0006310: [OCamldoc] ocamldoc super/subscript style is an unreadable 4 pixels (guesdon) - resolved.
- 0006303: [OCaml typing] Types not inferred properly for fields on record overrides (garrigue) - resolved.
- 0004323: [OCaml general] Big_int and Num "of_string" functions do not work with hexadecimal literals (gasche) - resolved.
- 0005905: [OCaml typing] Allow to define explicit "impure" (i.e. generative) functors (garrigue) - resolved.
- 0006246: [OCaml general] `for _ = e1 to e2` syntax is not allowed (frisch) - resolved.
- 0006180: [OCaml backend (code generation)] Efficient creation of float arrays (frisch) - resolved.
- 0005935: [OCaml general] A faster version of "raise" which does not maintain the backtrace (frisch) - resolved.
- 0005009: [OCaml general] Extending exception tag blocks (frisch) - resolved.
- 0004765: [OCaml general] Structural equality should treat exception specifically (frisch) - resolved.
- 0006203: [OCaml backend (code generation)] Lifting allocation of constant exception constructors? (frisch) - resolved.
- 0006193: [OCaml typing] Incorrect warning 12 for character ranges (frisch) - resolved.
- 0006190: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] Bad name on ocamllex usage (frisch) - resolved.
- 0005817: [OCaml general] Keeping locations in cmi files (frisch) - resolved.
- 0006182: [OCaml typing] Better message for invalid uses of "virtual" (frisch) - resolved.
- 0006132: [OCamlbuild (the tool)] [patchset RFC] reorganize the ocamlbuild testsuite (gasche) - resolved.
- 0006148: [OCaml standard library] Simple improvements to speed of Buffer module (frisch) - resolved.
- 0004243: [OCaml general] Dependencies are missing in Makefiles (doligez) - resolved.
- 0004719: [OCaml windows] Sys.executable_name is wrong if executable name contains dots (frisch) - resolved.
- 0006226: [OCaml internal build/install (Makefiles, configure)] ocaml does not build on FreeBSD 10/amd64 (shinwell) - closed.
- 0006515: [OCaml documentation] Is nativeint intended to have the same width as a pointer or a long? - closed.
- 0004771: [OCaml general] Dynlink.allow_only should call default_available_units or docs should be updated - closed.
- 0006142: [OCaml tools (ocaml{lex,yacc,dep,browser,debug})] add cmt file support to ocamlobjinfo - closed.
- 0006051: [OCaml documentation] Document which Sys function raise Sys_error - closed.
- 0006453: [OCaml documentation] It should be documented that Lexer.set_preprocessor receives EOL tokens - closed.
- 0006406: [OCaml runtime system] Expose OCaml version in C headers (doligez) - closed.
- 0006298: [OCaml documentation] OCAMLRUNPARAM=a missing from manual (shinwell) - closed.
- 0006280: [OCaml documentation] undocumented exception in Unix.lockf - closed.
- 0005841: [OCaml documentation] Omitted information concerning exceptions that could be raised. - closed.
- 0006469: [OCaml general] -dsource prints Pervasives.(!) as Pervasives.! - closed.
- 0006459: [OCaml standard library] [patch] Dependency problem to CamlinternalFormat in StdlibModules (garrigue) - closed.
- 0006168: [OCaml documentation] Omitted information concerning exceptions that could be raised. - closed.
- 0006332: [OCaml windows] Unix.open_process fails to pass empty arguments (doligez) - closed.
- 0006408: [OCaml general] Optional arguments given as ~?arg instead of ?arg in message - closed.
- 0006407: [OCaml standard library] No equivalent to Pervasives.(^) for Bytes - closed.
- 0006399: [OCaml general] No way for a preprocessor to communicate an error properly (frisch) - closed.
- 0006173: [OCaml general] Typing error message is worse that before (garrigue) - closed.
- 0006351: [OCaml backend (code generation)] [PATCH] minor fix in arm64 backend for new raise instructions (gasche) - closed.
- 0006208: [OCaml standard library] Hashtbl.reset @since 4.00.0 - closed.
- 0006328: [OCaml windows] ocamlyacc under Windows: bad support for temporary files (frisch) - closed.
- 0006185: [Caml web site] Lien incorrect (doligez) - closed.
- 0006245: [OCaml documentation] Minor inconsistencies between related signatures - closed.
- 0006253: [OCaml documentation] Interfacing C with OCaml Document - closed.
- 0006231: [OCaml general] Typos (frisch) - closed.
[138 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker