|
Viewing Issues (151 - 200 / 1133)
[ 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 |
|
| | |  | 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 |
| | |  | 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 |
| | | | 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 |
| | | | 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 |
| | | | 0005724 | 4 | [OCaml]
OCaml general | major | resolved (garrigue) | 2013-04-23 | Interaction between GADTs and polymorphic variants |
| | | | 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 |
| | | | 0005977 | 12 | [OCaml]
OCaml general | minor | resolved (frisch) | 2013-04-15 | Build failure on raspberry pi: "input_value: integer too large" |
| | | | 0005984 | 1 | [OCaml]
OCaml typing | minor | confirmed (garrigue) | 2013-04-14 | Variance information is not properly propagated through functor applications |
| | | | 0005793 | 1 | [OCaml]
OCaml standard library | minor | resolved (xclerc) | 2013-04-09 | Integer marshalling is inconsistent between architectures |
| | | | 0005667 | 26 | [OCaml]
OCaml typing | feature | acknowledged | 2013-04-08 | Autofocusing pattern on record field to simplify matching trees with meta-data |
| | | | 0004965 | 5 | [OCaml]
OCaml general | minor | resolved (shinwell) | 2013-03-31 | String.compare not specialized |
| | | | 0005964 | 2 | [OCaml]
OCaml backend (code generation) | minor | resolved (frisch) | 2013-03-28 | ocamlopt option "-dclambda" doesn't work |
| | | | 0005784 | 1 | [OCaml]
OCaml backend (code generation) | minor | resolved (frisch) | 2013-03-28 | -dclambda option is ignored |
| | | | 0005962 | | [OCaml]
OCaml documentation | minor | new | 2013-03-26 | ocamlmklib documentation is not accurate |
|
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ]
|
