Mantis Bug Tracker

OCaml - Change Log

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker