|
Viewing Issues (151 - 200 / 4274)
[ Print Reports ] [ CSV Export ] [ Excel Export ]
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ]
|
| | | P | ID | # | Category | Severity | Status | Updated | Summary |
|
| | |  | 0006006 | | [OCaml]
OCaml backend (code generation) | major | resolved (meurer) | 2013-05-08 | Cannot "ocamlopt" the expression "x mod 1" on ARM |
| | | | 0005994 | 1 | [OCaml]
OCaml backend (code generation) | major | resolved (meurer) | 2013-05-08 | Error: shift expression is too large |
| | | | 0006010 | 1 | [OCaml]
OCaml otherlibs | major | resolved (xleroy) | 2013-05-08 | Big_int.extract_big_int does not handle negative numbers properly |
| | | | 0006009 | 4 | [OCaml]
OCaml standard library | feature | acknowledged | 2013-05-07 | Format.{pp_print_opt, pp_print_list, pp_print_text} |
| | | | 0005407 | 6 | [OCaml]
OCamldoc | feature | assigned (guesdon) | 2013-05-07 | Inline submodules, single-page HTML |
| | | | 0006007 | 2 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-06 | Type-checker rejects cyclic type abbreviation even though -rectypes is activated |
| | | | 0005343 | 2 | [OCaml]
OCaml general | minor | resolved (garrigue) | 2013-05-06 | ocaml -rectypes is unsound wrt module subtyping |
| | | | 0006004 | 3 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-04 | Type information does not flow to "inherit" parameters |
| | | | 0006005 | 2 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-03 | Obj.magic with recursive modules |
| | | | 0006003 | 2 | [OCaml]
OCaml backend (code generation) | minor | resolved (gasche) | 2013-05-01 | simple references sometimes slow |
| | | | 0005965 | 2 | [OCaml]
OCaml typing | minor | resolved (frisch) | 2013-04-29 | Strange auto-reference in recursive modules in case of name conflict with a functor parameter |
| | | | 0005832 | 1 | [OCaml]
Misc | tweak | resolved (frisch) | 2013-04-29 | patch to improve "wrong file naming" error messages |
| | | | 0005935 | 6 | [OCaml]
OCaml general | feature | acknowledged | 2013-04-29 | A faster version of "raise" which does not maintain the backtrace |
| | | | 0005949 | 4 | [OCaml]
OCaml typing | minor | assigned (weis) | 2013-04-29 | [patch] Weak format checking |
| | | | 0005983 | 2 | [OCaml]
OCaml typing | minor | confirmed | 2013-04-29 | Bad error message "Unbound class" on deprecated syntax #c [> `A] |
| | | | 0005939 | 3 | [OCaml]
OCaml general | minor | confirmed (doligez) | 2013-04-29 | "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." |
| | | | 0005992 | 14 | [OCaml]
OCaml backend (code generation) | major | resolved (maranget) | 2013-04-26 | Crash when pattern-matching lazy values modifies the scrutinee |
| | | | 0005848 | 10 | [OCaml]
OCaml typing | major | resolved (garrigue) | 2013-04-26 | Assertion failure in type checker |
| | | | 0005759 | 114 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-26 | Using well-disciplined type-propagation to disambiguate label and constructor names |
| | | | 0005998 | | [OCaml]
OCaml typing | feature | assigned (garrigue) | 2013-04-26 | GADT typing and exhaustiveness bugs |
| | | | 0000415 | 2 | [OCaml]
OCaml general | minor | closed | 2013-04-25 | for i = 0 to max_int do () done loop ? |
| | |  | 0005121 | 2 | [OCaml]
OCaml general | minor | resolved (weis) | 2013-04-24 | %( %) in Format module seems to be broken |
| | | | 0005973 | 5 | [OCaml]
OCaml standard library | minor | resolved (weis) | 2013-04-23 | Format module incorrectly parses format string allowing to escape arguments |
| | | | 0005425 | 1 | [OCaml]
OCaml general | minor | closed (garrigue) | 2013-04-23 | GADTs with object type indexes |
| | | | 0005427 | 1 | [OCaml]
OCaml general | minor | closed (garrigue) | 2013-04-23 | GADTs with object type indexes |
| | | | 0005689 | 1 | [OCaml]
OCaml typing | minor | closed (garrigue) | 2013-04-23 | Problem with GADTs and polymorphic variants |
| | | | 0005736 | 1 | [OCaml]
OCaml typing | feature | confirmed (garrigue) | 2013-04-23 | Support GADTs in or-patterns |
| | | | 0005143 | 3 | [OCaml]
OCaml general | minor | assigned (garrigue) | 2013-04-23 | module types and type constraints |
| | | | 0005785 | 1 | [OCaml]
OCaml typing | major | closed (garrigue) | 2013-04-23 | Misbehaviour with abstracted structural type used as GADT index |
| | | | 0005853 | 7 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | compiler is unable to detect unused cases in pattern matching on GADT |
| | | | 0005892 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | GADT exhaustiveness check is broken |
| | | | 0005906 | 1 | [OCaml]
OCaml typing | minor | closed (garrigue) | 2013-04-23 | GADT exhaustiveness check is still broken |
| | | | 0005724 | 4 | [OCaml]
OCaml general | major | resolved (garrigue) | 2013-04-23 | Interaction between GADTs and polymorphic variants |
| | | | 0005944 | 3 | [OCaml]
OCaml typing | minor | closed (garrigue) | 2013-04-23 | [patch] Bad typing performances of big variant type declaration |
| | | | 0005948 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | GADT with polymorphic variants bug |
| | | | 0005867 | 4 | [OCaml]
OCaml typing | feature | acknowledged (garrigue) | 2013-04-23 | there is no syntax to bind a type variable introduced in a gadt pattern |
| | | | 0005981 | 1 | [OCaml]
OCaml typing | major | resolved (garrigue) | 2013-04-23 | Incompatibility check assumes abstracted type constructors are injective |
| | | | 0005989 | 3 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Assumed inequalities involving private rows |
| | | | 0005993 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Variance information on private type abbreviations is not checked for module subtyping |
| | | | 0005997 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Non-compatibility assumed between concrete types with same constructor |
| | | | 0005996 | | [OCaml]
OCamlbuild (the tool) | minor | confirmed | 2013-04-22 | ocamlbuild -build-dir dangerous behaviour |
| | | | 0005995 | 1 | [OCaml]
OCaml general | minor | confirmed | 2013-04-22 | Uncaught exceptions & packing |
| | | | 0005986 | 2 | [OCaml]
OCaml general | minor | resolved (xleroy) | 2013-04-18 | Protect against marshaling 64-bit integers in bytecode |
| | | | 0005988 | | [OCaml]
OCaml documentation | text | acknowledged | 2013-04-17 | -impl is a valid flag for ocamlopt |
| | | | 0005925 | 6 | [OCaml]
OCaml general | crash | resolved (gasche) | 2013-04-17 | Stack overflow in compiler |
| | | | 0005957 | 5 | [OCaml]
OCaml backend (code generation) | minor | resolved (gasche) | 2013-04-17 | linking -big- files causes failure in ocamlc |
| | | | 0005879 | 20 | [OCaml]
OCaml general | feature | acknowledged | 2013-04-16 | Static exception handlers (i.e. well-disciplined gotos!) |
| | |  | 0005955 | 5 | [OCaml]
OCaml typing | feature | resolved (gasche) | 2013-04-16 | support "let module rec ... in ..." |
| | | | 0005936 | 17 | [OCaml]
OCaml general | minor | confirmed | 2013-04-15 | Weird syntax accepted by OCaml |
| | | | 0005916 | 14 | [OCaml]
OCaml typing | minor | confirmed (lefessan) | 2013-04-15 | Compile time performance of opens |
|
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ]
|
