Mantis Bug Tracker

OCaml - Change Log

OCaml - 4.02.0+dev (Not Yet Released) View Issues ]
=====================================
- 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.
- 0006333: [OCaml typing] Keep equation on module type while strengthening (garrigue) - resolved.
- 0006346: [OCaml internal build/install (Makefiles, configure)] Build failure with latest version of xcode on OSX (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.
- 0006064: [OCaml otherlibs] Expose a GADT representation for Bigarray.kind (gasche) - 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.
- 0005547: [OCamlbuild (the tool)] Enable the "-use-ocamlfind" option by default (meyer) - 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.
- 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.
[55 issues]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker