OCaml - Change Log OCaml - 4.01.0+dev (Not Yet Released) [ View Issues ] ===================================== - 0005343: [OCaml general] ocaml -rectypes is unsound wrt module subtyping (garrigue) - resolved. - 0006004: [OCaml typing] Type information does not flow to "inherit" parameters (garrigue) - resolved. - 0006005: [OCaml typing] Obj.magic with recursive modules (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. - 0005848: [OCaml typing] Assertion failure in type checker (garrigue) - resolved. - 0005759: [OCaml typing] Using well-disciplined type-propagation to disambiguate label and constructor names (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. - 0005795: [OCaml backend (code generation)] [patch] Generate sqrtsd opcode instead of external call to sqrt on amd64 (lefessan) - 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. - 0005770: [OCaml general] Syntax error messages involving unclosed parens are sometimes incorrect (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. - 0005325: [OCaml general] Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows - resolved. - 0005435: [OCamlbuild (the tool)] ocamlbuild does not find .opt executables on Windows (protz) - resolved. - 0005392: [OCaml windows] Windows Start menu shortcuts are invisible to limited users. (protz) - resolved. - 0005499: [OCaml windows] Problem including <caml/socketaddr.h> (protz) - resolved. - 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})] 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. [56 issues]
